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 |
Computers, Special purpose
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 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings / / John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)
| FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings / / John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2005 |
| Descrizione fisica | 1 online resource (XIV, 558 p.) |
| Disciplina | 004.13/1 |
| Altri autori (Persone) |
FitzgeraldJohn <1965->
HayesIan TarleckiAndrzej |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer software - Development
Formal methods (Computer science) System design |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing: Hypotheses, and Correctness Approximations -- The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions -- Object Orientation -- Modular Verification of Static Class Invariants -- Decoupling in Object Orientation -- Controlling Object Allocation Using Creation Guards -- Symbolic Animation of JML Specifications -- Resource Analysis and Verification -- Certified Memory Usage Analysis -- Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs -- Formally Defining and Verifying Master/Slave Speculative Parallelization -- Timing and Testing -- Systematic Implementation of Real-Time Models -- Timing Tolerances in Safety-Critical Software -- Timed Testing with TorX -- Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems -- CSP, B and Circus -- Adding Conflict and Confusion to CSP -- Combining CSP and B for Specification and Property Verification -- Operational Semantics for Model Checking Circus -- Control Law Diagrams in Circus -- Security -- Verification of a Signature Architecture with HOL-Z -- End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform -- Formal Verification of Security Properties of Smart Card Embedded Source Code -- Networks and Processes -- A Formal Model of Addressing for Interoperating Networks -- An Approach to Unfolding Asynchronous Communication Protocols -- Semantics of BPEL4WS-Like Fault and Compensation Handling -- Abstraction, Retrenchment and Rewriting -- On Some Galois Connection Based Abstractions for the Mu-Calculus -- Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern -- Strategic Term Rewriting and Its Application to a Vdm-sl to Sql Conversion -- Scenarios and Modeling Languages -- Synthesis of Distributed Processes from Scenario-Based Specifications -- Verifying Scenario-Based Aspect Specifications -- An MDA Approach Towards Integrating Formal and Informal Modeling Languages -- Model Checking -- Model-Checking of Specifications Integrating Processes, Data and Time -- Automatic Symmetry Detection for Model Checking Using Computational Group Theory -- On Partitioning and Symbolic Model Checking -- Dynamic Component Substitutability Analysis -- Industry Day: Abstracts of Invited Talks -- Floating-Point Verification -- Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications -- Model-Based Testing in Practice -- Testing Concurrent Object-Oriented Systems with Spec Explorer -- ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software -- The Informal Nature of Systems Engineering. |
| Altri titoli varianti |
Formal methods 2005
International Symposium of Formal Methods Europe FME Formal methods Europe |
| Record Nr. | UNINA-9910483583503321 |
| Berlin ; ; New York, : Springer, 2005 | ||
| 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 | ||
| ||