2. RISE 2005: Heraklion, Crete, Greece

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