Articles liés à Fundamental Approaches to Software Engineering: 4th...
Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and ... Genova, Italy, April 2-6. 2001 Proceedings - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
Invited Paper.- Physical Programming: Beyond Mere Logic.- Metamodelling.- Metamodelling and Conformance Checking with PVS.- The Metamodelling Language Calculus: Foundation Semantics for UML.- Distributed Components.- Compositional Checking of Communication among Observers.- Combining Independent Specifications.- Proving Deadlock Freedom in Component-Based Programming.- UML.- A Real-Time Execution Semantics for UML Activity Diagrams.- A CSP View on UML-RT Structure Diagrams.- Strengthening UML Collaboration Diagrams by State Transformations.- Specification of Mixed Systems in Korrigan with the Support of a UML-Inspired Graphical Notation.- On Use Cases and Their Relationships in the Unified Modelling Language.- On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design.- Towards a Rigorous Semantics of UML Supporting Its Multiview Approach.- Towards Development of Secure Systems Using UMLsec.- Testing.- Grammar Testing.- Debugging via Run-Time Type Checking.- Library-Based Design and Consistency Checking of System-Level Industrial Test Cases.- Demonstration of an Automated Integrated Testing Environment for CTI Systems.- Formal Methods.- Semantics of Architectural Specifications in Casl.- Extending Development Graphs with Hiding.- A Logic for the Java Modeling Language JML.- A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.- Case Studies.- A Formal Object-Oriented Analysis for Software Reliability: Design for Verification.- Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2014
- ISBN 10 3662203499
- ISBN 13 9783662203491
- ReliurePaperback
- Langueanglais
- Coordonnées du fabricantnon disponible
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
