Sommario: Rapid Integration of Software Engineering Techniques

Salvato in:

Dettagli Bibliografici
Ente Autore:	SpringerLink (Online service)
Altri autori:	Guelfi, Nicolas. (Redattore, http://id.loc.gov/vocabulary/relators/edt)
Natura:	Elettronico eBook
Lingua:	English
Pubblicazione:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edizione:	1st ed. 2005.
Serie:	Programming and Software Engineering ; 3475
Soggetti:	Software engineering. Computer logic. Management information systems. Computer science. Software Engineering. Logics and Meanings of Programs. Management of Computing and Information Systems.
Accesso online:	https://doi.org/10.1007/b136153
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

Sommario:

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.