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
|
|
COMPUTERS -- Programming -- Open Source.
|
|
COMPUTERS -- Software Development & Engineering -- Tools.
|
|
COMPUTERS -- Software Development & Engineering -- General.
|
|
Informatique.
|
|
Computer software
|
|
Integrated software
|
|
Software engineering
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Guelfi, Nicolas, 1965-
|
|
Buchs, Didier.
|
ISBN |
9783540718765 |
|
3540718761 |
|
9786610865642 |
|
6610865647 |
|