Matches in SemOpenAlex for { <https://semopenalex.org/work/W1506729072> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1506729072 endingPage "332" @default.
- W1506729072 startingPage "318" @default.
- W1506729072 abstract "This paper presents the OOA design step in a methodology which integrates automata-based model checking into a commercially supported OO software development process.We define and illustrate a set of design rules for OOA models with executable semantics, which lead to automata models with tractable state spaces. The design rules yield OOA models with functionally structured designs similar to those of hardware systems. These structures support modelchecking through techniques known to be feasible for hardware. The formal OOA methodology, including the design rules, was applied to the design of NASA robot control software. Serious logical design errors that had eluded prior testing, were discovered in the course of model-checking." @default.
- W1506729072 created "2016-06-24" @default.
- W1506729072 creator A5034009786 @default.
- W1506729072 creator A5064263297 @default.
- W1506729072 creator A5075152083 @default.
- W1506729072 date "2001-01-01" @default.
- W1506729072 modified "2023-10-14" @default.
- W1506729072 title "A Formal Object-Oriented Analysis for Software Reliability: Design for Verification" @default.
- W1506729072 cites W1484846064 @default.
- W1506729072 cites W1566914015 @default.
- W1506729072 cites W1941724465 @default.
- W1506729072 cites W1992668216 @default.
- W1506729072 cites W2026965951 @default.
- W1506729072 cites W2097267767 @default.
- W1506729072 cites W2115309705 @default.
- W1506729072 cites W2121461840 @default.
- W1506729072 cites W2135274583 @default.
- W1506729072 cites W4235527454 @default.
- W1506729072 cites W4250266285 @default.
- W1506729072 cites W4300021588 @default.
- W1506729072 doi "https://doi.org/10.1007/3-540-45314-8_23" @default.
- W1506729072 hasPublicationYear "2001" @default.
- W1506729072 type Work @default.
- W1506729072 sameAs 1506729072 @default.
- W1506729072 citedByCount "28" @default.
- W1506729072 countsByYear W15067290722012 @default.
- W1506729072 countsByYear W15067290722013 @default.
- W1506729072 countsByYear W15067290722014 @default.
- W1506729072 countsByYear W15067290722015 @default.
- W1506729072 countsByYear W15067290722016 @default.
- W1506729072 countsByYear W15067290722017 @default.
- W1506729072 countsByYear W15067290722018 @default.
- W1506729072 countsByYear W15067290722022 @default.
- W1506729072 countsByYear W15067290722023 @default.
- W1506729072 crossrefType "book-chapter" @default.
- W1506729072 hasAuthorship W1506729072A5034009786 @default.
- W1506729072 hasAuthorship W1506729072A5064263297 @default.
- W1506729072 hasAuthorship W1506729072A5075152083 @default.
- W1506729072 hasBestOaLocation W15067290721 @default.
- W1506729072 hasConcept C110251889 @default.
- W1506729072 hasConcept C111498074 @default.
- W1506729072 hasConcept C115903868 @default.
- W1506729072 hasConcept C160145156 @default.
- W1506729072 hasConcept C186846655 @default.
- W1506729072 hasConcept C199360897 @default.
- W1506729072 hasConcept C2777904410 @default.
- W1506729072 hasConcept C33054407 @default.
- W1506729072 hasConcept C41008148 @default.
- W1506729072 hasConcept C52913732 @default.
- W1506729072 hasConcept C529173508 @default.
- W1506729072 hasConcept C75606506 @default.
- W1506729072 hasConceptScore W1506729072C110251889 @default.
- W1506729072 hasConceptScore W1506729072C111498074 @default.
- W1506729072 hasConceptScore W1506729072C115903868 @default.
- W1506729072 hasConceptScore W1506729072C160145156 @default.
- W1506729072 hasConceptScore W1506729072C186846655 @default.
- W1506729072 hasConceptScore W1506729072C199360897 @default.
- W1506729072 hasConceptScore W1506729072C2777904410 @default.
- W1506729072 hasConceptScore W1506729072C33054407 @default.
- W1506729072 hasConceptScore W1506729072C41008148 @default.
- W1506729072 hasConceptScore W1506729072C52913732 @default.
- W1506729072 hasConceptScore W1506729072C529173508 @default.
- W1506729072 hasConceptScore W1506729072C75606506 @default.
- W1506729072 hasLocation W15067290721 @default.
- W1506729072 hasLocation W15067290722 @default.
- W1506729072 hasOpenAccess W1506729072 @default.
- W1506729072 hasPrimaryLocation W15067290721 @default.
- W1506729072 hasRelatedWork W1506729072 @default.
- W1506729072 hasRelatedWork W1513039750 @default.
- W1506729072 hasRelatedWork W1550519739 @default.
- W1506729072 hasRelatedWork W2045748911 @default.
- W1506729072 hasRelatedWork W2105882137 @default.
- W1506729072 hasRelatedWork W2109457818 @default.
- W1506729072 hasRelatedWork W2541728168 @default.
- W1506729072 hasRelatedWork W2888171167 @default.
- W1506729072 hasRelatedWork W3094156705 @default.
- W1506729072 hasRelatedWork W47563837 @default.
- W1506729072 isParatext "false" @default.
- W1506729072 isRetracted "false" @default.
- W1506729072 magId "1506729072" @default.
- W1506729072 workType "book-chapter" @default.