Fundamental Approaches to Software Engineering: 5th International Conference, Fase 2002, Held as Part of the Joint European Conferences on Theory and

ISBN-13: 9783540433538 / Angielski / Miękka / 2002 / 342 str.

Ralf-Detlef Kutsche; Herbert Weber; Ralf-Detlef Kutsche

Opis

This volume constitutes the refereed proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering, FASE 2002, held in Grenoble, France, in April 2002. The 21 revised full papers and four tool presentations were carefully reviewed and selected from almost 60 submissions. The papers are organized in topical sections on formal frameworks, model and program analysis, architecture descriptions, meta-models, formal approaches towards UML and requirements engineering.

Spis treści

Formal Frameworks.- An Approach to Composition Motivated by wp.- Compositional Verification of Secure Applet Interactions.- A Generic Component Framework for System Modeling.- Model and Program Analysis.- Implementing Condition/Event Nets in the Circal Process Algebra.- Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs.- Model Generation by Moderated Regular Extrapolation.- Better Slicing of Programs with Jumps and Switches.- Architecture Descriptions.- Architectural Types Revisited: Extensible And/Or Connections.- Mapping an ADL to a Component-Based Application Development Environment.- From EDOC Components to CCM Components: A Precise Mapping Specification.- Meta-Models.- Engineering Modelling Languages: A Precise Meta-Modelling Approach.- AToM3: A Tool for Multi-formalism and Meta-modelling.- A Toolbox for Automating Visual Software Engineering.- Formal Approaches towards UML.- Enriching OCL Using Observational Mu-Calculus.- Formal Verification of UML Statecharts with Real-Time Extensions.- Requirements Engineering.- An Authoring Tool for Informal and Formal Requirements Specifications.- Introducing Context-Based Constraints.- Formal Requirements Engineering Using Observer Models.- Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach.- Meta-modeling Techniques Meet Web Application Design Tools.- Formal-Driven Conceptualization and Prototyping of Hypermedia Applications.- Tool Demonstrations.- The Coordination Development Environment.- The Key System: Integrating Object-Oriented Design and Formal Methods.- ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs.- Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems.