Search for dissertations about: "Guy Davies"
Found 1 swedish dissertation containing the words Guy Davies.
-
1. Mapping and integration of schema representations of component specefications
Abstract : Specification for process oriented applications tends to use languages that suffer from infinite, intractable or unpredictably irregular state spaces that thwart exhaustive searches by verification heuristics. However, conceptual schemas based on FOL, offer techniques for both integrating and verifying specifications in finite spaces. READ MORE
Result pages:
1