Formal Methods for Open Object-Based Distributed Systems
Saved in:
| Title: | Formal Methods for Open Object-Based Distributed Systems |
|---|---|
| Description: | 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, June 2007. The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service. |
| Authors: | Marcello M. Bonsangue, Einar Broch Johnsen |
| Resource Type: | eBook. |
| Subjects: | Electronic data processing--Distributed processing--Congresses, Object-oriented programming (Computer science)--Congresses |
| Categories: | COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Operating Systems / General, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General |
| Database: | eBook Index |
| Abstract: | 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, June 2007. The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service. |
|---|---|
| ISBN: | 9783540729198 9783540729525 |