Sisällysluettelo: Rapid Integration of Software Engineering Techniques

Tallennettuna:

Bibliografiset tiedot
Yhteisötekijä:	SpringerLink (Online service)
Muut tekijät:	Guelfi, Nicolas. (Toimittaja, http://id.loc.gov/vocabulary/relators/edt)
Aineistotyyppi:	Elektroninen E-kirja
Kieli:	English
Julkaistu:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Painos:	1st ed. 2005.
Sarja:	Programming and Software Engineering ; 3475
Aiheet:	Software engineering. Computer logic. Management information systems. Computer science. Software Engineering. Logics and Meanings of Programs. Management of Computing and Information Systems.
Linkit:	https://doi.org/10.1007/b136153
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Sisällysluettelo:

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.