E-Book, Englisch, Band 3943, 290 Seiten, eBook
Guelfi / Savidis Rapid Integration of Software Engineering Techniques
2006
ISBN: 978-3-540-34064-5
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers
E-Book, Englisch, Band 3943, 290 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-34064-5
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
