default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. RISE 2005: Heraklion, Crete, Greece
- Nicolas Guelfi, Anthony Savidis:
Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3943, Springer 2006, ISBN 3-540-34063-7 - Bertrand Meyer:
Doing More with Contracts: Towards Automatic Tests and Proofs. 1 - Ralph-Johan Back, Johannes Eriksson, Luka Milovanov:
Using Stepwise Feature Introduction in Practice: An Experience Report. 2-17 - Mauro Caporuscio
, Henry Muccini, Patrizio Pelliccione, Ezio Di Nisio:
Rapid System Development Via Product Line Architecture Implementation. 18-33 - Edward Lank, Ken Withee, Lisa Schile, Tom Parker:
User Centred Rapid Application Development. 34-49 - Enrique Alba, J. Francisco Chicano:
Software Testing with Evolutionary Strategies. 50-65 - Hyun Gi Min, Soo Dong Kim:
A Technique to Represent Product Line Core Assets in MDA/PIM for Automation. 66-80 - Massimo Felici:
Modeling Safety Case Evolution - Examples from the Air Traffic Management Domain. 81-96 - Jurgen J. Vinju:
Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs. 97-112 - Anthony Savidis:
Dynamic Imperative Languages for Runtime Extensible Semantics and Polymorphic Meta-Programming. 113-128 - Sonia Ben Mokhtar, Damien Fournier, Nikolaos Georgantas, Valérie Issarny:
Context-Aware Service Composition in Pervasive Computing Environments. 129-144 - Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer:
Can Aspects Implement Contracts?. 145-157 - Philippe Y. Massicotte, Linda Badri, Mourad Badri:
Aspects-Classes Integration Testing Strategy: An Incremental Approach. 158-173 - Luis Pedro, Levi Lucio, Didier Buchs:
Prototyping Domain Specific Languages with COOPN. 174-189 - Fei Pu, Wenhui Zhang, Shaochun Wang:
An Improved Case-Based Approach to LTL Model Checking. 190-202 - Medard Rieder, Rico Steiner, Cathy Berthouzoz, Francois Corthay, Thomas Sterren:
Synthesized UML, a Practical Approach to Map UML to VHDL. 203-217 - Ang Chen, Didier Buchs:
Towards Service-Based Business Process Modeling, Prototyping and Integration. 218-233 - Linas Laibinis, Elena Troubitsyna:
Formal Development of Reactive Fault Tolerant Systems. 234-249 - David Hurzeler:
Network Structure and Traffic Modeling and Simulation with CO-OPN. 250-265 - Jerzy R. Nawrocki, Lukasz Olek, Michal Jasiñski, Bartosz Paliswiat, Bartosz Walter, Blazej Pietrzak, Piotr Godek:
Balancing Agility and Discipline with XPrince. 266-277 - Jerzy R. Nawrocki, Adam Wojciechowski:
Extreme89: An XP War Game. 278-287
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 2025-11-28 23:52 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:
