Getting this item's online copy...Find a copy in the library
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