Formal Methods for Open Object-Based Distributed Systems
7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Martin Steffen
Themen in »Formal Methods for Open Object-Based Distributed Systems«
UML Unified Modeling Language (UML) distributed systems formal method formal security analysis formal specification java logic modeling modelling languages object oriented design object-based technology security semantics of programming transformations of models
Stimmen zu »Formal Methods for Open Object-Based Distributed Systems«
Details
ISBN: 9783540315568
Verlag: Springer Berlin
Erscheinung: 20.05.2005