Limit search to available items
Book Cover
Author RISE 2006 (2006 : Geneva, Switzerland)

Title Rapid integration of software engineering techniques : third international workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006 ; revised selected papers / Nicolas Guelfi, Didier Buchs (eds.)
Published Berlin ; New York : Springer, [2007]
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (viii, 176 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 4401
Lecture notes in computer science ; 4401. 0302-9743
Contents Cover -- Table of Contents -- Graphical 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 -- Invited Paper -- SketchiXML: A Design Tool for Informal User Interface Rapid Prototyping -- Author Index -- Last Page
Summary This book constitutes the thoroughly refereed postproceedings of the Third International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2006, held in Geneva, Switzerland, in September 2006. The 10 revised full papers presented together with 1 invited paper went through two rounds of reviewing and improvement and were selected from 30 initial submissions. The papers cover a wide spectrum in software engineering with topics such as 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, as well as software dependability and trustworthiness
Bibliography Includes bibliographical references and author index
Notes Print version record
Subject Software engineering -- Congresses.
Computer software -- Congresses.
Integrated software -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Guelfi, Nicolas, 1965-
Buchs, Didier.
LC no. 2007923956
ISBN 9783540718765
Other Titles RISE 2006