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.
Collaborative Design for Embedded Systems : Co-modelling and Co-simulation / / edited by John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef
| Collaborative Design for Embedded Systems : Co-modelling and Co-simulation / / edited by John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (393 p.) |
| Disciplina |
003.3
004 004.6 005.1 |
| Soggetto topico |
Special purpose computers
Software engineering Computer logic Computer simulation Computer engineering Electronic circuits Special Purpose and Application-Based Systems Software Engineering Logics and Meanings of Programs Simulation and Modeling Computer Engineering Circuits and Systems |
| ISBN | 3-642-54118-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Co-modelling and Co-simulation: the Technical Basis -- Collaborative Development of Embedded Systems -- Co-modelling and Co-simulation in Embedded Systems Design -- Continuous-Time Modelling in 20-sim -- Discrete-Event Modelling in VDM -- Support for Co-modelling and Co-simulation: the Crescendo Tool -- Co-model Structuring and Design Patterns -- Part II Methods and Applications: the Pragmatics of Co-modelling and Co-simulation -- Case Studies in Co-modelling and Co-simulation -- Methods for Creating Co-models of Embedded Systems -- Co-modelling of Faults and Fault Tolerance Mechanisms -- Design Space Exploration for Embedded Systems using Co-simulation -- Industrial Application of Co-modelling and Co-simulation Technology -- Part III Advanced Topics -- Deploying Co-modelling in Commercial Practice -- Semantics of Co-simulation -- From Embedded to Cyber-Physical Systems: Challenges and Future Directions -- Appendix A 20-sim Summary -- Appendix B VDM-RT Language Summary -- Appendix C Design Patterns for Use in Co-modelling -- Appendix D Abstract Modelling of ChessWay Safety. |
| Record Nr. | UNINA-9910299049903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
FM 2016: Formal Methods [[electronic resource] ] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
| FM 2016: Formal Methods [[electronic resource] ] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXIII, 789 p. 204 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Mathematical logic Computer logic Management information systems Computer science Computers Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Management of Computing and Information Systems Computation by Abstract Devices |
| ISBN | 3-319-48989-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Interdisciplinary formal methods -- Formal methods in practice -- Tools for formal methods -- Role of formal methods in software and systems engineering -- Theoretical foundations. |
| Record Nr. | UNISA-996465598003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
| FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXIII, 789 p. 204 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Mathematical logic Computer logic Management information systems Computer science Computers Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Management of Computing and Information Systems Computation by Abstract Devices |
| ISBN | 3-319-48989-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Interdisciplinary formal methods -- Formal methods in practice -- Tools for formal methods -- Role of formal methods in software and systems engineering -- Theoretical foundations. |
| Record Nr. | UNINA-9910484138103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theoretical Aspects of Computing - ICTAC 2008 [[electronic resource] ] : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings / / edited by John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun
| Theoretical Aspects of Computing - ICTAC 2008 [[electronic resource] ] : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings / / edited by John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XI, 455 p.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Software engineering Computer science Algorithms Programming Techniques Software Engineering Theory of Computation |
| ISBN | 3-540-85762-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Using Design Patterns in Formal Methods: An Event-B Approach -- A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules -- The Three Platonic Models of Divergence-Strict CSP -- Monotonic Abstraction in Action -- Non-interleaving Semantics with Causality for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test Algorithms for One-Unambiguous Regular Expressions -- Refinement of Kripke Models for Dynamics -- Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers -- A Theory of Pointers for the UTP -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables -- Towards Efficient Verification of Systems with Dynamic Process Creation -- An Observational Model for Transactional Calculus of Services Orchestration -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway Decision Graphs -- Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs -- Guided Test Generation from CSP Models -- Relaxing Goodness Is Still Good -- Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time -- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems -- Testing Concurrent Objects with Application-Specific Schedulers -- A Theory of Bounded Fair Scheduling -- Fair Exchange Is Incomparable to Consensus -- Automatic Generation of CSP || B Skeletons from xUML Models -- Bounded Model Checking for Partial Kripke Structures -- Verification of Linear Duration Invariants by Model Checking CTL Properties -- Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks -- Endomorphisms for Non-trivial Non-linear Loop Invariant Generation -- Instantiation for Parameterised Boolean Equation Systems. |
| Record Nr. | UNISA-996465285203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings / / edited by John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun
| Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings / / edited by John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XI, 455 p.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Software engineering Computer science Algorithms Programming Techniques Software Engineering Theory of Computation |
| ISBN | 3-540-85762-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Using Design Patterns in Formal Methods: An Event-B Approach -- A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules -- The Three Platonic Models of Divergence-Strict CSP -- Monotonic Abstraction in Action -- Non-interleaving Semantics with Causality for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test Algorithms for One-Unambiguous Regular Expressions -- Refinement of Kripke Models for Dynamics -- Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers -- A Theory of Pointers for the UTP -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables -- Towards Efficient Verification of Systems with Dynamic Process Creation -- An Observational Model for Transactional Calculus of Services Orchestration -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway Decision Graphs -- Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs -- Guided Test Generation from CSP Models -- Relaxing Goodness Is Still Good -- Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time -- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems -- Testing Concurrent Objects with Application-Specific Schedulers -- A Theory of Bounded Fair Scheduling -- Fair Exchange Is Incomparable to Consensus -- Automatic Generation of CSP // B Skeletons from xUML Models -- Bounded Model Checking for Partial Kripke Structures -- Verification of Linear Duration Invariants by Model Checking CTL Properties -- Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks -- Endomorphisms for Non-trivial Non-linear Loop Invariant Generation -- Instantiation for Parameterised Boolean Equation Systems. |
| Record Nr. | UNINA-9910484781703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||