Rapid Integration of Software Engineering Techniques [electronic resource] :First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers / edited by Nicolas Guelfi.
by Guelfi, Nicolas [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 3475Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Description: X, 145 p. Also available online. online resource.ISBN: 9783540320395.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 |
Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language -- Towards a Methodology for Component-Driven Design -- Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification -- A Symbolic Model Checker for tccp Programs -- A Methodology and a Framework for Model-Based Testing -- An Exception Monitoring System for Java -- Distributed Exception Handling: Ideas, Lessons and Issues with Recent Exception Handling Systems -- A Model Based Approach to Design Applications for Network Processor -- A MOF-Based Metamodel for SA/RT -- Modelling SystemC Process Behavior by the UML Method State Machines -- My Favorite Editor Anywhere -- Invited Paper -- Combining System Development and System Test in a Model-Centric Approach.
This book constitutes the thoroughly refereed postproceedings of the First International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2004, held in Luxembourg-Kirchberg, Luxembourg in November 2004. The 12 revised full papers presented together with an invited paper went through two rounds of reviewing and improvement and were selected from 28 initial submissions. Among the topics addressed are software architecture, software process, component-driven design, dynamic service verification, model checking, model-based testing, exception handling, metamodeling, UML, state machines, and model-centric development.
There are no comments for this item.