Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers /

RISE 2005 (http://rise2005.ics.forth.gr/) was the second annual inter-national workshop of the ERCIM (European Research Consortium for Informatics and Mathematics - http://www.ercim.org/) Working Group on Rapid Integration of Software Engineering techniques (RISE - http://rise.uni.lu/). RISE is an i...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Guelfi, Nicolas (Editor ), Savidis, Anthony (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Programming and Software Engineering, 3943
Temas:
Software engineering.
Computer science.
Electronic data processing-Management.
Software Engineering.
Computer Science Logic and Foundations of Programming.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Doing More with Contracts: Towards Automatic Tests and Proofs
  • Using Stepwise Feature Introduction in Practice: An Experience Report
  • Rapid System Development Via Product Line Architecture Implementation
  • User Centred Rapid Application Development
  • Software Testing with Evolutionary Strategies
  • A Technique to Represent Product Line Core Assets in MDA/PIM for Automation
  • Modeling Safety Case Evolution - Examples from the Air Traffic Management Domain
  • Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs
  • Dynamic Imperative Languages for Runtime Extensible Semantics and Polymorphic Meta-Programming
  • Context-Aware Service Composition in Pervasive Computing Environments
  • Can Aspects Implement Contracts?
  • Aspects-Classes Integration Testing Strategy: An Incremental Approach
  • Prototyping Domain Specific Languages with COOPN
  • An Improved Case-Based Approach to LTL Model Checking
  • Synthesized UML, a Practical Approach to Map UML to VHDL
  • Towards Service-Based Business Process Modeling, Prototyping and Integration
  • Formal Development of Reactive Fault Tolerant Systems
  • Network Structure and Traffic Modeling and Simulation with CO-OPN
  • Balancing Agility and Discipline with XPrince
  • Extreme89: An XP War Game.

Ejemplares similares