Model-Based Engineering of Collaborative Embedded Systems [[electronic resource] ] : Extensions of the SPES Methodology / / edited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck |
Autore | Böhm Wolfgang (Wolfgang J.) |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Springer Nature, 2021 |
Descrizione fisica | 1 online resource (XIII, 404 p. 148 illus., 83 illus. in color.) |
Disciplina | 005.1 |
Soggetto topico |
Software engineering
Management information systems Automotive engineering Special purpose computers Software Engineering Software Management Automotive Engineering Special Purpose and Application-Based Systems |
Soggetto non controllato |
Software Engineering
Software Management Automotive Engineering Special Purpose and Application-Based Systems IT in Business Model-Driven Software Development Requirements Engineering Automotive Software Engineering Embedded Systems Open Access SPES Methodology Simulation Co-Design of Systems Business mathematics & systems Business applications Automotive technology & trades Automotive (motor mechanic) skills Expert systems / knowledge-based systems |
ISBN | 3-030-62136-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Use Cases -- 2. Engineering of Collaborative Embedded Systems -- 3. Architectures for Flexible Collaborative Systems -- 4. Function Modeling for Collaborative Embedded Systems -- 5. Architectures for Dynamically Coupled Systems -- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime -- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering -- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime -- 9. Goal-Based Strategy Exploration -- 10. Creating Trust in Collaborative Embedded Systems -- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems -- 12. Development and Evaluation of Collaborative Systems using Simulation -- 13. Tool Support for Co-Simulation-Based Analysis -- 14. Supporting the Creation of Digital Twins for CESs -- 15. Online Experiment-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking and Theorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering. |
Record Nr. | UNISA-996464424603316 |
Böhm Wolfgang (Wolfgang J.)
![]() |
||
Springer Nature, 2021 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology / / edited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck |
Autore | Böhm Wolfgang (Wolfgang J.) |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Springer Nature, 2021 |
Descrizione fisica | 1 online resource (XIII, 404 p. 148 illus., 83 illus. in color.) |
Disciplina | 005.1 |
Soggetto topico |
Software engineering
Management information systems Automotive engineering Special purpose computers Software Engineering Software Management Automotive Engineering Special Purpose and Application-Based Systems |
Soggetto non controllato |
Software Engineering
Software Management Automotive Engineering Special Purpose and Application-Based Systems IT in Business Model-Driven Software Development Requirements Engineering Automotive Software Engineering Embedded Systems Open Access SPES Methodology Simulation Co-Design of Systems Business mathematics & systems Business applications Automotive technology & trades Automotive (motor mechanic) skills Expert systems / knowledge-based systems |
ISBN | 3-030-62136-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Use Cases -- 2. Engineering of Collaborative Embedded Systems -- 3. Architectures for Flexible Collaborative Systems -- 4. Function Modeling for Collaborative Embedded Systems -- 5. Architectures for Dynamically Coupled Systems -- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime -- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering -- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime -- 9. Goal-Based Strategy Exploration -- 10. Creating Trust in Collaborative Embedded Systems -- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems -- 12. Development and Evaluation of Collaborative Systems using Simulation -- 13. Tool Support for Co-Simulation-Based Analysis -- 14. Supporting the Creation of Digital Twins for CESs -- 15. Online Experiment-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking and Theorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering. |
Record Nr. | UNINA-9910433229903321 |
Böhm Wolfgang (Wolfgang J.)
![]() |
||
Springer Nature, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|