Matches in SemOpenAlex for { <https://semopenalex.org/work/W1988105512> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1988105512 endingPage "77" @default.
- W1988105512 startingPage "77" @default.
- W1988105512 abstract "We describe BON-CASE, an extensible tool for the BON modelling language. The tool’s support for formal techniques – in particular, for formal specification of contracts and frames, as a platform for verification of Eiffel code, for lightweight integration with existing reasoning tools (such as type checkers, theorem provers, and static assertion checkers), and its extensible architecture – is discussed. We present the infrastructure provided with the tool, and support being added to the tool for reverse engineering and the single model principle, as well as for checking the consistency of static and dynamic views of a system." @default.
- W1988105512 created "2016-06-24" @default.
- W1988105512 creator A5001375993 @default.
- W1988105512 creator A5001475910 @default.
- W1988105512 creator A5048055171 @default.
- W1988105512 creator A5059492074 @default.
- W1988105512 date "2002-01-01" @default.
- W1988105512 modified "2023-09-26" @default.
- W1988105512 title "BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning." @default.
- W1988105512 cites W1482002366 @default.
- W1988105512 cites W1495459135 @default.
- W1988105512 cites W1514488489 @default.
- W1988105512 cites W1564637213 @default.
- W1988105512 cites W1751330240 @default.
- W1988105512 cites W2094160561 @default.
- W1988105512 cites W2095874229 @default.
- W1988105512 cites W2107995193 @default.
- W1988105512 cites W2161825580 @default.
- W1988105512 cites W2164810907 @default.
- W1988105512 cites W3000135916 @default.
- W1988105512 cites W58149836 @default.
- W1988105512 cites W58202191 @default.
- W1988105512 cites W93203816 @default.
- W1988105512 doi "https://doi.org/10.5381/jot.2002.1.3.a5" @default.
- W1988105512 hasPublicationYear "2002" @default.
- W1988105512 type Work @default.
- W1988105512 sameAs 1988105512 @default.
- W1988105512 citedByCount "10" @default.
- W1988105512 countsByYear W19881055122013 @default.
- W1988105512 crossrefType "journal-article" @default.
- W1988105512 hasAuthorship W1988105512A5001375993 @default.
- W1988105512 hasAuthorship W1988105512A5001475910 @default.
- W1988105512 hasAuthorship W1988105512A5048055171 @default.
- W1988105512 hasAuthorship W1988105512A5059492074 @default.
- W1988105512 hasBestOaLocation W19881055121 @default.
- W1988105512 hasConcept C111498074 @default.
- W1988105512 hasConcept C115903868 @default.
- W1988105512 hasConcept C116253237 @default.
- W1988105512 hasConcept C154945302 @default.
- W1988105512 hasConcept C186362262 @default.
- W1988105512 hasConcept C199360897 @default.
- W1988105512 hasConcept C2776436953 @default.
- W1988105512 hasConcept C32833848 @default.
- W1988105512 hasConcept C40422974 @default.
- W1988105512 hasConcept C41008148 @default.
- W1988105512 hasConcept C73752529 @default.
- W1988105512 hasConcept C75606506 @default.
- W1988105512 hasConceptScore W1988105512C111498074 @default.
- W1988105512 hasConceptScore W1988105512C115903868 @default.
- W1988105512 hasConceptScore W1988105512C116253237 @default.
- W1988105512 hasConceptScore W1988105512C154945302 @default.
- W1988105512 hasConceptScore W1988105512C186362262 @default.
- W1988105512 hasConceptScore W1988105512C199360897 @default.
- W1988105512 hasConceptScore W1988105512C2776436953 @default.
- W1988105512 hasConceptScore W1988105512C32833848 @default.
- W1988105512 hasConceptScore W1988105512C40422974 @default.
- W1988105512 hasConceptScore W1988105512C41008148 @default.
- W1988105512 hasConceptScore W1988105512C73752529 @default.
- W1988105512 hasConceptScore W1988105512C75606506 @default.
- W1988105512 hasIssue "3" @default.
- W1988105512 hasLocation W19881055121 @default.
- W1988105512 hasLocation W19881055122 @default.
- W1988105512 hasOpenAccess W1988105512 @default.
- W1988105512 hasPrimaryLocation W19881055121 @default.
- W1988105512 hasRelatedWork W1262447868 @default.
- W1988105512 hasRelatedWork W1471077861 @default.
- W1988105512 hasRelatedWork W1501856028 @default.
- W1988105512 hasRelatedWork W1502686851 @default.
- W1988105512 hasRelatedWork W1528802909 @default.
- W1988105512 hasRelatedWork W1529806022 @default.
- W1988105512 hasRelatedWork W1540083798 @default.
- W1988105512 hasRelatedWork W155175435 @default.
- W1988105512 hasRelatedWork W1985562074 @default.
- W1988105512 hasRelatedWork W2060943860 @default.
- W1988105512 hasRelatedWork W2089702347 @default.
- W1988105512 hasRelatedWork W2096803479 @default.
- W1988105512 hasRelatedWork W2117489587 @default.
- W1988105512 hasRelatedWork W2142065829 @default.
- W1988105512 hasRelatedWork W2165240599 @default.
- W1988105512 hasRelatedWork W2166768964 @default.
- W1988105512 hasRelatedWork W2252712587 @default.
- W1988105512 hasRelatedWork W3174273739 @default.
- W1988105512 hasRelatedWork W1894706647 @default.
- W1988105512 hasRelatedWork W2556090209 @default.
- W1988105512 hasVolume "1" @default.
- W1988105512 isParatext "false" @default.
- W1988105512 isRetracted "false" @default.
- W1988105512 magId "1988105512" @default.
- W1988105512 workType "article" @default.