Inhaltsangabe: Rapid Integration of Software Engineering Techniques

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	SpringerLink (Online service)
Weitere Verfasser:	Guelfi, Nicolas. (HerausgeberIn, http://id.loc.gov/vocabulary/relators/edt)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Ausgabe:	1st ed. 2005.
Schriftenreihe:	Programming and Software Engineering ; 3475
Schlagworte:	Software engineering. Computer logic. Management information systems. Computer science. Software Engineering. Logics and Meanings of Programs. Management of Computing and Information Systems.
Online Zugang:	https://doi.org/10.1007/b136153
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Inhaltsangabe:

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.