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

Brossura

ISBN 10: 3540340637 ISBN 13: 9783540340638

Casa editrice: Springer, 2009

Riassunto

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2005. The book presents 19 revised full papers together with the abstract of a keynote paper. Among the topics addressed are modelling safety case evolution, practical approaches in model mapping, context-aware service composition, techniques for representing product line core assets for automation, formal development of reactive fault-tolerant systems, and more.

Su questo libro

Contenuti

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.

Product Description

Book by None

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2009
• ISBN 10: 3540340637
• ISBN 13: 9783540340638
• Rilegatura: Copertina flessibile
• Lingua: Inglese
• Numero di pagine: 304
• Redattore: Guelfi Nicolas
• Contatto del produttore: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com