Items related to 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 - Softcover

 
9783662203491: 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
Softcover
ISBN 10: 3662203499 ISBN 13: 9783662203491
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

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.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2014
  • ISBN 10 3662203499
  • ISBN 13 9783662203491
  • BindingPaperback
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540418634: Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 2029)

Featured Edition

ISBN 10:  3540418636 ISBN 13:  9783540418634
Publisher: Springer, 2001
Softcover