Cover Image
Read Now

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

2
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... and Encapsulation -- COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Refinement -- A Fully Abstract Semantics for UML Components -- From (Meta) Objects to Aspects: A Java...”
Cover Image
Read Now

4
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... of Security and Behaviour of Java Applications -- Towards a Formal Framework for Computational Trust -- Models...”
Cover Image
Read Now

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

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

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

8
Published 2010
Springer Berlin Heidelberg
“... of existing programming languages like Java. This state-of-the-art survey presents the outcome of the 8th...”
Cover Image
Read Now

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

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