RISSEF - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2004

Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised PapersMartin Wirsing, Alexander Knapp, Simonetta Balsamo, editors, Volume 2941 of Lecture Notes in Computer Science, Springer, 2004.

2002

Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case)Egidio Astesiano, Maura Cerioli, Gianna Reggio. rissef 2004: 1-15 [doi]

Tight Structuring for Precise UML-Based Requirement SpecificationsEgidio Astesiano, Gianna Reggio. rissef 2004: 16-34 [doi]

Integrating Performance Modeling in the Software Development ProcessSimonetta Balsamo, Marta Simeoni. rissef 2004: 35-49 [doi]

The Inevitable Pain of Software Development: Why There Is No Silver BulletDaniel M. Berry. rissef 2004: 50-74 [doi]

Toward Component-Oriented Formal Software Development: An Algebraic ApproachMichel Bidoit, Donald Sannella, Andrzej Tarlecki. rissef 2004: 75-90 [doi]

Higher Order Applicative XML DocumentsPeter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández. rissef 2004: 91-107 [doi]

A New Paradigm for Requirements Specification and Analysis of System-of-SystemsDale S. Caffall, James B. Michael. rissef 2004: 108-121 [doi]

Towards Ontology Driven Software DesignPaolo Ciancarini, Valentina Presutti. rissef 2004: 122-136 [doi]

A Model Based Development Approach for Distributed Embedded SystemsFrédéric Gilliers, Fabrice Kordon, Dan Marius Regep. rissef 2004: 137-151 [doi]

Pervasive Challenges for Software ComponentsThomas Gschwind, Mehdi Jazayeri, Johann Oberleitner. rissef 2004: 152-166 [doi]

Model Generation for Legacy SystemsHardi Hungar, Tiziana Margaria, Bernhard Steffen. rissef 2004: 167-183 [doi]

Automatic Failures-Free Connector Synthesis: An ExamplePaola Inverardi, Massimo Tivoli. rissef 2004: 184-197 [doi]

Module Dependences in Software DesignDaniel Jackson. rissef 2004: 198-203 [doi]

Towards Fully Automatic Execution MonitoringClinton Jeffery, Mikhail Auguston, Scott Underwood. rissef 2004: 204-218 [doi]

Automation of Software System Development Using Natural Language Processing and Two-Level GrammarBeum-Seuk Lee, Barrett R. Bryant. rissef 2004: 219-233 [doi]

A General Resource Framework for Real-Time SystemsInsup Lee, Anna Philippou, Oleg Sokolsky. rissef 2004: 234-248 [doi]

Architecture Based Model Driven Software and System Development for Real-Time Embedded SystemsBruce Lewis. rissef 2004: 249-260 [doi]

A Computational Model for Complex Systems of Embedded SystemsLuqi, Ying Qiao, Lin Zhang. rissef 2004: 261-273 [doi]

Software Evolution as the Key to ProductivityOscar Nierstrasz. rissef 2004: 274-282 [doi]

Model-Checking Complex Software - A Memory PerspectiveMurali Rangarajan, Darren D. Cofer. rissef 2004: 283-296 [doi]

Agile Modeling with the UMLBernhard Rumpe. rissef 2004: 297-309 [doi]

Predictable Component Architectures Using Dependent Finite State MachinesHeinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner. rissef 2004: 310-324 [doi]

From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements EngineeringAxel van Lamsweerde, Emmanuel Letier. rissef 2004: 325-340 [doi]

View Consistency in Software DevelopmentMartin Wirsing, Alexander Knapp. rissef 2004: 341-357 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

RISSEF (rissef)

Viewing Publication 1 - 25 from 25

2004

2002

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

RISSEF (rissef)

Viewing Publication 1 - 25 from 25

2004

2002

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1