000 04592nam a22005175i 4500
001 978-3-540-71876-5
003 DE-He213
005 20160624102105.0
007 cr nn 008mamaa
008 100301s2007 gw | s |||| 0|eng d
020 _a9783540718765
_9978-3-540-71876-5
024 7 _a10.1007/978-3-540-71876-5
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aRapid Integration of Software Engineering Techniques
_h[electronic resource] :
_bThird International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers /
_cedited by Nicolas Guelfi, Didier Buchs.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2007.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2007.
300 _aIX, 177p. Also available online.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v4401
505 0 _aGraphical Composition of Grid Services -- A UML 2.0 Profile for Architecting B3G Applications -- RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation -- Trust Strategies and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management Domain -- Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS -- Architectural Verification of Black-Box Component-Based Systems -- Systematic Generation of XML Instances to Test Complex Software Applications -- Transformations of UML 2 Models Using Concrete Syntax Patterns -- Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping -- SketchiXML: A Design Tool for Informal User Interface Rapid Prototyping.
520 _aRISE 2006 constituted an international forum for researchers and practitioners interestedintheadvancementandrapidapplicationofnovel,integrated,orpr- ticalsoftwareengineeringapproaches,beingpartofamethodologicalframework, that apply to the development of either new or evolving applications and s- tems. It provided a good opportunity to present and discuss the latest research results and ideas in the rapid and e?ective integration of software engineering techniques. The ERCIM (European Research Consortium for Informatics and Mathematics) RISE working group selected application areas such as the Web, mobility, high availability, and embedded and user-interface software in speci?c industry sectors comprising ?nance, telecommunications, transportation (avi- ics, automotive) and eGovernment. The research issues covered stemmed from the following software engineering domains: – 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 – software patterns – design by contract – defensive programming – software entropy and software re-factoring – extreme programming – agile software development – programming languages – software dependability and trustworthiness All papers submitted to this workshop were reviewed by at least two m- bers of the International Program Committee. Acceptance was based primarily on originality and contribution. We have selected, for these proceedings, 10 - pers amongst 30 submitted and an invited paper. The organization of such a workshop requires a lot of work.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aLogic design.
650 0 _aInformation Systems.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aManagement of Computing and Information Systems.
700 1 _aGuelfi, Nicolas.
_eeditor.
700 1 _aBuchs, Didier.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540718758
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v4401
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-540-71876-5
942 _2EBK7550
_cEBK
999 _c36844
_d36844