Rapid Integration of Software Engineering Techniques [electronic resource] :Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers / edited by Nicolas Guelfi, Didier Buchs.
by Guelfi, Nicolas [editor.]; Buchs, Didier [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 4401Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Description: IX, 177p. Also available online. online resource.ISBN: 9783540718765.Subject(s): Computer science | Software engineering | Logic design | Information Systems | Computer Science | Software Engineering | Logics and Meanings of Programs | Management of Computing and Information SystemsDDC classification: 005.1 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA76.758 (Browse shelf) | Available |
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 -- SketchiXML: A Design Tool for Informal User Interface Rapid Prototyping.
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.
There are no comments for this item.