Matches in SemOpenAlex for { <https://semopenalex.org/work/W2802955172> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2802955172 abstract "The work presented in this thesis is concerned with the issues involved in writing and demonstrating formal specifications of information systems written in Z. The use of Z in software development, to enhance productivity and improve software quality, is not without its problems. Whilst the notation itself is highly developed, ways of systematically using Z to create specifications are, by contrast, poorly documented. Also, given that most commissioners of software are not skilled in reading Z, ways of demonstrating the important features of a formal Z specification to a customer are needed if the effective validation of the specification against user requirements is to take place. In this thesis we present a systematic approach, known as OPERATOR, for developing Z specifications and evaluate it against the issues identified for writing formal specifications. We also look at various ways of demonstrating Z specifications. We describe how Z specifications may be animated using Crystal, but go on to present a prototype CASE tool, known as Zappa, that may be used to create and demonstrate faithful animations of Z specifications. The thesis starts with a thorough review of software engineering and of the development and rise of formal methods. The development of the OPERATOR approach is then given along with a review of animation, a description of the Crystal technique, and the development of the CASE tool Zappa. An evaluation of the research against the stated aims is presented and areas where future research is needed are pointed out." @default.
- W2802955172 created "2018-05-17" @default.
- W2802955172 creator A5090158188 @default.
- W2802955172 date "1996-01-01" @default.
- W2802955172 modified "2023-09-23" @default.
- W2802955172 title "Writing and animating Z specifications" @default.
- W2802955172 hasPublicationYear "1996" @default.
- W2802955172 type Work @default.
- W2802955172 sameAs 2802955172 @default.
- W2802955172 citedByCount "0" @default.
- W2802955172 crossrefType "dissertation" @default.
- W2802955172 hasAuthorship W2802955172A5090158188 @default.
- W2802955172 hasConcept C102780508 @default.
- W2802955172 hasConcept C111472728 @default.
- W2802955172 hasConcept C115903868 @default.
- W2802955172 hasConcept C116253237 @default.
- W2802955172 hasConcept C121684516 @default.
- W2802955172 hasConcept C138885662 @default.
- W2802955172 hasConcept C186846655 @default.
- W2802955172 hasConcept C199360897 @default.
- W2802955172 hasConcept C2777904410 @default.
- W2802955172 hasConcept C2779530757 @default.
- W2802955172 hasConcept C33923547 @default.
- W2802955172 hasConcept C41008148 @default.
- W2802955172 hasConcept C45357846 @default.
- W2802955172 hasConcept C502989409 @default.
- W2802955172 hasConcept C529173508 @default.
- W2802955172 hasConcept C75606506 @default.
- W2802955172 hasConcept C94375191 @default.
- W2802955172 hasConceptScore W2802955172C102780508 @default.
- W2802955172 hasConceptScore W2802955172C111472728 @default.
- W2802955172 hasConceptScore W2802955172C115903868 @default.
- W2802955172 hasConceptScore W2802955172C116253237 @default.
- W2802955172 hasConceptScore W2802955172C121684516 @default.
- W2802955172 hasConceptScore W2802955172C138885662 @default.
- W2802955172 hasConceptScore W2802955172C186846655 @default.
- W2802955172 hasConceptScore W2802955172C199360897 @default.
- W2802955172 hasConceptScore W2802955172C2777904410 @default.
- W2802955172 hasConceptScore W2802955172C2779530757 @default.
- W2802955172 hasConceptScore W2802955172C33923547 @default.
- W2802955172 hasConceptScore W2802955172C41008148 @default.
- W2802955172 hasConceptScore W2802955172C45357846 @default.
- W2802955172 hasConceptScore W2802955172C502989409 @default.
- W2802955172 hasConceptScore W2802955172C529173508 @default.
- W2802955172 hasConceptScore W2802955172C75606506 @default.
- W2802955172 hasConceptScore W2802955172C94375191 @default.
- W2802955172 hasLocation W28029551721 @default.
- W2802955172 hasOpenAccess W2802955172 @default.
- W2802955172 hasPrimaryLocation W28029551721 @default.
- W2802955172 hasRelatedWork W132027371 @default.
- W2802955172 hasRelatedWork W1647954783 @default.
- W2802955172 hasRelatedWork W1865621670 @default.
- W2802955172 hasRelatedWork W2001159254 @default.
- W2802955172 hasRelatedWork W2207441058 @default.
- W2802955172 hasRelatedWork W2399272228 @default.
- W2802955172 hasRelatedWork W2488787889 @default.
- W2802955172 hasRelatedWork W2581615414 @default.
- W2802955172 hasRelatedWork W2776037455 @default.
- W2802955172 hasRelatedWork W2889605435 @default.
- W2802955172 hasRelatedWork W2952940507 @default.
- W2802955172 hasRelatedWork W3165794402 @default.
- W2802955172 hasRelatedWork W321345172 @default.
- W2802955172 hasRelatedWork W39444670 @default.
- W2802955172 hasRelatedWork W81930427 @default.
- W2802955172 hasRelatedWork W846210926 @default.
- W2802955172 hasRelatedWork W2182435675 @default.
- W2802955172 hasRelatedWork W2183370959 @default.
- W2802955172 hasRelatedWork W2741156842 @default.
- W2802955172 hasRelatedWork W2786526125 @default.
- W2802955172 isParatext "false" @default.
- W2802955172 isRetracted "false" @default.
- W2802955172 magId "2802955172" @default.
- W2802955172 workType "dissertation" @default.