书本目录: Rapid Integration of Software Engineering Techniques

Saved in:

书目详细资料
企业作者:	SpringerLink (Online service)
其他作者:	Guelfi, Nicolas. (Editor, http://id.loc.gov/vocabulary/relators/edt)
格式:	电子电子书
语言:	English
出版:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
版:	1st ed. 2005.
丛编:	Programming and Software Engineering ; 3475
主题:	Software engineering. Computer logic. Management information systems. Computer science. Software Engineering. Logics and Meanings of Programs. Management of Computing and Information Systems.
在线阅读:	https://doi.org/10.1007/b136153
标签:	添加标签没有标签, 成为第一个标记此记录!

书本目录:

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.