Cover Image
Read Now

1
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

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 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

4
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

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