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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Guelfi, Nicolas (Επιμελητής έκδοσης), Savidis, Anthony (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
• Σειρά: Lecture Notes in Computer Science, 3943
• Θέματα: Computer science.; Software engineering.; Computer logic.; Management information systems.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Logics and Meanings of Programs.; Management of Computing and Information Systems.

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 i...

Πίνακας περιεχομένων:

• 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.