Rapid Integration of Software Engineering Techniques

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.