Tabla de Contenidos: Rapid Integration of Software Engineering Techniques

Guardado en:

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Guelfi, Nicolas. (Editor , http://id.loc.gov/vocabulary/relators/edt)
Formato:	Electrónico eBook
Lenguaje:	English
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:	1st ed. 2005.
Series:	Programming and Software Engineering ; 3475
Materias:	Software engineering. Computer logic. Management information systems. Computer science. Software Engineering. Logics and Meanings of Programs. Management of Computing and Information Systems.
Acceso en línea:	https://doi.org/10.1007/b136153
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Tabla de Contenidos:

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.