Fundamental Approaches to Software Engineering 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings /

Fundamental Approaches to Software Engineering 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings /

ETAPS 2001 is the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS),...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Hussmann, Heinrich (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
Edition:1st ed. 2001.
Series:Lecture Notes in Computer Science, 2029
Subjects:
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • 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.

Similar Items