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

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

詳細記述

保存先:
書誌詳細
団体著者: SpringerLink (Online service)
その他の著者: Guelfi, Nicolas. (編集者, http://id.loc.gov/vocabulary/relators/edt), Savidis, Anthony. (編集者, http://id.loc.gov/vocabulary/relators/edt)
フォーマット: 電子媒体 eBook
言語:English
出版事項: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
版:1st ed. 2006.
シリーズ:Programming and Software Engineering ; 3943
主題:
オンライン・アクセス:https://doi.org/10.1007/11751113
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
目次:
  • 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.