Koha online

Your cart is empty.
Normal view MARC view ISBD view

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: materialTypeLabelBookSeries: 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
Contents:
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.
In: Springer eBooksSummary: 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.
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)

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.

Log in to your account to post a comment.
@ Jomo Kenyatta University Of Agriculture and Technology Library

Powered by Koha