Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149384308> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2149384308 abstract "The B Abstract Machine Notation (AMN) and the notation of Commu- nicating Sequential Processes (CSP) have previously been applied to formalise the UML class and state diagrams, respectively. This paper discusses their integrated use in checking the consistency between the two kinds of UML diagrams based on some recent results of research in integrated formal methods. Through a small information system example, the paper illustrates a clear-cut separation of concerns in employing the two formal methods. Of particular interest is the treatment of recursive calls within a single class of objects." @default.
- W2149384308 created "2016-06-24" @default.
- W2149384308 creator A5071703341 @default.
- W2149384308 date "2004-11-28" @default.
- W2149384308 modified "2023-09-25" @default.
- W2149384308 title "Checking Consistency between UML Class and State Models Based on CSP and B" @default.
- W2149384308 cites W1514848748 @default.
- W2149384308 cites W1518088995 @default.
- W2149384308 cites W1541085282 @default.
- W2149384308 cites W1545091465 @default.
- W2149384308 cites W1559958463 @default.
- W2149384308 cites W2052957797 @default.
- W2149384308 cites W2069865621 @default.
- W2149384308 cites W2095605161 @default.
- W2149384308 cites W2099529102 @default.
- W2149384308 cites W2105162671 @default.
- W2149384308 cites W2108513546 @default.
- W2149384308 cites W2112902853 @default.
- W2149384308 cites W2121372686 @default.
- W2149384308 cites W2129153376 @default.
- W2149384308 cites W2131161195 @default.
- W2149384308 cites W2139907081 @default.
- W2149384308 cites W2140225592 @default.
- W2149384308 cites W2144973245 @default.
- W2149384308 cites W2158487182 @default.
- W2149384308 cites W2160019730 @default.
- W2149384308 cites W2164045439 @default.
- W2149384308 cites W2176300081 @default.
- W2149384308 cites W2534616126 @default.
- W2149384308 cites W3144368627 @default.
- W2149384308 cites W3189142755 @default.
- W2149384308 cites W3185910042 @default.
- W2149384308 doi "https://doi.org/10.3217/jucs-010-11-1540" @default.
- W2149384308 hasPublicationYear "2004" @default.
- W2149384308 type Work @default.
- W2149384308 sameAs 2149384308 @default.
- W2149384308 citedByCount "3" @default.
- W2149384308 countsByYear W21493843082013 @default.
- W2149384308 countsByYear W21493843082015 @default.
- W2149384308 crossrefType "journal-article" @default.
- W2149384308 hasAuthorship W2149384308A5071703341 @default.
- W2149384308 hasBestOaLocation W21493843081 @default.
- W2149384308 hasConcept C110251889 @default.
- W2149384308 hasConcept C145243422 @default.
- W2149384308 hasConcept C145644426 @default.
- W2149384308 hasConcept C146939238 @default.
- W2149384308 hasConcept C154945302 @default.
- W2149384308 hasConcept C16671368 @default.
- W2149384308 hasConcept C167822520 @default.
- W2149384308 hasConcept C199360897 @default.
- W2149384308 hasConcept C202446494 @default.
- W2149384308 hasConcept C2776436953 @default.
- W2149384308 hasConcept C2777212361 @default.
- W2149384308 hasConcept C2777904410 @default.
- W2149384308 hasConcept C33923547 @default.
- W2149384308 hasConcept C41008148 @default.
- W2149384308 hasConcept C41298492 @default.
- W2149384308 hasConcept C45357846 @default.
- W2149384308 hasConcept C48103436 @default.
- W2149384308 hasConcept C75606506 @default.
- W2149384308 hasConcept C80444323 @default.
- W2149384308 hasConcept C94375191 @default.
- W2149384308 hasConceptScore W2149384308C110251889 @default.
- W2149384308 hasConceptScore W2149384308C145243422 @default.
- W2149384308 hasConceptScore W2149384308C145644426 @default.
- W2149384308 hasConceptScore W2149384308C146939238 @default.
- W2149384308 hasConceptScore W2149384308C154945302 @default.
- W2149384308 hasConceptScore W2149384308C16671368 @default.
- W2149384308 hasConceptScore W2149384308C167822520 @default.
- W2149384308 hasConceptScore W2149384308C199360897 @default.
- W2149384308 hasConceptScore W2149384308C202446494 @default.
- W2149384308 hasConceptScore W2149384308C2776436953 @default.
- W2149384308 hasConceptScore W2149384308C2777212361 @default.
- W2149384308 hasConceptScore W2149384308C2777904410 @default.
- W2149384308 hasConceptScore W2149384308C33923547 @default.
- W2149384308 hasConceptScore W2149384308C41008148 @default.
- W2149384308 hasConceptScore W2149384308C41298492 @default.
- W2149384308 hasConceptScore W2149384308C45357846 @default.
- W2149384308 hasConceptScore W2149384308C48103436 @default.
- W2149384308 hasConceptScore W2149384308C75606506 @default.
- W2149384308 hasConceptScore W2149384308C80444323 @default.
- W2149384308 hasConceptScore W2149384308C94375191 @default.
- W2149384308 hasLocation W21493843081 @default.
- W2149384308 hasLocation W21493843082 @default.
- W2149384308 hasOpenAccess W2149384308 @default.
- W2149384308 hasPrimaryLocation W21493843081 @default.
- W2149384308 hasRelatedWork W137536751 @default.
- W2149384308 hasRelatedWork W1521713193 @default.
- W2149384308 hasRelatedWork W1607211628 @default.
- W2149384308 hasRelatedWork W1826173575 @default.
- W2149384308 hasRelatedWork W2111928983 @default.
- W2149384308 hasRelatedWork W2122045706 @default.
- W2149384308 hasRelatedWork W2149384308 @default.
- W2149384308 hasRelatedWork W2547157394 @default.
- W2149384308 hasRelatedWork W2766458769 @default.
- W2149384308 hasRelatedWork W418655815 @default.
- W2149384308 isParatext "false" @default.
- W2149384308 isRetracted "false" @default.
- W2149384308 magId "2149384308" @default.
- W2149384308 workType "article" @default.