Matches in SemOpenAlex for { <https://semopenalex.org/work/W1508045168> ?p ?o ?g. }
- W1508045168 abstract "A specification of a software system involves several aspects. Two essential aspects are convenience in specification and possibility for formal analysis. These aspects are, to some extent, exclusive. This paper describes an approach to the specification of systems that emphasizes both aspects, by combining UML with a language for description of the observable behavior of object viewpoints, OUN. Whereas both languages are centered around object-oriented concepts, they are complementary in the sense that one is graphical and semi-formal while the other is textual and formal. The approach is demonstrated by a case study focusing on the specification of an open communication infrastructure." @default.
- W1508045168 created "2016-06-24" @default.
- W1508045168 creator A5039414480 @default.
- W1508045168 creator A5039912912 @default.
- W1508045168 creator A5051238737 @default.
- W1508045168 creator A5059061008 @default.
- W1508045168 date "2002-01-01" @default.
- W1508045168 modified "2023-09-27" @default.
- W1508045168 title "Combining Graphical and Formal Development of Open Distributed Systems" @default.
- W1508045168 cites W1509485666 @default.
- W1508045168 cites W1564637213 @default.
- W1508045168 cites W1976195354 @default.
- W1508045168 cites W2015688007 @default.
- W1508045168 cites W2098830227 @default.
- W1508045168 cites W2113486906 @default.
- W1508045168 cites W2121372686 @default.
- W1508045168 cites W2131506547 @default.
- W1508045168 cites W4230413475 @default.
- W1508045168 cites W4235163449 @default.
- W1508045168 doi "https://doi.org/10.1007/3-540-47884-1_18" @default.
- W1508045168 hasPublicationYear "2002" @default.
- W1508045168 type Work @default.
- W1508045168 sameAs 1508045168 @default.
- W1508045168 citedByCount "3" @default.
- W1508045168 crossrefType "book-chapter" @default.
- W1508045168 hasAuthorship W1508045168A5039414480 @default.
- W1508045168 hasAuthorship W1508045168A5039912912 @default.
- W1508045168 hasAuthorship W1508045168A5051238737 @default.
- W1508045168 hasAuthorship W1508045168A5059061008 @default.
- W1508045168 hasConcept C111498074 @default.
- W1508045168 hasConcept C115903868 @default.
- W1508045168 hasConcept C116253237 @default.
- W1508045168 hasConcept C119263510 @default.
- W1508045168 hasConcept C133264317 @default.
- W1508045168 hasConcept C142362112 @default.
- W1508045168 hasConcept C145644426 @default.
- W1508045168 hasConcept C146072743 @default.
- W1508045168 hasConcept C146939238 @default.
- W1508045168 hasConcept C15077461 @default.
- W1508045168 hasConcept C153349607 @default.
- W1508045168 hasConcept C154945302 @default.
- W1508045168 hasConcept C185954173 @default.
- W1508045168 hasConcept C195324797 @default.
- W1508045168 hasConcept C199360897 @default.
- W1508045168 hasConcept C201677973 @default.
- W1508045168 hasConcept C2776035091 @default.
- W1508045168 hasConcept C2777904410 @default.
- W1508045168 hasConcept C34165917 @default.
- W1508045168 hasConcept C39890363 @default.
- W1508045168 hasConcept C41008148 @default.
- W1508045168 hasConcept C50033165 @default.
- W1508045168 hasConcept C500879282 @default.
- W1508045168 hasConcept C529173508 @default.
- W1508045168 hasConcept C69298649 @default.
- W1508045168 hasConcept C73752529 @default.
- W1508045168 hasConcept C75606506 @default.
- W1508045168 hasConcept C90069079 @default.
- W1508045168 hasConceptScore W1508045168C111498074 @default.
- W1508045168 hasConceptScore W1508045168C115903868 @default.
- W1508045168 hasConceptScore W1508045168C116253237 @default.
- W1508045168 hasConceptScore W1508045168C119263510 @default.
- W1508045168 hasConceptScore W1508045168C133264317 @default.
- W1508045168 hasConceptScore W1508045168C142362112 @default.
- W1508045168 hasConceptScore W1508045168C145644426 @default.
- W1508045168 hasConceptScore W1508045168C146072743 @default.
- W1508045168 hasConceptScore W1508045168C146939238 @default.
- W1508045168 hasConceptScore W1508045168C15077461 @default.
- W1508045168 hasConceptScore W1508045168C153349607 @default.
- W1508045168 hasConceptScore W1508045168C154945302 @default.
- W1508045168 hasConceptScore W1508045168C185954173 @default.
- W1508045168 hasConceptScore W1508045168C195324797 @default.
- W1508045168 hasConceptScore W1508045168C199360897 @default.
- W1508045168 hasConceptScore W1508045168C201677973 @default.
- W1508045168 hasConceptScore W1508045168C2776035091 @default.
- W1508045168 hasConceptScore W1508045168C2777904410 @default.
- W1508045168 hasConceptScore W1508045168C34165917 @default.
- W1508045168 hasConceptScore W1508045168C39890363 @default.
- W1508045168 hasConceptScore W1508045168C41008148 @default.
- W1508045168 hasConceptScore W1508045168C50033165 @default.
- W1508045168 hasConceptScore W1508045168C500879282 @default.
- W1508045168 hasConceptScore W1508045168C529173508 @default.
- W1508045168 hasConceptScore W1508045168C69298649 @default.
- W1508045168 hasConceptScore W1508045168C73752529 @default.
- W1508045168 hasConceptScore W1508045168C75606506 @default.
- W1508045168 hasConceptScore W1508045168C90069079 @default.
- W1508045168 hasLocation W15080451681 @default.
- W1508045168 hasOpenAccess W1508045168 @default.
- W1508045168 hasPrimaryLocation W15080451681 @default.
- W1508045168 hasRelatedWork W1014690126 @default.
- W1508045168 hasRelatedWork W1539553861 @default.
- W1508045168 hasRelatedWork W1557828026 @default.
- W1508045168 hasRelatedWork W1574057703 @default.
- W1508045168 hasRelatedWork W1576391018 @default.
- W1508045168 hasRelatedWork W1591878828 @default.
- W1508045168 hasRelatedWork W1970786187 @default.
- W1508045168 hasRelatedWork W1992020098 @default.
- W1508045168 hasRelatedWork W2013658284 @default.
- W1508045168 hasRelatedWork W2058249981 @default.
- W1508045168 hasRelatedWork W2060272186 @default.
- W1508045168 hasRelatedWork W2071793557 @default.