Radical Innovations of Software and Systems Engineering in the Future [electronic resource] : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers / Martin Wirsing, Alexander Knapp, Simonetta Balsamo, eds
- Conference Author:
- RISSEF 2002 (2002 : Venice, Italy)
- Published:
- Berlin ; New York : Springer-Verlag, 2004.
- Physical Description:
- x, 357 pages : illustrations ; 24 cm.
- Additional Creators:
- Wirsing, M. (Martin)
Knapp, Alexander, 1971-
Balsamo, Simonetta - Access Online:
- serialssolutions.com
- Series:
- Lecture notes in computer science, 2941
Hot topics (Berlin, Germany) - Restrictions on Access:
- License restrictions may limit access.
- Contents:
- Machine generated contents note: Architecture specific models : software design on abstract platforms (the P2P case) / Egidio Astesiano / Gianna Reggio / Maura Cerioli -- Tight structuring for precise UML-based requirement specifications / Gianna Reggio / Egidio Astesiano -- Integrating performance modeling in the software development process / Marta Simeoni / Simonetta Balsamo -- The inevitable pain of software development : why there is no silver bullet / Daniel M. Berry -- Toward component-oriented formal software development : an algebraic approach / Andrzej Tarlecki / Donald Sannella / Michel Bidoit -- Higher order applicative XML documents / Luis Fernandez Sanchez / Vicente Luque Centeno / Carlos Delgado Kloos / Peter T. Breuer -- A new paradigm for requirements specification and analysis of system-of-systems / Dale S. Caffall / James B. Michael -- Towards ontology driven software design / Paolo Ciancarini / Valentina Presutti -- A model based development approach for distributed embedded systems / Dan Regep / Frederic Gilliers / Fabrice Kordon -- Pervasive challenges for software components / Thomas Gschwind / Mehdi Jazayeri / Johann Oberleitner -- Model generation for legacy systems / Hardi Hungar / Tiziana Margaria / Bernhard Steffen -- Automatic failures-free connector synthesis : an example / Paola Inverardi / Massimo Tivoli -- Module dependences in software design / Daniel Jackson -- Towards fully automatic execution monitoring / Scott Underwood / Mikhail Auguston / Clinton Jeffery -- Automation of software system development using natural language processing and two-level grammar / Beum-Seuk Lee / Barrett R. Bryant -- A general resource framework for real-time systems / Anna philippou / Insup Lee / Oleg Sokolsky -- Architecture based model driven software and system development for real-time embedded systems / Bruce Lewis -- A Computational model for complex systems of embedded systems / Ying Qiao / Lin Zhang / Luqi -- Software evolution as the key to productivity / Oscar Nierstrasz -- Model-checking complex software - a memory perspective / Murali Rangarajan / Darren Cofer -- Agile modeling with the UML / Bernhard Rumpe -- Predictable component architectures using dependent finite state machines / Ralf Reussner / Bernd J. Kramer / Heinz W. Schmidt / Iman Poernomo -- From object orientation to goal orientation : a paradigm shift for requirements engineering / Emmanuel Letier / Axel van Lamsweerde -- View consistency in software development / Martin Wirsing / Alexander Knapp.
- Subject(s):
- Genre(s):
- ISBN:
- 3540211799 (alk. paper)
- Bibliography Note:
- Includes bibliographical references and index.
View MARC record | catkey: 7882972