Omslagsbild

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...

Full beskrivning

Sparad:
Bibliografiska uppgifter
Institutionell upphovsman: SpringerLink (Online service)
Övriga upphovsmän: Guelfi, Nicolas. (Utgivare, redaktör, sammanställare, http://id.loc.gov/vocabulary/relators/edt), Savidis, Anthony. (Utgivare, redaktör, sammanställare, http://id.loc.gov/vocabulary/relators/edt)
Materialtyp: Elektronisk E-bok
Språk:English
Publicerad: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Upplaga:1st ed. 2006.
Serie:Programming and Software Engineering ; 3943
Ämnen:
Software engineering.
Computer logic.
Management information systems.
Computer science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Länkar:https://doi.org/10.1007/11751113
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
Innehållsförteckning:
  • 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.

Liknande verk