default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9. RISSEF 2002: Venice, Italy
- Martin Wirsing, Alexander Knapp, Simonetta Balsamo:
Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers. Lecture Notes in Computer Science 2941, Springer 2004, ISBN 3-540-21179-9 - Egidio Astesiano, Maura Cerioli
, Gianna Reggio:
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). 1-15 - Egidio Astesiano, Gianna Reggio:
Tight Structuring for Precise UML-Based Requirement Specifications. 16-34 - Simonetta Balsamo, Marta Simeoni:
Integrating Performance Modeling in the Software Development Process. 35-49 - Daniel M. Berry:
The Inevitable Pain of Software Development: Why There Is No Silver Bullet. 50-74 - Michel Bidoit, Donald Sannella, Andrzej Tarlecki:
Toward Component-Oriented Formal Software Development: An Algebraic Approach. 75-90 - Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández:
Higher Order Applicative XML Documents. 91-107 - Dale Scott Caffall, James Bret Michael:
A New Paradigm for Requirements Specification and Analysis of System-of-Systems. 108-121 - Paolo Ciancarini, Valentina Presutti:
Towards Ontology Driven Software Design. 122-136 - Frédéric Gilliers, Fabrice Kordon, Dan Marius Regep:
A Model Based Development Approach for Distributed Embedded Systems. 137-151 - Thomas Gschwind, Mehdi Jazayeri, Johann Oberleitner:
Pervasive Challenges for Software Components. 152-166 - Hardi Hungar, Tiziana Margaria, Bernhard Steffen:
Model Generation for Legacy Systems. 167-183 - Paola Inverardi, Massimo Tivoli:
Automatic Failures-Free Connector Synthesis: An Example. 184-197 - Daniel Jackson:
Module Dependences in Software Design. 198-203 - Clinton Jeffery, Mikhail Auguston, Scott Underwood:
Towards Fully Automatic Execution Monitoring. 204-218 - Beum-Seuk Lee, Barrett R. Bryant:
Automation of Software System Development Using Natural Language Processing and Two-Level Grammar. 219-233 - Insup Lee, Anna Philippou, Oleg Sokolsky:
A General Resource Framework for Real-Time Systems. 234-248 - Bruce Lewis:
Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems. 249-260 - Luqi, Ying Qiao, Lin Zhang:
A Computational Model for Complex Systems of Embedded Systems. 261-273 - Oscar Nierstrasz:
Software Evolution as the Key to Productivity. 274-282 - Murali Rangarajan, Darren D. Cofer:
Model-Checking Complex Software - A Memory Perspective. 283-296 - Bernhard Rumpe:
Agile Modeling with the UML. 297-309 - Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner:
Predictable Component Architectures Using Dependent Finite State Machines. 310-324 - Axel van Lamsweerde, Emmanuel Letier:
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering. 325-340 - Martin Wirsing, Alexander Knapp:
View Consistency in Software Development. 341-357
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
