000 05206nam a22005535i 4500
001 978-3-540-34064-5
003 DE-He213
005 20240730172358.0
007 cr nn 008mamaa
008 100301s2006 gw | s |||| 0|eng d
020 _a9783540340645
_9978-3-540-34064-5
024 7 _a10.1007/11751113
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aRapid Integration of Software Engineering Techniques
_h[electronic resource] :
_bSecond International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers /
_cedited by Nicolas Guelfi, Anthony Savidis.
250 _a1st ed. 2006.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2006.
300 _aX, 290 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3943
505 0 _aDoing 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.
520 _aRISE 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.
650 0 _aSoftware engineering.
_94138
650 0 _aComputer science.
_99832
650 0 _aElectronic data processing
_xManagement.
_9103378
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aIT Operations.
_931703
700 1 _aGuelfi, Nicolas.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9103380
700 1 _aSavidis, Anthony.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9103382
710 2 _aSpringerLink (Online service)
_9103383
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540340638
776 0 8 _iPrinted edition:
_z9783540823681
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3943
_9103384
856 4 0 _uhttps://doi.org/10.1007/11751113
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c88257
_d88257