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
1
14
Compositional Verification of Secure Applet Interactions
15
18
A Generic Component Framework for System Modeling
33
16
Model and Program Analysis
Implementing Condition/Event Nets in the Circal Process Algebra
49
15
Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs
64
16
Model Generation by Moderated Regular Extrapolation
80
16
Better Slicing of Programs with Jumps and Switches
96
17
Architecture Descriptions
Architectural Types Revisited: Extensible And/Or Connections
113
15
Mapping an ADL to a Component-Based Application Development Environment
128
15
From EDOC to CCM Components: A Precise Mapping Specification
143
16
Meta-Models
Engineering Modelling Languages: A Precise Meta-Modelling Approach
159
15
AtoM3: A Tool for Multi-formalism and Meta-modelling
174
15
A Toolbox for Automating Visual Software Engineering
189
14
Formal Approaches towards UML
Enriching OCL Using Observational Mu-Calculus
203
15
Formal Verification of UML Statecharts with Real-Time Extensions
218
15
Requirements Engineering
An Authoring Tool for Informal and Formal Requirements Specifications
233
16
Introducing Context-Based Constraints
249
15
Formal Requirements Engineering Using Observer Models
264
15
Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach
279
15
Meta-modeling Techniques Meet Web Application Design Tools
294
14
Formal-Driven Conceptualization and Prototyping of Hypermedia Applications
308
15
Tool Demonstrations
The Coordination Development Environment
323
4
The KY System: Integrating Object-Oriented Design and Formal Methods
327
4
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs
331
10
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems
336
5
Author Index
341