Rapid Integration of Software Engineering Techniques
Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers
(Sprache: Englisch)
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....
Leider schon ausverkauft
versandkostenfrei
Buch
74.89 €
Produktdetails
Produktinformationen zu „Rapid Integration of Software Engineering Techniques “
Klappentext zu „Rapid Integration of Software Engineering Techniques “
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.
Inhaltsverzeichnis zu „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.
Bibliographische Angaben
- 2006, 290 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben:Guelfi, Nicolas; Savidis, Anthony
- Herausgegeben: Anthony Savidis, Nicolas Guelfi
- Verlag: Springer
- ISBN-10: 3540340637
- ISBN-13: 9783540340638
- Erscheinungsdatum: 16.05.2006
Sprache:
Englisch
Kommentar zu "Rapid Integration of Software Engineering Techniques"
0 Gebrauchte Artikel zu „Rapid Integration of Software Engineering Techniques“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Rapid Integration of Software Engineering Techniques".
Kommentar verfassen