From high level specification to executable code: Specification, refinement, and implementation of a survivable and consistent data service for dynamic networks - ProQuest

Skip to main content

Document Preview

Copyright information

Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.

Access to the complete full text

This is a short preview of the document. Your library or institution may give you access to the complete full text for this document in ProQuest.

Explore ProQuest

Alternatively, you can purchase a copy of the complete full text for this document directly from ProQuest using the option below:

From high level specification to executable code: Specification, refinement, and implementation of a survivable and consistent data service for dynamic networks

Musial, Peter M. University of Connecticut ProQuest Dissertations & Theses, 2006. 3269493.