skip to content
Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers Preview this item
ClosePreview this item

Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers

Author: M Wirsing; Alexander Knapp; Simonetta Balsamo
Publisher: Berlin ; New York : Springer-Verlag, 2004.
Series: Lecture notes in computer science, 2941.; Hot topics (Berlin, Germany)
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Getting this item's online copy... Getting this item's online copy...

Find a copy in the library

Getting this item's location and availability... Getting this item's location and availability...

WorldCat

Find it in libraries globally
Worldwide libraries own this item

Details

Genre/Form: Electronic books
Conference papers and proceedings
Venedig (2002)
Congresses
Congrès
Additional Physical Format: Print version:
RISSEF 2002 (2002 : Venice, Italy).
Radical Innovations of Software and Systems Engineering in the Future.
Berlin ; New York : Springer-Verlag, 2004
(DLC) 2004046622
(OCoLC)54542902
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: M Wirsing; Alexander Knapp; Simonetta Balsamo
ISBN: 3540211799 9783540211792 3540246266 9783540246268
OCLC Number: 58750839
Description: 1 online resource (x, 357 pages) : illustrations.
Contents: Architecture Specific Models: Software Design on Abstract Platforms.- Tight Structuring for Precise UML-Based Requirement Specifications.- Integrating Performance Modeling in the Software Development Process.- The Inevitable Pain of Software Development: Why There Is No Silver Bullet.- Toward Component-Oriented Formal Software Development: An Algebraic Approach.- Higher Order Applicative XML Documents.- A New Paradigm for Requirements Specification and Analysis of System-of-Systems.- Towards Ontology Driven Software Design.- A Model Based Development Approach for Distributed Embedded Systems.- Pervasive Challenges for Software Components.- Model Generation for Legacy Systems.- Automatic Failures-Free Connector Synthesis: An Example.- Module Dependences in Software Design.- Towards Fully Automatic Execution Monitoring.- Automation of Software System Development Using Natural Language Processing and Two-Level Grammar.- A General Resource Framework for Real-Time Systems.- Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems.- A Computational Model for Complex Systems of Embedded Systems.- Software Evolution as the Key to Productivity.- Model-Checking Complex Software - A Memory Perspective.- Agile Modeling with the UML.- Predictable Component Architectures Using Dependent Finite State Machines.- From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering.- View Consistency in Software Development.
Series Title: Lecture notes in computer science, 2941.; Hot topics (Berlin, Germany)
Responsibility: Martin Wirsing, Alexander Knapp, Simonetta Balsamo, eds.
Retrieving notes about this item Retrieving notes about this item

Reviews

User-contributed reviews

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.