Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
execution tutorial » evolution tutorial, execution social, solution tutorial
program execution » program evaluation, process execution, project execution
processing java » processing japan, processing james, processing j
tutorial https » tutorial atas, tutorial attacks
java program » java programs, a program, java programming
execution tutorial » evolution tutorial, execution social, solution tutorial
program execution » program evaluation, process execution, project execution
processing java » processing japan, processing james, processing j
tutorial https » tutorial atas, tutorial attacks
java program » java programs, a program, java programming
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



