Matches in SemOpenAlex for { <https://semopenalex.org/work/W2368354383> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2368354383 abstract "Object-Z is a formal specification language with object-oriented extensions to Z,thus it has object-oriented characteristics. Behavioral subtyping inheritance is one kind of subtype inheritance.Subtype object holds the behaviors and properties of its superclass objects and the verified formal specification need not be verified again when behavioral subtype object substitutes for its superclass object.This paper defines behavioral subtyping inheritance for Object-Z.Especially,we present an approach to implementing behavioral subtyping inheritance and generating relevant proof obligations for Object-Z specification systemically.These proof obligations aim to give a justification whether the formal specification self is non-conflictive and whether the specification is developed according to the method of behavioral subtyping inheritance.Finally,we make use of the theorem prover Z/EVES to analyze and verify the proof obligations." @default.
- W2368354383 created "2016-06-24" @default.
- W2368354383 creator A5089198064 @default.
- W2368354383 date "2009-01-01" @default.
- W2368354383 modified "2023-09-26" @default.
- W2368354383 title "Checking Behavioral Subtyping Inheritance for Object-Z Specification via Generating Proof Obligation" @default.
- W2368354383 hasPublicationYear "2009" @default.
- W2368354383 type Work @default.
- W2368354383 sameAs 2368354383 @default.
- W2368354383 citedByCount "0" @default.
- W2368354383 crossrefType "journal-article" @default.
- W2368354383 hasAuthorship W2368354383A5089198064 @default.
- W2368354383 hasConcept C104317684 @default.
- W2368354383 hasConcept C116253237 @default.
- W2368354383 hasConcept C154945302 @default.
- W2368354383 hasConcept C185592680 @default.
- W2368354383 hasConcept C199360897 @default.
- W2368354383 hasConcept C201677973 @default.
- W2368354383 hasConcept C206880738 @default.
- W2368354383 hasConcept C2780902518 @default.
- W2368354383 hasConcept C2781238097 @default.
- W2368354383 hasConcept C41008148 @default.
- W2368354383 hasConcept C55493867 @default.
- W2368354383 hasConcept C73752529 @default.
- W2368354383 hasConcept C80444323 @default.
- W2368354383 hasConcept C83852419 @default.
- W2368354383 hasConceptScore W2368354383C104317684 @default.
- W2368354383 hasConceptScore W2368354383C116253237 @default.
- W2368354383 hasConceptScore W2368354383C154945302 @default.
- W2368354383 hasConceptScore W2368354383C185592680 @default.
- W2368354383 hasConceptScore W2368354383C199360897 @default.
- W2368354383 hasConceptScore W2368354383C201677973 @default.
- W2368354383 hasConceptScore W2368354383C206880738 @default.
- W2368354383 hasConceptScore W2368354383C2780902518 @default.
- W2368354383 hasConceptScore W2368354383C2781238097 @default.
- W2368354383 hasConceptScore W2368354383C41008148 @default.
- W2368354383 hasConceptScore W2368354383C55493867 @default.
- W2368354383 hasConceptScore W2368354383C73752529 @default.
- W2368354383 hasConceptScore W2368354383C80444323 @default.
- W2368354383 hasConceptScore W2368354383C83852419 @default.
- W2368354383 hasLocation W23683543831 @default.
- W2368354383 hasOpenAccess W2368354383 @default.
- W2368354383 hasPrimaryLocation W23683543831 @default.
- W2368354383 hasRelatedWork W106319670 @default.
- W2368354383 hasRelatedWork W116227192 @default.
- W2368354383 hasRelatedWork W1579696352 @default.
- W2368354383 hasRelatedWork W1583103249 @default.
- W2368354383 hasRelatedWork W1595367879 @default.
- W2368354383 hasRelatedWork W1989872709 @default.
- W2368354383 hasRelatedWork W2044955460 @default.
- W2368354383 hasRelatedWork W2075091218 @default.
- W2368354383 hasRelatedWork W2542063192 @default.
- W2368354383 hasRelatedWork W2612615456 @default.
- W2368354383 hasRelatedWork W2756101299 @default.
- W2368354383 hasRelatedWork W2758278418 @default.
- W2368354383 hasRelatedWork W2802859609 @default.
- W2368354383 hasRelatedWork W2949586550 @default.
- W2368354383 hasRelatedWork W2974020630 @default.
- W2368354383 hasRelatedWork W3018492106 @default.
- W2368354383 hasRelatedWork W3157055525 @default.
- W2368354383 hasRelatedWork W55580938 @default.
- W2368354383 hasRelatedWork W70766526 @default.
- W2368354383 hasRelatedWork W9154768 @default.
- W2368354383 isParatext "false" @default.
- W2368354383 isRetracted "false" @default.
- W2368354383 magId "2368354383" @default.
- W2368354383 workType "article" @default.