1
Published 2008
Table of Contents: ...-Related Applications -- Symbolic Analysis for Increased Program Execution Performance....
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Transformation from OWL to Ecore -- Transforming Process Models: Executable Rewrite Rules versus a Formalized...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Creation of Processes in MPI-2 -- Object-Oriented Message Passing -- Non-blocking Java Communications...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ...: A Java Bytecode Checker Based on Moped -- Java-MOP: A Monitoring Oriented Programming Environment...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ...Part: Keynote -- Software Quality Assurance by Static Program Analysis -- Part: Software Process...
View full text
Electronic eBook