Rapid Integration of Software Engineering Techniques (eBook, PDF)

Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers
Redaktion: Guelfi, Nicolas; Savidis, Anthony

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 290
• Erscheinungstermin: 18. Mai 2006
• Englisch
• ISBN-13: 9783540340645
• Artikelnr.: 44132797

Autorenporträt

Nicolas Guelfi, University of Luxembourg, Luxembourg / Anthony Savidis, Institute of Computer Science FORTH, Heraklion, Greece

Inhaltsangabe

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.