Matches in SemOpenAlex for { <https://semopenalex.org/work/W1588024905> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1588024905 endingPage "316" @default.
- W1588024905 startingPage "309" @default.
- W1588024905 abstract "SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate data flow diagram (PDFD). In order to eliminate the ambiguity of predicate data flow diagrams and their associated textual specifications, a formalization of the syntax and semantics of predicate data flow diagrams is necessary. In this paper we use Z notation to define an abstract syntax and the related structural constraints for the PDFD notation, and provide it with an axiomatic semantics based on the concept of data availability and functionality of predicate operation. Finally, an example is given to establish functionality consistent decomposition on hierarchical PDFD (HPDFD)." @default.
- W1588024905 created "2016-06-24" @default.
- W1588024905 creator A5015613660 @default.
- W1588024905 creator A5084635685 @default.
- W1588024905 creator A5085577258 @default.
- W1588024905 date "2004-01-01" @default.
- W1588024905 modified "2023-09-28" @default.
- W1588024905 title "Functionality Semantics of Predicate Data Flow Diagram" @default.
- W1588024905 hasPublicationYear "2004" @default.
- W1588024905 type Work @default.
- W1588024905 sameAs 1588024905 @default.
- W1588024905 citedByCount "0" @default.
- W1588024905 crossrefType "journal-article" @default.
- W1588024905 hasAuthorship W1588024905A5015613660 @default.
- W1588024905 hasAuthorship W1588024905A5084635685 @default.
- W1588024905 hasAuthorship W1588024905A5085577258 @default.
- W1588024905 hasConcept C114408938 @default.
- W1588024905 hasConcept C140146324 @default.
- W1588024905 hasConcept C184337299 @default.
- W1588024905 hasConcept C199360897 @default.
- W1588024905 hasConcept C204321447 @default.
- W1588024905 hasConcept C33923547 @default.
- W1588024905 hasConcept C41008148 @default.
- W1588024905 hasConcept C45357846 @default.
- W1588024905 hasConcept C489000 @default.
- W1588024905 hasConcept C60048249 @default.
- W1588024905 hasConcept C77088390 @default.
- W1588024905 hasConcept C94375191 @default.
- W1588024905 hasConceptScore W1588024905C114408938 @default.
- W1588024905 hasConceptScore W1588024905C140146324 @default.
- W1588024905 hasConceptScore W1588024905C184337299 @default.
- W1588024905 hasConceptScore W1588024905C199360897 @default.
- W1588024905 hasConceptScore W1588024905C204321447 @default.
- W1588024905 hasConceptScore W1588024905C33923547 @default.
- W1588024905 hasConceptScore W1588024905C41008148 @default.
- W1588024905 hasConceptScore W1588024905C45357846 @default.
- W1588024905 hasConceptScore W1588024905C489000 @default.
- W1588024905 hasConceptScore W1588024905C60048249 @default.
- W1588024905 hasConceptScore W1588024905C77088390 @default.
- W1588024905 hasConceptScore W1588024905C94375191 @default.
- W1588024905 hasIssue "3" @default.
- W1588024905 hasLocation W15880249051 @default.
- W1588024905 hasOpenAccess W1588024905 @default.
- W1588024905 hasPrimaryLocation W15880249051 @default.
- W1588024905 hasRelatedWork W1487472891 @default.
- W1588024905 hasRelatedWork W1492764525 @default.
- W1588024905 hasRelatedWork W1557083228 @default.
- W1588024905 hasRelatedWork W1563695504 @default.
- W1588024905 hasRelatedWork W1579362459 @default.
- W1588024905 hasRelatedWork W1581587967 @default.
- W1588024905 hasRelatedWork W1600196985 @default.
- W1588024905 hasRelatedWork W1781980687 @default.
- W1588024905 hasRelatedWork W2028578922 @default.
- W1588024905 hasRelatedWork W2084087973 @default.
- W1588024905 hasRelatedWork W2149952006 @default.
- W1588024905 hasRelatedWork W2157449911 @default.
- W1588024905 hasRelatedWork W2162713269 @default.
- W1588024905 hasRelatedWork W2496281881 @default.
- W1588024905 hasRelatedWork W2524005430 @default.
- W1588024905 hasRelatedWork W2950769399 @default.
- W1588024905 hasRelatedWork W2951337749 @default.
- W1588024905 hasRelatedWork W3080738570 @default.
- W1588024905 hasRelatedWork W3131606174 @default.
- W1588024905 hasRelatedWork W3141773774 @default.
- W1588024905 hasVolume "8" @default.
- W1588024905 isParatext "false" @default.
- W1588024905 isRetracted "false" @default.
- W1588024905 magId "1588024905" @default.
- W1588024905 workType "article" @default.