Matches in SemOpenAlex for { <https://semopenalex.org/work/W1894339932> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1894339932 endingPage "211" @default.
- W1894339932 startingPage "197" @default.
- W1894339932 abstract "In this paper, we consider a way of bridging informal and formal specification. Most projects have a need for an informal description of the requirements of the system which all people involved can understand. At the same time, there is a need to make some of the requirements more formal. We present a way to relate informal requirements, in form of use cases, to more formal specifications, written in the Object Constraint Language (OCL). Our approach gives the customers of software systems a way of guiding the development of formal specifications. Conversely, the formal specification can improve the informal understanding of the system by exposing gaps and ambiguities in the informal specification." @default.
- W1894339932 created "2016-06-24" @default.
- W1894339932 creator A5048803606 @default.
- W1894339932 creator A5074502354 @default.
- W1894339932 date "2004-01-01" @default.
- W1894339932 modified "2023-09-27" @default.
- W1894339932 title "From Informal to Formal Specifications in UML" @default.
- W1894339932 cites W1481248055 @default.
- W1894339932 cites W1515724900 @default.
- W1894339932 cites W1564924296 @default.
- W1894339932 cites W1573154295 @default.
- W1894339932 cites W1597013636 @default.
- W1894339932 cites W2139935886 @default.
- W1894339932 cites W4254354208 @default.
- W1894339932 doi "https://doi.org/10.1007/978-3-540-30187-5_15" @default.
- W1894339932 hasPublicationYear "2004" @default.
- W1894339932 type Work @default.
- W1894339932 sameAs 1894339932 @default.
- W1894339932 citedByCount "20" @default.
- W1894339932 countsByYear W18943399322013 @default.
- W1894339932 countsByYear W18943399322014 @default.
- W1894339932 countsByYear W18943399322015 @default.
- W1894339932 countsByYear W18943399322017 @default.
- W1894339932 countsByYear W18943399322018 @default.
- W1894339932 countsByYear W18943399322019 @default.
- W1894339932 countsByYear W18943399322020 @default.
- W1894339932 crossrefType "book-chapter" @default.
- W1894339932 hasAuthorship W1894339932A5048803606 @default.
- W1894339932 hasAuthorship W1894339932A5074502354 @default.
- W1894339932 hasBestOaLocation W18943399322 @default.
- W1894339932 hasConcept C102780508 @default.
- W1894339932 hasConcept C111498074 @default.
- W1894339932 hasConcept C115903868 @default.
- W1894339932 hasConcept C116253237 @default.
- W1894339932 hasConcept C133264317 @default.
- W1894339932 hasConcept C14331664 @default.
- W1894339932 hasConcept C145644426 @default.
- W1894339932 hasConcept C146072743 @default.
- W1894339932 hasConcept C174348530 @default.
- W1894339932 hasConcept C199360897 @default.
- W1894339932 hasConcept C201677973 @default.
- W1894339932 hasConcept C2777904410 @default.
- W1894339932 hasConcept C38652104 @default.
- W1894339932 hasConcept C41008148 @default.
- W1894339932 hasConcept C41298492 @default.
- W1894339932 hasConcept C52913732 @default.
- W1894339932 hasConcept C529173508 @default.
- W1894339932 hasConcept C75606506 @default.
- W1894339932 hasConcept C90069079 @default.
- W1894339932 hasConceptScore W1894339932C102780508 @default.
- W1894339932 hasConceptScore W1894339932C111498074 @default.
- W1894339932 hasConceptScore W1894339932C115903868 @default.
- W1894339932 hasConceptScore W1894339932C116253237 @default.
- W1894339932 hasConceptScore W1894339932C133264317 @default.
- W1894339932 hasConceptScore W1894339932C14331664 @default.
- W1894339932 hasConceptScore W1894339932C145644426 @default.
- W1894339932 hasConceptScore W1894339932C146072743 @default.
- W1894339932 hasConceptScore W1894339932C174348530 @default.
- W1894339932 hasConceptScore W1894339932C199360897 @default.
- W1894339932 hasConceptScore W1894339932C201677973 @default.
- W1894339932 hasConceptScore W1894339932C2777904410 @default.
- W1894339932 hasConceptScore W1894339932C38652104 @default.
- W1894339932 hasConceptScore W1894339932C41008148 @default.
- W1894339932 hasConceptScore W1894339932C41298492 @default.
- W1894339932 hasConceptScore W1894339932C52913732 @default.
- W1894339932 hasConceptScore W1894339932C529173508 @default.
- W1894339932 hasConceptScore W1894339932C75606506 @default.
- W1894339932 hasConceptScore W1894339932C90069079 @default.
- W1894339932 hasLocation W18943399321 @default.
- W1894339932 hasLocation W18943399322 @default.
- W1894339932 hasOpenAccess W1894339932 @default.
- W1894339932 hasPrimaryLocation W18943399321 @default.
- W1894339932 hasRelatedWork W1520778375 @default.
- W1894339932 hasRelatedWork W2100294651 @default.
- W1894339932 hasRelatedWork W2145025660 @default.
- W1894339932 hasRelatedWork W2156223462 @default.
- W1894339932 hasRelatedWork W2171674700 @default.
- W1894339932 hasRelatedWork W2204176978 @default.
- W1894339932 hasRelatedWork W2368560475 @default.
- W1894339932 hasRelatedWork W25224113 @default.
- W1894339932 hasRelatedWork W2607268704 @default.
- W1894339932 hasRelatedWork W2897842245 @default.
- W1894339932 isParatext "false" @default.
- W1894339932 isRetracted "false" @default.
- W1894339932 magId "1894339932" @default.
- W1894339932 workType "book-chapter" @default.