Matches in SemOpenAlex for { <https://semopenalex.org/work/W2375611181> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2375611181 abstract "The specification phase is of great importance to the whole process of the software development. This paper put forward a formal method of software specification and a set of mathematics models,which is based on UML and the program semantics of predicate transformer.With the advantage of both UML and formal specification, Application of the method in this paper can be easily expressed and understood together with the mathematic rigorism." @default.
- W2375611181 created "2016-06-24" @default.
- W2375611181 creator A5013998445 @default.
- W2375611181 date "2004-01-01" @default.
- W2375611181 modified "2023-09-26" @default.
- W2375611181 title "The study of formal specification based on UML" @default.
- W2375611181 hasPublicationYear "2004" @default.
- W2375611181 type Work @default.
- W2375611181 sameAs 2375611181 @default.
- W2375611181 citedByCount "0" @default.
- W2375611181 crossrefType "journal-article" @default.
- W2375611181 hasAuthorship W2375611181A5013998445 @default.
- W2375611181 hasConcept C115903868 @default.
- W2375611181 hasConcept C116253237 @default.
- W2375611181 hasConcept C145644426 @default.
- W2375611181 hasConcept C146939238 @default.
- W2375611181 hasConcept C199360897 @default.
- W2375611181 hasConcept C2777904410 @default.
- W2375611181 hasConcept C41008148 @default.
- W2375611181 hasConcept C41298492 @default.
- W2375611181 hasConcept C75606506 @default.
- W2375611181 hasConcept C90069079 @default.
- W2375611181 hasConceptScore W2375611181C115903868 @default.
- W2375611181 hasConceptScore W2375611181C116253237 @default.
- W2375611181 hasConceptScore W2375611181C145644426 @default.
- W2375611181 hasConceptScore W2375611181C146939238 @default.
- W2375611181 hasConceptScore W2375611181C199360897 @default.
- W2375611181 hasConceptScore W2375611181C2777904410 @default.
- W2375611181 hasConceptScore W2375611181C41008148 @default.
- W2375611181 hasConceptScore W2375611181C41298492 @default.
- W2375611181 hasConceptScore W2375611181C75606506 @default.
- W2375611181 hasConceptScore W2375611181C90069079 @default.
- W2375611181 hasLocation W23756111811 @default.
- W2375611181 hasOpenAccess W2375611181 @default.
- W2375611181 hasPrimaryLocation W23756111811 @default.
- W2375611181 hasRelatedWork W1551156974 @default.
- W2375611181 hasRelatedWork W1626513099 @default.
- W2375611181 hasRelatedWork W1891110222 @default.
- W2375611181 hasRelatedWork W1945016844 @default.
- W2375611181 hasRelatedWork W1977943086 @default.
- W2375611181 hasRelatedWork W2028340709 @default.
- W2375611181 hasRelatedWork W2076043313 @default.
- W2375611181 hasRelatedWork W2099590434 @default.
- W2375611181 hasRelatedWork W2112144052 @default.
- W2375611181 hasRelatedWork W2135928555 @default.
- W2375611181 hasRelatedWork W2170958024 @default.
- W2375611181 hasRelatedWork W2347712418 @default.
- W2375611181 hasRelatedWork W2369133407 @default.
- W2375611181 hasRelatedWork W2379674920 @default.
- W2375611181 hasRelatedWork W2921438158 @default.
- W2375611181 hasRelatedWork W2930651717 @default.
- W2375611181 hasRelatedWork W3101352210 @default.
- W2375611181 hasRelatedWork W60292133 @default.
- W2375611181 hasRelatedWork W2301664437 @default.
- W2375611181 isParatext "false" @default.
- W2375611181 isRetracted "false" @default.
- W2375611181 magId "2375611181" @default.
- W2375611181 workType "article" @default.