+612 9045 4394
 
CHECKOUT
Fundamental Approaches to Software Engineering : 7th International Conference, Fase 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings - Michel Wermelinger

Fundamental Approaches to Software Engineering

7th International Conference, Fase 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Paperback

Published: 22nd March 2004
Ships: 5 to 9 business days
5 to 9 business days
$147.02
or 4 easy payments of $36.76 with Learn more

ETAPS 2004 was the seventh 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 comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci?c to the satellite events). The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these act- ities are all well within its scope. Di?erent blends of theory and practice are r- resented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and theemphasisonsoftwareisnotintendedtobeexclusive.

Distributed information management with XML and web servicesp. 1
A formal treatment of context-awarenessp. 12
Consistent adaption and evolution of class diagrams during refinementp. 37
Measuring aspect cohesionp. 54
Refactoring object-Z specificationsp. 69
Checking absence of illicit Applet interactions : a case studyp. 84
A tool-assisted framework for certified bytecode verificationp. 99
Reasoning about card tears and transactions in Java cardp. 114
Predictable dynamic plugin systemsp. 129
A correlation framework for the CORBA component modelp. 144
Cadena : an integrated development environment for analysis, synthesis, and verification of component-based systemsp. 160
Actor-centric modeling of user rightsp. 165
Modeling role-based access control using parameterized UML modelsp. 180
Compositional nested long running transactionsp. 194
DaGen : a tool for automatic translation for DAML-S to high-level Petri netsp. 209
Integrating meta-modelling aspects with graph transformation for efficient visual language definition and model manipulationp. 214
An operational semantics for stateflowp. 229
Improving use case based requirements using formally grounded specificationsp. 244
The GOPCSD tool : an integrated development environment for process control requirements and designp. 261
Automated debugging using path-based weakest preconditionsp. 267
Filtering TOBIAS combinatorial test suitesp. 281
Systematic testing of software architectures in the C2 stylep. 295
Optimising communication structure for model checkingp. 310
Translating software designs for model checkingp. 324
Enhancing remote method invocation through type-based static analysisp. 339
Specification and analysis of real-time systems using Real-Time Maudep. 354
A systematic methodology for developing component frameworksp. 359
Automating decisions in component composition based on propagation of requirementsp. 374
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540213055
ISBN-10: 3540213058
Series: Lecture Notes in Computer Science,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 389
Published: 22nd March 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.13
Weight (kg): 0.57