Formal Methods for Components and Objects - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540921875, 9783540921882
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode

2008 ◽  
pp. 113-132 ◽  
Author(s):  
Elvira Albert ◽  
Puri Arenas ◽  
Samir Genaim ◽  
German Puebla ◽  
Damiano Zanardini
Keyword(s):  
Design And Implementation ◽  
Java Bytecode

scholarly journals Certification Using the Mobius Base Logic

2008 ◽  
pp. 25-51 ◽  
Author(s):  
Lennart Beringer ◽  
Martin Hofmann ◽  
Mariela Pavlova
Keyword(s):  
Base Logic

The MOBIUS Proof Carrying Code Infrastructure

2008 ◽  
pp. 1-24 ◽  
Author(s):  
Gilles Barthe ◽  
Pierre Crégut ◽  
Benjamin Grégoire ◽  
Thomas Jensen ◽  
David Pichardie

An Object-Oriented Component Model for Heterogeneous Nets

2008 ◽  
pp. 257-279 ◽  
Author(s):  
Einar Broch Johnsen ◽  
Olaf Owe ◽  
Joakim Bjørk ◽  
Marcel Kyas
Keyword(s):  
Object Oriented ◽  
Component Model

Multiple Viewpoint Contract-Based Specification and Design

2008 ◽  
pp. 200-225 ◽  
Author(s):  
Albert Benveniste ◽  
Benoît Caillaud ◽  
Alberto Ferrari ◽  
Leonardo Mangeruca ◽  
Roberto Passerone ◽  
...  

Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project

2008 ◽  
pp. 153-178 ◽  
Author(s):  
Peter Van Roy ◽  
Seif Haridi ◽  
Alexander Reinefeld ◽  
Jean-Bernard Stefani ◽  
Roland Yap ◽  
...  
Keyword(s):  
Distributed Systems ◽  
Large Scale ◽  
Self Management

Universe Types for Topology and Encapsulation

2008 ◽  
pp. 72-112 ◽  
Author(s):  
Dave Cunningham ◽  
Werner Dietl ◽  
Sophia Drossopoulou ◽  
Adrian Francalanza ◽  
Peter Müller ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document