1
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Refinement Method for Java Programs -- Refactoring Object-Oriented Specifications with Data and Processes...

2
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Refinement -- A Fully Abstract Semantics for UML Components -- From (Meta) Objects to Aspects: A Java...

3
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... of Security and Behaviour of Java Applications -- Towards a Formal Framework for Computational Trust -- Models...

4
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... and Encapsulation -- COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode...

5
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... of Java Byte Code -- Incremental System Modelling in Event-B -- The GRIDCOMP Project -- An Asynchronous...

6
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Based Control Code Algebras -- Exploiting Abstraction for Specification Reuse. The Java/C# Case Study...

7
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Components -- Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 -- Boogie: A...

8
Published 2010
Springer Berlin Heidelberg
... of existing programming languages like Java. This state-of-the-art survey presents the outcome of the 8th...

9
Published 2013
Springer Berlin Heidelberg
... like Java. This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods...

10
Published 2012
Springer Berlin Heidelberg
..., and their implementation in new extensions of existing programming languages like Java. This state-of-the-art survey...