Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570348583> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1570348583 abstract "The formal development of industrial-size software is an error-prone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors causing the change of parts of the specification. Also adding new functionality will result in changes of the specification which always endangers the verification work already done. In this paper we describe the system Maya which maintains formal developments. The Maya-system supports an evolutionary formal development since it allows users to specify and verify developments in a structured manner, incorporates a uniform mechanism for verification in-the-large to exploit the structure of the specification, and maintains the verification work already done when changing the specification. Maya relies on development graphs as a uniform representation of structured specifications, which enables the use of various (structured) specification languages to formalize the software development. Moreover, Maya allows the integration of different theorem provers to deal with the actual proof obligations arising from the specification, i.e. to perform verification in-the-small." @default.
- W1570348583 created "2016-06-24" @default.
- W1570348583 creator A5019184468 @default.
- W1570348583 creator A5058390268 @default.
- W1570348583 date "2005-01-01" @default.
- W1570348583 modified "2023-09-26" @default.
- W1570348583 title "Formal Software Development in MAYA" @default.
- W1570348583 cites W1479988110 @default.
- W1570348583 cites W1485204608 @default.
- W1570348583 cites W1488470055 @default.
- W1570348583 cites W1489397398 @default.
- W1570348583 cites W1499458271 @default.
- W1570348583 cites W1533795866 @default.
- W1570348583 cites W1551192066 @default.
- W1570348583 cites W1599636101 @default.
- W1570348583 cites W1716364395 @default.
- W1570348583 cites W1780570520 @default.
- W1570348583 cites W2005081948 @default.
- W1570348583 cites W2140080346 @default.
- W1570348583 cites W4234528212 @default.
- W1570348583 doi "https://doi.org/10.1007/978-3-540-32254-2_24" @default.
- W1570348583 hasPublicationYear "2005" @default.
- W1570348583 type Work @default.
- W1570348583 sameAs 1570348583 @default.
- W1570348583 citedByCount "9" @default.
- W1570348583 countsByYear W15703485832012 @default.
- W1570348583 countsByYear W15703485832014 @default.
- W1570348583 countsByYear W15703485832016 @default.
- W1570348583 countsByYear W15703485832018 @default.
- W1570348583 crossrefType "book-chapter" @default.
- W1570348583 hasAuthorship W1570348583A5019184468 @default.
- W1570348583 hasAuthorship W1570348583A5058390268 @default.
- W1570348583 hasBestOaLocation W15703485832 @default.
- W1570348583 hasConcept C111498074 @default.
- W1570348583 hasConcept C115903868 @default.
- W1570348583 hasConcept C116253237 @default.
- W1570348583 hasConcept C17744445 @default.
- W1570348583 hasConcept C199360897 @default.
- W1570348583 hasConcept C199539241 @default.
- W1570348583 hasConcept C201677973 @default.
- W1570348583 hasConcept C2776359362 @default.
- W1570348583 hasConcept C2777904410 @default.
- W1570348583 hasConcept C41008148 @default.
- W1570348583 hasConcept C529173508 @default.
- W1570348583 hasConcept C75606506 @default.
- W1570348583 hasConcept C80444323 @default.
- W1570348583 hasConcept C94625758 @default.
- W1570348583 hasConcept C98045186 @default.
- W1570348583 hasConceptScore W1570348583C111498074 @default.
- W1570348583 hasConceptScore W1570348583C115903868 @default.
- W1570348583 hasConceptScore W1570348583C116253237 @default.
- W1570348583 hasConceptScore W1570348583C17744445 @default.
- W1570348583 hasConceptScore W1570348583C199360897 @default.
- W1570348583 hasConceptScore W1570348583C199539241 @default.
- W1570348583 hasConceptScore W1570348583C201677973 @default.
- W1570348583 hasConceptScore W1570348583C2776359362 @default.
- W1570348583 hasConceptScore W1570348583C2777904410 @default.
- W1570348583 hasConceptScore W1570348583C41008148 @default.
- W1570348583 hasConceptScore W1570348583C529173508 @default.
- W1570348583 hasConceptScore W1570348583C75606506 @default.
- W1570348583 hasConceptScore W1570348583C80444323 @default.
- W1570348583 hasConceptScore W1570348583C94625758 @default.
- W1570348583 hasConceptScore W1570348583C98045186 @default.
- W1570348583 hasLocation W15703485831 @default.
- W1570348583 hasLocation W15703485832 @default.
- W1570348583 hasOpenAccess W1570348583 @default.
- W1570348583 hasPrimaryLocation W15703485831 @default.
- W1570348583 hasRelatedWork W149816724 @default.
- W1570348583 hasRelatedWork W2121507724 @default.
- W1570348583 hasRelatedWork W2228083935 @default.
- W1570348583 hasRelatedWork W2271843438 @default.
- W1570348583 hasRelatedWork W2356237858 @default.
- W1570348583 hasRelatedWork W2368747179 @default.
- W1570348583 hasRelatedWork W2544293960 @default.
- W1570348583 hasRelatedWork W3160135358 @default.
- W1570348583 hasRelatedWork W768804450 @default.
- W1570348583 hasRelatedWork W827963241 @default.
- W1570348583 isParatext "false" @default.
- W1570348583 isRetracted "false" @default.
- W1570348583 magId "1570348583" @default.
- W1570348583 workType "book-chapter" @default.