Matches in SemOpenAlex for { <https://semopenalex.org/work/W1584643374> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1584643374 abstract "ABSTRACT The use of VDM and Z for teaching formal methods and specification techniques is quite common and has proven to be effective. However students exposed to one of these languages may miss the benefits offered by the other. On the other hand students exposed to both sometimes treat them as very distinct approaches. Since both VDM and Z are based on predicate calculus and the concept of pre and post predicates on states as means of defining the effects of operations we think their introduction can be usefully brought together. In this paper, we explore integrating the use of VDM and Z in the teaching of formal specification methods. The similarities and differences of both methods are discussed. A notation and method allowing the integrated use of VDM and Z is proposed. The unified method is illustrated by an example in the specification of a database system." @default.
- W1584643374 created "2016-06-24" @default.
- W1584643374 creator A5019871255 @default.
- W1584643374 creator A5022187834 @default.
- W1584643374 date "1993-01-01" @default.
- W1584643374 modified "2023-09-25" @default.
- W1584643374 title "Integrating Use of VDM and Z" @default.
- W1584643374 cites W1544087082 @default.
- W1584643374 cites W2120765364 @default.
- W1584643374 cites W2135024913 @default.
- W1584643374 cites W2503442188 @default.
- W1584643374 doi "https://doi.org/10.1016/b978-0-444-81597-2.50019-x" @default.
- W1584643374 hasPublicationYear "1993" @default.
- W1584643374 type Work @default.
- W1584643374 sameAs 1584643374 @default.
- W1584643374 citedByCount "0" @default.
- W1584643374 crossrefType "book-chapter" @default.
- W1584643374 hasAuthorship W1584643374A5019871255 @default.
- W1584643374 hasAuthorship W1584643374A5022187834 @default.
- W1584643374 hasConcept C116253237 @default.
- W1584643374 hasConcept C140146324 @default.
- W1584643374 hasConcept C199360897 @default.
- W1584643374 hasConcept C201677973 @default.
- W1584643374 hasConcept C33923547 @default.
- W1584643374 hasConcept C41008148 @default.
- W1584643374 hasConcept C45357846 @default.
- W1584643374 hasConcept C75606506 @default.
- W1584643374 hasConcept C90069079 @default.
- W1584643374 hasConcept C94375191 @default.
- W1584643374 hasConceptScore W1584643374C116253237 @default.
- W1584643374 hasConceptScore W1584643374C140146324 @default.
- W1584643374 hasConceptScore W1584643374C199360897 @default.
- W1584643374 hasConceptScore W1584643374C201677973 @default.
- W1584643374 hasConceptScore W1584643374C33923547 @default.
- W1584643374 hasConceptScore W1584643374C41008148 @default.
- W1584643374 hasConceptScore W1584643374C45357846 @default.
- W1584643374 hasConceptScore W1584643374C75606506 @default.
- W1584643374 hasConceptScore W1584643374C90069079 @default.
- W1584643374 hasConceptScore W1584643374C94375191 @default.
- W1584643374 hasLocation W15846433741 @default.
- W1584643374 hasOpenAccess W1584643374 @default.
- W1584643374 hasPrimaryLocation W15846433741 @default.
- W1584643374 hasRelatedWork W1014690126 @default.
- W1584643374 hasRelatedWork W1539553861 @default.
- W1584643374 hasRelatedWork W1541336760 @default.
- W1584643374 hasRelatedWork W1577704285 @default.
- W1584643374 hasRelatedWork W1848731686 @default.
- W1584643374 hasRelatedWork W1973695501 @default.
- W1584643374 hasRelatedWork W2076168176 @default.
- W1584643374 hasRelatedWork W2115475187 @default.
- W1584643374 hasRelatedWork W2118793464 @default.
- W1584643374 hasRelatedWork W2124101114 @default.
- W1584643374 hasRelatedWork W2127220690 @default.
- W1584643374 hasRelatedWork W2347363247 @default.
- W1584643374 hasRelatedWork W2407924889 @default.
- W1584643374 hasRelatedWork W2529365243 @default.
- W1584643374 hasRelatedWork W2551987959 @default.
- W1584643374 hasRelatedWork W2936476452 @default.
- W1584643374 hasRelatedWork W345067333 @default.
- W1584643374 hasRelatedWork W387336269 @default.
- W1584643374 hasRelatedWork W93190505 @default.
- W1584643374 hasRelatedWork W2187813363 @default.
- W1584643374 isParatext "false" @default.
- W1584643374 isRetracted "false" @default.
- W1584643374 magId "1584643374" @default.
- W1584643374 workType "book-chapter" @default.