Fundamental approaches to software engineering : 5th international conference, FASE 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13...
Guardat en:
| Autor corporatiu: | , |
|---|---|
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
2306 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Fundamental approaches to software engineering, 5th international conference, FASE 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, proceedings, Ralf-Detlef Kutsche, Herbert Weber (eds.), Berlin, Springer, 2002, 1 vol. (XIII-339 p.), Lecture notes in computer science, 3-540-43353-8 • Fundamental Approaches to Software Engineering, Texte imprimé, 9783662162958 |
Taula de continguts:
- 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.