Matches in SemOpenAlex for { <https://semopenalex.org/work/W2077987949> ?p ?o ?g. }
- W2077987949 abstract "Building correct software systems is commonly accepted as both important and difficult. To achieve this, one has to address two basic issues: (i) offer suitable abstractions to formally specify specific classes of systems, (ii) allow the formal analysis of systems built using those abstractions. In this paper we review our results in this direction: we have proposed Object-Based Graph-Grammars (OBGGs) as a suitable set of abstractions to model concurrent, distributed, message passing and object-based based systems, coping with (i), and, coping with (ii), a set of transformations for OBGGs was proposed allowing one to employ several analysis methods, such as: model checking both functional and real-time properties, quantitative analysis using analytical methods, and verification through theorem proving." @default.
- W2077987949 created "2016-06-24" @default.
- W2077987949 creator A5003030193 @default.
- W2077987949 creator A5010935451 @default.
- W2077987949 date "2011-08-01" @default.
- W2077987949 modified "2023-09-23" @default.
- W2077987949 title "Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars" @default.
- W2077987949 cites W105203805 @default.
- W2077987949 cites W1485541946 @default.
- W2077987949 cites W1499801993 @default.
- W2077987949 cites W1525953945 @default.
- W2077987949 cites W1533509112 @default.
- W2077987949 cites W1549949209 @default.
- W2077987949 cites W1556900989 @default.
- W2077987949 cites W1559462422 @default.
- W2077987949 cites W1567923353 @default.
- W2077987949 cites W1572578464 @default.
- W2077987949 cites W1574796876 @default.
- W2077987949 cites W1577544661 @default.
- W2077987949 cites W1589918049 @default.
- W2077987949 cites W1755901030 @default.
- W2077987949 cites W1829867068 @default.
- W2077987949 cites W190356767 @default.
- W2077987949 cites W1920977249 @default.
- W2077987949 cites W1970594962 @default.
- W2077987949 cites W1987198571 @default.
- W2077987949 cites W1989383032 @default.
- W2077987949 cites W1992928460 @default.
- W2077987949 cites W1996402690 @default.
- W2077987949 cites W1996832037 @default.
- W2077987949 cites W2027996257 @default.
- W2077987949 cites W2028487565 @default.
- W2077987949 cites W2034717157 @default.
- W2077987949 cites W2041938674 @default.
- W2077987949 cites W2061230361 @default.
- W2077987949 cites W2072621429 @default.
- W2077987949 cites W2093718638 @default.
- W2077987949 cites W2101508170 @default.
- W2077987949 cites W2103680297 @default.
- W2077987949 cites W2109828309 @default.
- W2077987949 cites W2115309705 @default.
- W2077987949 cites W2120910746 @default.
- W2077987949 cites W2122796635 @default.
- W2077987949 cites W2134693673 @default.
- W2077987949 cites W2142370510 @default.
- W2077987949 cites W2146819800 @default.
- W2077987949 cites W2161584651 @default.
- W2077987949 cites W235792349 @default.
- W2077987949 cites W320378117 @default.
- W2077987949 cites W1596860787 @default.
- W2077987949 cites W3023485956 @default.
- W2077987949 doi "https://doi.org/10.1109/weit.2011.33" @default.
- W2077987949 hasPublicationYear "2011" @default.
- W2077987949 type Work @default.
- W2077987949 sameAs 2077987949 @default.
- W2077987949 citedByCount "0" @default.
- W2077987949 crossrefType "proceedings-article" @default.
- W2077987949 hasAuthorship W2077987949A5003030193 @default.
- W2077987949 hasAuthorship W2077987949A5010935451 @default.
- W2077987949 hasConcept C116253237 @default.
- W2077987949 hasConcept C120314980 @default.
- W2077987949 hasConcept C132525143 @default.
- W2077987949 hasConcept C154945302 @default.
- W2077987949 hasConcept C199360897 @default.
- W2077987949 hasConcept C41008148 @default.
- W2077987949 hasConcept C53893814 @default.
- W2077987949 hasConcept C75606506 @default.
- W2077987949 hasConcept C80444323 @default.
- W2077987949 hasConceptScore W2077987949C116253237 @default.
- W2077987949 hasConceptScore W2077987949C120314980 @default.
- W2077987949 hasConceptScore W2077987949C132525143 @default.
- W2077987949 hasConceptScore W2077987949C154945302 @default.
- W2077987949 hasConceptScore W2077987949C199360897 @default.
- W2077987949 hasConceptScore W2077987949C41008148 @default.
- W2077987949 hasConceptScore W2077987949C53893814 @default.
- W2077987949 hasConceptScore W2077987949C75606506 @default.
- W2077987949 hasConceptScore W2077987949C80444323 @default.
- W2077987949 hasLocation W20779879491 @default.
- W2077987949 hasOpenAccess W2077987949 @default.
- W2077987949 hasPrimaryLocation W20779879491 @default.
- W2077987949 hasRelatedWork W1559372703 @default.
- W2077987949 hasRelatedWork W1561501726 @default.
- W2077987949 hasRelatedWork W1569453539 @default.
- W2077987949 hasRelatedWork W1589988994 @default.
- W2077987949 hasRelatedWork W1595407915 @default.
- W2077987949 hasRelatedWork W1641988583 @default.
- W2077987949 hasRelatedWork W165595480 @default.
- W2077987949 hasRelatedWork W1989243020 @default.
- W2077987949 hasRelatedWork W2030078040 @default.
- W2077987949 hasRelatedWork W2034704972 @default.
- W2077987949 hasRelatedWork W2102886900 @default.
- W2077987949 hasRelatedWork W2256847765 @default.
- W2077987949 hasRelatedWork W2332825144 @default.
- W2077987949 hasRelatedWork W2408365137 @default.
- W2077987949 hasRelatedWork W2556723477 @default.
- W2077987949 hasRelatedWork W2987705769 @default.
- W2077987949 hasRelatedWork W3113026864 @default.
- W2077987949 hasRelatedWork W410633824 @default.
- W2077987949 hasRelatedWork W3143014315 @default.
- W2077987949 hasRelatedWork W3150875667 @default.