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

Front Cover
Nicolas Guelfi, Anthony Savidis
Springer Science & Business Media, May 16, 2006 - Computers - 290 pages
RISE 2005 (http://rise2005.ics.forth.gr/) was the second annual inter-national workshop of the ERCIM (European Research Consortium for Informatics and Mathematics - http://www.ercim.org/) Working Group on Rapid Integration of Software Engineering techniques (RISE - http://rise.uni.lu/). RISE is an international forum for researchers and practitioners interested in the advancement and rapid application of novel, integrated, or practical software engineering approaches being part of a methodological framework, which apply to the development of new or evolving applications and systems. RISE provides an opportunity to present and discuss the latest research results and ideas in the rapid and effective integration of software engineering techniques. Target application domains of interest to RISE include: • Web-based software systems • Mobile communication systems • High-availability or mission-critical systems • Resilient business and grid applications • Ambient intelligence environments • Embedded systems and applications • User interface development • Development environments • Electronic entertainment • Enterprise computing and applications In particular, RISE 2005 focused on an open and inclusive set of key software engineering domains, which formed the focal point of the workshop, including, but not limited to: • Software and system architectures • Software reuse • Software testing • Software model checking • Model-driven design and testing techniques • Model transformation • Requirements engineering • Lightweight or practice-oriented formal methods • Software processes and software metrics • Automated software engineering • Design patterns • Design by contract • Defensive programming
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Doing More with Contracts Towards Automatic Tests and Proofs
1
An Experience Report
2
Rapid System Development Via Product Line Architecture Implementation
18
User Centred Rapid Application Development
34
Software Testing with Evolutionary Strategies
50
A Technique to Represent Product Line Core Assets in MDAPIM for Automation
66
Modeling Safety Case Evolution Examples from the Air Traffic Management Domain
81
TypeDriven Automatic Quotation of Concrete Object Code in Meta Programs
97
An Incremental Approach
158
Prototyping Domain Specific Languages with COOPN
174
An Improved CaseBased Approach to LTL Model Checking
190
Synthesized UML a Practical Approach to Map UML to VHDL
203
Towards ServiceBased Business Process Modeling Prototyping and Integration
218
Formal Development of Reactive Fault Tolerant Systems
234
Network Structure and Traffic Modeling and Simulation with COOPN
250
Balancing Agility and Discipline with XPrince
266

Dynamic Imperative Languages for Runtime Extensible Semantics and Polymorphic Metaprogramming
113
ContextAware Service Composition in Pervasive Computing Environments
129
Can Aspects Implement Contracts?
145
An XP War Game
278
Author Index
288
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information