|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 12 keywords
|
|
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Martin Wirsing, Alexander Knapp, Simonetta Balsamo (eds.) |
Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers  |
RISSEF  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández 0001 |
Higher Order Applicative XML Documents. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson 0001 |
Module Dependences in Software Design. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Gilliers, Fabrice Kordon, Dan Marius Regep |
A Model Based Development Approach for Distributed Embedded Systems. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Egidio Astesiano, Gianna Reggio |
Tight Structuring for Precise UML-Based Requirement Specifications. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Scott Caffall, James Bret Michael |
A New Paradigm for Requirements Specification and Analysis of System-of-Systems. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce Lewis |
Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Massimo Tivoli |
Automatic Failures-Free Connector Synthesis: An Example. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Simonetta Balsamo, Marta Simeoni |
Integrating Performance Modeling in the Software Development Process. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Beum-Seuk Lee, Barrett R. Bryant |
Automation of Software System Development Using Natural Language Processing and Two-Level Grammar. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
Two-Level Grammar (TLG), Formal Specification, Natural Language Processing, Automated Software Engineering |
| 1 | Murali Rangarajan, Darren D. Cofer |
Model-Checking Complex Software - A Memory Perspective. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Valentina Presutti |
Towards Ontology Driven Software Design. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar Nierstrasz |
Software Evolution as the Key to Productivity. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Egidio Astesiano, Maura Cerioli, Gianna Reggio |
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wirsing, Alexander Knapp |
View Consistency in Software Development. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Insup Lee 0001, Anna Philippou, Oleg Sokolsky |
A General Resource Framework for Real-Time Systems. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luqi, Ying Qiao, Lin Zhang 0008 |
A Computational Model for Complex Systems of Embedded Systems. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Rumpe |
Agile Modeling with the UML. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gschwind, Mehdi Jazayeri, Johann Oberleitner |
Pervasive Challenges for Software Components. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
generic componentmodel, component interoperability, pervasive computing, components, dynamic adaptation |
| 1 | Daniel M. Berry |
The Inevitable Pain of Software Development: Why There Is No Silver Bullet. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hardi Hungar, Tiziana Margaria, Bernhard Steffen |
Model Generation for Legacy Systems. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde, Emmanuel Letier |
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
specification building process, safety, Goal-oriented requirements engineering, lightweight formal methods, high assurance systems |
| 1 | Michel Bidoit, Donald Sannella, Andrzej Tarlecki |
Toward Component-Oriented Formal Software Development: An Algebraic Approach. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Clinton Jeffery, Mikhail Auguston, Scott Underwood |
Towards Fully Automatic Execution Monitoring. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner |
Predictable Component Architectures Using Dependent Finite State Machines. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
automated interface adaptation, component-based interface specification, component-based prediction, production cell, protocol types, parameterised contracts, software architecture, finite state machines |
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license