| 000 | 07945cam a2200985 i 4500 | ||
|---|---|---|---|
| 001 | on1123171735 | ||
| 003 | OCoLC | ||
| 005 | 20250707092730.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 191015s2019 sz a o 111 0 eng d | ||
| 040 |
_aGW5XE _beng _erda _epn _cGW5XE _dUKMGB _dEBLCP _dOCLCF _dDKU _dOCLCQ _dSRU _dOCLCO _dOCLCQ _dOCLCO _dCOM _dOCL _dOCLCQ _dOCLCO _dBRX _dOCLCL _dDCT _dFNN _dOCLCO _dCLOUD _dOCLCQ _dOCLCO |
||
| 015 |
_aGBB9H3027 _2bnb |
||
| 016 | 7 |
_a019573416 _2Uk |
|
| 019 |
_a1203976446 _a1203984000 _a1203985342 _a1309425106 |
||
| 020 |
_a9783030309855 _q(electronic bk.) |
||
| 020 |
_a3030309851 _q(electronic bk.) |
||
| 020 |
_z9783030309848 _q(print) |
||
| 024 | 7 |
_a10.1007/978-3-030-30985-5 _2doi |
|
| 029 | 1 |
_aAU@ _b000066172286 |
|
| 029 | 1 |
_aUKMGB _b019573416 |
|
| 035 |
_a(OCoLC)1123171735 _z(OCoLC)1203976446 _z(OCoLC)1203984000 _z(OCoLC)1203985342 _z(OCoLC)1309425106 |
||
| 037 |
_acom.springer.onix.9783030309855 _bSpringer Nature |
||
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 072 | 7 |
_aUMZ _2thema |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 049 | _aMAIN | ||
| 245 | 0 | 0 |
_aFrom software engineering to formal methods and tools, and back : _bessays dedicated to Stefania Gnesi on the occasion of her 65th birthday / _cMaurice H. ter Beek, Alessandro Fantechi, Laura Semini (eds.). |
| 264 | 1 |
_aCham, Switzerland : _bSpringer, _c2019. |
|
| 300 |
_a1 online resource (xiii, 574 pages) : _billustrations (some color) |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture notes in computer science ; _v11865 |
|
| 490 | 1 | _aLNCS sublibrary. SL 1, Theoretical computer science and general issues | |
| 500 | _aIncludes author index. | ||
| 588 | 0 | _aOnline resource; title from PDF title page (SpringerLink, viewed October 15, 2019). | |
| 505 | 0 | _aIntro; Preface; Organization; Contents; The Legacy of Stefania Gnesi; 1 The Early Years; 2 Software Engineering; 3 Formal Methods and Tools; 4 Requirements Engineering/Natural Language Processing; 5 Software Product Lines; 6 Formal Verification and Applications; 7 Conclusions; References; From Dynamic Programming to Programming Science; Software Engineering; Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems; 1 Introduction and Paper Positioning; 2 Dynamic Ensembles Using Typed Graph Grammars; 3 Ensemble Specialization and Reconfiguration | |
| 505 | 8 | _a4 Collective Adaptation in Ensembles5 Implementation; 6 Conclusion and Future Directions; References; Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin; 1 Introduction; 2 Challenges in Engineering Cyber-Physical Systems; 2.1 A Future CPS at Scale; 2.2 Multi-modelling and Co-simulation; 2.3 Digital Twins; 2.4 Machine Learning for CPSs; 2.5 Decision Support and Visualisation with Digital Twins; 3 Towards a Learning Digital Twin; 4 A Case Study: The Line-Following Robot; 4.1 Introduction | |
| 505 | 8 | _a4.2 Architectural Structure and Functional Mock-Up Units4.3 Matching the Descriptive Model to Deployed Components; 4.4 Operational Data Gathering; 4.5 Model and Data Processing; 4.6 Decision Enabling; 5 Looking Forward; References; Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?; 1 Introduction; 2 Many Dimensions of Change; 2.1 Changing Software; 2.2 Changing World; 3 Testing Software that Changes; 3.1 Software Testing Foundations in Light of Change; 3.2 Testing Challenges Ahead; 3.3 Promising Testing Techniques | |
| 505 | 8 | _a4 Perspectives for ResearchReferences; Improving Software Engineering Research Through Experimentation Workbenches; 1 Introduction; 2 Usage Scenario; 3 Concepts and Requirements; 4 An Experimentation Workbench for Static Product Line Analysis; 5 Challenges; 6 Experiences; 7 Conclusion; References; Formal Methods and Tools; Innovating Medical Image Analysis via Spatial Logics; 1 Introduction; 2 The Spatial Logic Framework; 3 Spatial Logic for Image Analysis; 4 Illustration: Brain Segmentation; 5 Challenges in Spatial Model Checking for Medical Imaging; 6 Related Work; 7 Conclusions; References | |
| 505 | 8 | _aFormal Methods in Designing Critical Cyber-Physical Systems1 Introduction; 2 Key Factors in the Design of CPSs; 2.1 Space and Time; 2.2 Human-Robot Interaction; 2.3 Managing Uncertainty at Runtime Through Self-adaptation; 3 Case Studies; 3.1 Case Study 1: Reasoning on Space-Intensive CPS; 3.2 Case Study 2: Reasoning on Temporal Modeling of CPS; 4 Conclusions; References; Automata-Based Behavioural Contracts with Action Correlation; 1 Introduction; 2 Motivating Scenario; 3 The Formalism; 3.1 Formal Definition and Semantics; 3.2 Composition; 4 Validity | |
| 520 |
_aThis volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications. -- _cProvided by publisher. |
||
| 650 | 0 |
_aSoftware engineering. _914736 |
|
| 650 | 0 |
_aFormal methods (Computer science) _915635 |
|
| 650 | 0 |
_aArtificial intelligence. _91340 |
|
| 650 | 2 |
_aAlgorithms _9864 |
|
| 650 | 2 |
_aArtificial Intelligence _91340 |
|
| 650 | 6 |
_aGénie logiciel. _919335 |
|
| 650 | 6 |
_aMéthodes formelles (Informatique) _925785 |
|
| 650 | 6 |
_aAlgorithmes. _916327 |
|
| 650 | 6 |
_aIntelligence artificielle. _915884 |
|
| 650 | 7 |
_aalgorithms. _2aat _9864 |
|
| 650 | 7 |
_aartificial intelligence. _2aat _91340 |
|
| 650 | 7 |
_aSoftware Development & Engineering. _2bisacsh _91083081 |
|
| 650 | 7 |
_aIntelligence (AI) & Semantics. _2bisacsh _9265444 |
|
| 650 | 7 |
_aCOMPUTERS. _2bisacsh _91420 |
|
| 650 | 7 |
_aCompilers. _2bisacsh _916319 |
|
| 650 | 7 |
_aComputer Science. _2bisacsh _9941 |
|
| 650 | 7 |
_aAlgorithms. _2bisacsh _9864 |
|
| 650 | 7 |
_aProgramming. _2bisacsh _91083079 |
|
| 650 | 7 |
_aDiscrete Mathematics. _2bisacsh _953556 |
|
| 650 | 7 |
_aMATHEMATICS. _2bisacsh |
|
| 650 | 7 |
_aFormal methods (Computer science) _2fast _915635 |
|
| 650 | 7 |
_aSoftware engineering _2fast _914736 |
|
| 655 | 7 |
_aFestschriften _2fast _9109631 |
|
| 655 | 7 |
_aFestschriften. _2lcgft _9109631 |
|
| 700 | 1 |
_aBeek, Maurice H. ter, _eeditor. _1https://id.oclc.org/worldcat/entity/E39PBJrrxwbwxRfdwfv3kHjKVC _948775 |
|
| 700 | 1 |
_aFantechi, Alessandro, _eeditor. _1https://id.oclc.org/worldcat/entity/E39PCjrbmTg9C97MH7wVJRMGxP _935511 |
|
| 700 | 1 |
_aSemini, Laura, _eeditor. _968473 |
|
| 700 | 1 |
_aGnesi, Stefania, _d1954- _ehonouree. _1https://id.oclc.org/worldcat/entity/E39PCjDHjPfBbxXgbTTG7ccycX _921712 |
|
| 758 |
_ihas work: _aFrom software engineering to formal methods and tools, and back (Text) _1https://id.oclc.org/worldcat/entity/E39PCH94CPV6y4tYcKtkkfqdBd _4https://id.oclc.org/worldcat/ontology/hasWork |
||
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030309848 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030309862 |
| 830 | 0 |
_aLecture notes in computer science ; _v11865. |
|
| 830 | 0 |
_aLNCS sublibrary. _nSL 1, _pTheoretical computer science and general issues. _920736 |
|
| 856 | 4 | 0 | _uhttps://link.springer.com/10.1007/978-3-030-30985-5 |
| 938 |
_acloudLibrary _bCLDL _n9783030309855 |
||
| 938 |
_aProQuest Ebook Central _bEBLB _nEBL5967931 |
||
| 994 |
_a92 _bATIST |
||
| 999 |
_c646791 _d646791 |
||