Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005999311> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2005999311 endingPage "127" @default.
- W2005999311 startingPage "95" @default.
- W2005999311 abstract "We present an approach to embedding a formal method into the Rational Unified Process (RUP). The purposes are: (a) to unify different views of UML, (b) to enhance RUP and UML with the formal method to improve the quality of software systems; and (c) to support effective use of the formal method for system specification and reasoning with the iterative and incremental approach in RUP. Our overall aim is to base RUP and UML on the formal method and to scale up the use of the formal method in software system development. The model is based on Hoare and He’s Unifying Theories of Programming (UTP)." @default.
- W2005999311 created "2016-06-24" @default.
- W2005999311 creator A5019942972 @default.
- W2005999311 creator A5035282947 @default.
- W2005999311 creator A5054484090 @default.
- W2005999311 creator A5065301088 @default.
- W2005999311 date "2004-11-01" @default.
- W2005999311 modified "2023-10-02" @default.
- W2005999311 title "Unifying Views of UML" @default.
- W2005999311 cites W1485658078 @default.
- W2005999311 cites W1518558009 @default.
- W2005999311 cites W1518695183 @default.
- W2005999311 cites W1528309244 @default.
- W2005999311 cites W1532627295 @default.
- W2005999311 cites W1535103785 @default.
- W2005999311 cites W1536494975 @default.
- W2005999311 cites W1537432317 @default.
- W2005999311 cites W1544633123 @default.
- W2005999311 cites W1544646281 @default.
- W2005999311 cites W1547368292 @default.
- W2005999311 cites W1547789789 @default.
- W2005999311 cites W1564913344 @default.
- W2005999311 cites W1569748992 @default.
- W2005999311 cites W1572116564 @default.
- W2005999311 cites W1573258001 @default.
- W2005999311 cites W1575681083 @default.
- W2005999311 cites W1600863532 @default.
- W2005999311 cites W1602736775 @default.
- W2005999311 cites W1620267008 @default.
- W2005999311 cites W169835767 @default.
- W2005999311 cites W1825588344 @default.
- W2005999311 cites W186294409 @default.
- W2005999311 cites W1918806322 @default.
- W2005999311 cites W196748788 @default.
- W2005999311 cites W1987693120 @default.
- W2005999311 cites W2069865621 @default.
- W2005999311 cites W2104452490 @default.
- W2005999311 cites W2113131398 @default.
- W2005999311 cites W2122984931 @default.
- W2005999311 cites W2134062730 @default.
- W2005999311 cites W2137628566 @default.
- W2005999311 cites W2153887189 @default.
- W2005999311 cites W2155988429 @default.
- W2005999311 cites W2159765281 @default.
- W2005999311 cites W2160973401 @default.
- W2005999311 cites W2161901678 @default.
- W2005999311 cites W2167500728 @default.
- W2005999311 cites W2170488027 @default.
- W2005999311 cites W2297549028 @default.
- W2005999311 cites W3101352210 @default.
- W2005999311 cites W75923597 @default.
- W2005999311 cites W1577826642 @default.
- W2005999311 doi "https://doi.org/10.1016/j.entcs.2004.02.018" @default.
- W2005999311 hasPublicationYear "2004" @default.
- W2005999311 type Work @default.
- W2005999311 sameAs 2005999311 @default.
- W2005999311 citedByCount "16" @default.
- W2005999311 countsByYear W20059993112016 @default.
- W2005999311 countsByYear W20059993112023 @default.
- W2005999311 crossrefType "journal-article" @default.
- W2005999311 hasAuthorship W2005999311A5019942972 @default.
- W2005999311 hasAuthorship W2005999311A5035282947 @default.
- W2005999311 hasAuthorship W2005999311A5054484090 @default.
- W2005999311 hasAuthorship W2005999311A5065301088 @default.
- W2005999311 hasBestOaLocation W20059993111 @default.
- W2005999311 hasConcept C115903868 @default.
- W2005999311 hasConcept C145644426 @default.
- W2005999311 hasConcept C146939238 @default.
- W2005999311 hasConcept C199360897 @default.
- W2005999311 hasConcept C2777904410 @default.
- W2005999311 hasConcept C41008148 @default.
- W2005999311 hasConcept C41298492 @default.
- W2005999311 hasConceptScore W2005999311C115903868 @default.
- W2005999311 hasConceptScore W2005999311C145644426 @default.
- W2005999311 hasConceptScore W2005999311C146939238 @default.
- W2005999311 hasConceptScore W2005999311C199360897 @default.
- W2005999311 hasConceptScore W2005999311C2777904410 @default.
- W2005999311 hasConceptScore W2005999311C41008148 @default.
- W2005999311 hasConceptScore W2005999311C41298492 @default.
- W2005999311 hasLocation W20059993111 @default.
- W2005999311 hasOpenAccess W2005999311 @default.
- W2005999311 hasPrimaryLocation W20059993111 @default.
- W2005999311 hasRelatedWork W1775132212 @default.
- W2005999311 hasRelatedWork W2037303672 @default.
- W2005999311 hasRelatedWork W2129225052 @default.
- W2005999311 hasRelatedWork W2368976463 @default.
- W2005999311 hasRelatedWork W2377944081 @default.
- W2005999311 hasRelatedWork W2381137142 @default.
- W2005999311 hasRelatedWork W2384466694 @default.
- W2005999311 hasRelatedWork W2391415470 @default.
- W2005999311 hasRelatedWork W2750269901 @default.
- W2005999311 hasRelatedWork W3010637538 @default.
- W2005999311 hasVolume "101" @default.
- W2005999311 isParatext "false" @default.
- W2005999311 isRetracted "false" @default.
- W2005999311 magId "2005999311" @default.
- W2005999311 workType "article" @default.