Loading...
Please wait, while we are loading the content...
Similar Documents
Refactoring Object-Oriented Specifications: A Process for Deriving Designs
| Content Provider | Semantic Scholar |
|---|---|
| Author | McComb, Tim Smith, Graeme |
| Copyright Year | 2006 |
| Abstract | We describe a set of rules for the systematic structural modification of Object-Z specifications to derive designs that are appropriate for implementation in an object-oriented programming language. Such a methodology is important for systems that are sufficiently large to warrant the object-oriented programming approach, but additionally require development under strict verification conditions. We demonstrate that these rules are complete in the sense that from any specification that does not contain unbounded recursive constructs, any design may be derived which represents a refinement of the original and also does not contain unbounded recursive constructs. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://espace.library.uq.edu.au/data/UQ_8401/objectzdesign.pdf?Expires=1546059688&Key-Pair-Id=APKAJKNBJ4MJBJNC6NLQ&Signature=UeCinDUPOUKs~l0yOIQHlfCQt8cBUU~4G8Qo4ObEGwNfec2yeSBl54uozZXF3xXzlKDqqR95wVMt8W0JK0itiQe1sx~~UYkg2Mm49wubDO31KaOz9PE1Uo3BEXyPyYfMIl7svph2h67UT3AQORzuMKc9swkEPBeH7nE6OzEhx2NIxc0aSNCspGP9V8mZmAzff4W0Cmt98hrdg~EIBz-HEe3W0tzXhbR1sZwiHhBGRoKV6~iUnyAOJK6FJxK98j7Fc069cpP75ZFpePjMughG9yty7e7EYhY9ggzmCjvSQAveHkSntYleQhvjhfGmzHPqsbIgsGVivDnheOSus1Fjew__ |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |