Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs evolution » program evolution, programs evaluation, programme evolution
evolution tutorial » evolution pictorial, evolution social, evolution theories
processing java » processing japan, processing james, processing j
tutorial https » tutorial atas, tutorial attacks
java programs » java programming
programs evolution » program evolution, programs evaluation, programme evolution
evolution tutorial » evolution pictorial, evolution social, evolution theories
processing java » processing japan, processing james, processing j
tutorial https » tutorial atas, tutorial attacks
java programs » java programming
1
Published 2005
Table of Contents:
“...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...Tutorials -- A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite -- Model Driven...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook



