+612 9045 4394
 
CHECKOUT
Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers - Martin Wirsing

Radical Innovations of Software and Systems Engineering in the Future

9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

By: Martin Wirsing (Editor), Alexander Knapp (Editor), Simonetta Balsamo (Editor)

Paperback

Published: 18th March 2004
Ships: 5 to 9 business days
5 to 9 business days
$158.39
or 4 easy payments of $39.60 with Learn more

This volume contains the papers from the workshop "Radical Innovations of Software and Systems Engineering in the Future." This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. During the last decade object orientation was the driving factor for new system solutions in many areas ranging from e-commerce to embedded systems. New modeling languages such as UML and new programming languages such as Java and CASE tools have considerably in?uenced the system development techniques of today and will remain key techniques for the near future. However, actual practice shows many de?ciencies of these new approaches: - there is no proof and no evidence that software productivity has increased with the new methods; - UML has no clean scienti?c foundations, which inhibits the construction of powerful analysis and development tools; - support for mobile distributed system development is missing; - formanyapplications, object-orienteddesignisnotsuitedtoproducingclean well-structured code, as many applications show.

Architecture specific models : software design on abstract platforms (the P2P case)p. 1
Tight structuring for precise UML-based requirement specificationsp. 16
Integrating performance modeling in the software development processp. 35
The inevitable pain of software development : why there is no silver bulletp. 50
Toward component-oriented formal software development : an algebraic approachp. 75
Higher order applicative XML documentsp. 91
A new paradigm for requirements specification and analysis of system-of-systemsp. 108
Towards ontology driven software designp. 122
A model based development approach for distributed embedded systemsp. 137
Pervasive challenges for software componentsp. 152
Model generation for legacy systemsp. 167
Automatic failures-free connector synthesis : an examplep. 184
Module dependences in software designp. 198
Towards fully automatic execution monitoringp. 204
Automation of software system development using natural language processing and two-level grammarp. 219
A general resource framework for real-time systemsp. 234
Architecture based model driven software and system development for real-time embedded systemsp. 249
A Computational model for complex systems of embedded systemsp. 261
Software evolution as the key to productivityp. 274
Model-checking complex software - a memory perspectivep. 283
Agile modeling with the UMLp. 297
Predictable component architectures using dependent finite state machinesp. 310
From object orientation to goal orientation : a paradigm shift for requirements engineeringp. 325
View consistency in software developmentp. 341
Author Indexp. 359
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540211792
ISBN-10: 3540211799
Series: Lecture Notes in Computer Science
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 359
Published: 18th March 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.3 x 15.5  x 1.98
Weight (kg): 1.17