Delwedd Flaen

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

Disgrifiad llawn

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Awdur Corfforaethol: SpringerLink (Online service)
Awduron Eraill: Guelfi, Nicolas. (Golygydd, http://id.loc.gov/vocabulary/relators/edt), Savidis, Anthony. (Golygydd, http://id.loc.gov/vocabulary/relators/edt)
Fformat: Electronig eLyfr
Iaith:English
Cyhoeddwyd: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Rhifyn:1st ed. 2006.
Cyfres:Programming and Software Engineering ; 3943
Pynciau:
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.
Mynediad Ar-lein:https://doi.org/10.1007/11751113
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
Tabl Cynhwysion:
  • 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.

Eitemau Tebyg