1
Published 2006
Table of Contents: ... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...Keynote 2 -- Modeling the Internet -- Transformation-Based Parallelization of Request-Processing...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... on Object-Oriented Language Engineering for the Post-Java Era: Back to Dynamicity -- Philosophy, Ontology...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... -- Quo Vadis Explicit-State Model Checking -- The Dos and Dont’s of Crowdsourcing Software Development...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Processes -- Automatic Conformance Testing of Web Services -- Graph Grammars and Graph Transformations...
View full text
Electronic eBook