Formal Methods for Open Object-Based Distributed Systems
Publication year: 2007
: 978-3-540-72952-5
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus in June 2007. The papers are organized in topcical sections on model checking rewriting logic components and services algebraic calculi specification, verification and refinenment, and quality of service.
: Computer Science, Ada, Java, Unified Modeling Language (UML), Variable, algorithm, algorithmic skeleton, algorithms, component-based systems, constraint automata, formal language, model checking, model-based design, modeling, object-oriented programming, serv
