Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings / / edited by Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu
| Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings / / edited by Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 159 p. 52 illus., 32 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Control engineering Software Engineering Control and Systems Theory |
| ISBN | 981-10-4436-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs -- 2 Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL -- 3 Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard -- 4 MARTE for CPS and CPSoS -- 5 Combined Model Checking and Testing Create Confidence – A Case on Commercial Automotive Operating System -- 6 Formal Methods for Aerospace Systems. |
| Record Nr. | UNINA-9910254822203321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems [[electronic resource] ] : Communications of NII Shonan Meetings / / edited by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry
| Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems [[electronic resource] ] : Communications of NII Shonan Meetings / / edited by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XII, 346 p. 138 illus., 29 illus. in color.) |
| Disciplina | 004.0151 |
| Soggetto topico |
Software engineering
Mathematical logic Software Engineering Mathematical Logic and Foundations |
| ISBN | 981-15-5054-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line -- Chapter 2: Domain-specific Developments using Rodin Theories -- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering -- Chapter 4: Operations over Lightweight Ontologies and their Implementation -- Chapter 5: Formal Ontological Analysis for Medical Protocol -- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems -- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns -- Chapter 8: An Explicit Semantics for Event-B Refinements -- Chapter 9: Contextual Dependency in State-based Modelling -- Chapter 10: Configuration of complex systems -- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded -- Chapter 12: The Indefeasibility Criterion for Assurance Cases -- Chapter 13: An Event-B development process for the distributed BIP framework -- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach -- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development. |
| Record Nr. | UNISA-996464392703316 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings / / edited by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry
| Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings / / edited by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XII, 346 p. 138 illus., 29 illus. in color.) |
| Disciplina | 004.0151 |
| Soggetto topico |
Software engineering
Mathematical logic Software Engineering Mathematical Logic and Foundations |
| ISBN | 981-15-5054-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line -- Chapter 2: Domain-specific Developments using Rodin Theories -- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering -- Chapter 4: Operations over Lightweight Ontologies and their Implementation -- Chapter 5: Formal Ontological Analysis for Medical Protocol -- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems -- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns -- Chapter 8: An Explicit Semantics for Event-B Refinements -- Chapter 9: Contextual Dependency in State-based Modelling -- Chapter 10: Configuration of complex systems -- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded -- Chapter 12: The Indefeasibility Criterion for Assurance Cases -- Chapter 13: An Event-B development process for the distributed BIP framework -- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach -- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development. |
| Record Nr. | UNINA-9910484196803321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||