search for books and compare prices
Tables of Contents for Fundamental Approaches to Software Engineering
Chapter/Section Title
Page #
Page Count
Formal Frameworks
An Approach to Composition Motivated by wp
Michel Charpentier
1
14
Compositional Verification of Secure Applet Interactions
Gilles Barthe Dilian Gurov and Marieke Huisman
15
18
A Generic Component Framework for System Modeling
Hartmut Ehrig Fernando Orejas Benjamin Braatz Markus Klein and Martti Piirainen
33
16
Model and Program Analysis
Implementing Condition/Event Nets in the Circal Process Algebra
Antonio Cerone
49
15
Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs
Fei Xie and James C. Browne
64
16
Model Generation by Moderated Regular Extrapolation
Andreas Hagerer Hardi Hungar Oliver Niese and Bernhard Steffen
80
16
Better Slicing of Programs with Jumps and Switches
Sumit Knmar and Susan Horwitz
96
17
Architecture Descriptions
Architectural Types Revisited: Extensible And/Or Connections
Marco Bernardo and Francesco Franze
113
15
Mapping an ADL to a Component-Based Application Development Environment
Virginia C. C. de Paula and Thais V. Batista
128
15
From EDOC to CCM Components: A Precise Mapping Specification
Mariano Belaunde and Mikael Peltier
143
16
Meta-Models
Engineering Modelling Languages: A Precise Meta-Modelling Approach
Tony Clark Andy Evans and Stuart Kent
159
15
AtoM3: A Tool for Multi-formalism and Meta-modelling
Juan de Lara and Hans Vengheluwe
174
15
A Toolbox for Automating Visual Software Engineering
Luciano Baresi and Mauro Pezze
189
14
Formal Approaches towards UML
Enriching OCL Using Observational Mu-Calculus
Julian Bradfield Juliana Kuster Filipe and Perdita Stevens
203
15
Formal Verification of UML Statecharts with Real-Time Extensions
Alexandre David M. Oliver Moller and Wang Yi
218
15
Requirements Engineering
An Authoring Tool for Informal and Formal Requirements Specifications
Reiner Hahnle Kristofer Johannisson and Aarne Ranta
233
16
Introducing Context-Based Constraints
Felix Bubl
249
15
Formal Requirements Engineering Using Observer Models
Andreas Nonnengart Georg Rock and Werner Stephan
264
15
Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach
Oscar Lopez Miguel A. Laguna and Francisco J. Garcia
279
15
Meta-modeling Techniques Meet Web Application Design Tools
Luciano Baresi Franca Garzotto Luca Mainetti and Paolo Paolini
294
14
Formal-Driven Conceptualization and Prototyping of Hypermedia Applications
Antonio Navarro Baltasar Fernandez-Manjon Alfredo Fernandez-Valmayor and Jose Luis Sierra
308
15
Tool Demonstrations
The Coordination Development Environment
Joao Gouveia Georgios Koutsoukos Michel Wermelinger Luis Andrade and Jose Luiz Fiadeiro
323
4
The KY System: Integrating Object-Oriented Design and Formal Methods
Wolfgang Ahrendt Thomas Baar Bernhard Beckert Martin Giese Elmar Habermalz Reiner Hahnle Wolfram Menzel Wojciech Mostowski and Peter H. Schmitt
327
4
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs
Fei Xie Vladimir Levin and James C. Browne
331
10
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems
Andreas Hagerer Hardi Hungar Tiziana Margaria Oliver Niese Bernhard Stephen and Hans-Dieter Ide
336
5
Author Index
341
<