Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285200552> ?p ?o ?g. }
- W4285200552 endingPage "46" @default.
- W4285200552 startingPage "1" @default.
- W4285200552 abstract "AbstractFormal Methods are one means in software engineering that can help to ensure that a computer system meets its requirements. Using examples from space industry and every programmer’s daily life, we carefully develop an understanding of what constitutes a Formal Method. Formal Methods can play multiple roles in the software design process. Some software development standards actually require the use of Formal Methods for high integrity levels. Mostly, Formal Methods help to make system descriptions precise and to support system analysis. However, their application is feasible only when they are supported by tools. Consequently, tool qualification and certification play a significant role in standards. Formal Methods at work can be seen in the many (academic) surveys, but also in numerous published industrial success stories. Hints on how to study Formal Methods in academia and on how to apply Formal Methods in industry conclude the chapter." @default.
- W4285200552 created "2022-07-14" @default.
- W4285200552 creator A5033575934 @default.
- W4285200552 creator A5051084250 @default.
- W4285200552 creator A5052756595 @default.
- W4285200552 date "2022-01-01" @default.
- W4285200552 modified "2023-10-12" @default.
- W4285200552 title "Formal Methods" @default.
- W4285200552 cites W1501020965 @default.
- W4285200552 cites W1501535194 @default.
- W4285200552 cites W1513962738 @default.
- W4285200552 cites W1541671050 @default.
- W4285200552 cites W1548442240 @default.
- W4285200552 cites W1554863622 @default.
- W4285200552 cites W1557306624 @default.
- W4285200552 cites W1557405201 @default.
- W4285200552 cites W1558410067 @default.
- W4285200552 cites W1559541251 @default.
- W4285200552 cites W1563685744 @default.
- W4285200552 cites W1570656180 @default.
- W4285200552 cites W1588663335 @default.
- W4285200552 cites W1714370737 @default.
- W4285200552 cites W172859451 @default.
- W4285200552 cites W1731719946 @default.
- W4285200552 cites W1885061935 @default.
- W4285200552 cites W1929907211 @default.
- W4285200552 cites W1980491540 @default.
- W4285200552 cites W1983350265 @default.
- W4285200552 cites W2011606665 @default.
- W4285200552 cites W2011898227 @default.
- W4285200552 cites W2076409494 @default.
- W4285200552 cites W2077359497 @default.
- W4285200552 cites W2087103691 @default.
- W4285200552 cites W2098456636 @default.
- W4285200552 cites W2103419813 @default.
- W4285200552 cites W2112337853 @default.
- W4285200552 cites W2119643875 @default.
- W4285200552 cites W2119696713 @default.
- W4285200552 cites W2144062101 @default.
- W4285200552 cites W2146526603 @default.
- W4285200552 cites W2149366752 @default.
- W4285200552 cites W2158708642 @default.
- W4285200552 cites W2163152086 @default.
- W4285200552 cites W2222728024 @default.
- W4285200552 cites W2469716343 @default.
- W4285200552 cites W2482959153 @default.
- W4285200552 cites W2499596435 @default.
- W4285200552 cites W2543296129 @default.
- W4285200552 cites W2547742944 @default.
- W4285200552 cites W2785777260 @default.
- W4285200552 cites W2810511505 @default.
- W4285200552 cites W291881832 @default.
- W4285200552 cites W3082634688 @default.
- W4285200552 cites W3137092842 @default.
- W4285200552 cites W3167136400 @default.
- W4285200552 cites W38118415 @default.
- W4285200552 cites W4230145224 @default.
- W4285200552 cites W4230427076 @default.
- W4285200552 cites W4242721821 @default.
- W4285200552 cites W4253146326 @default.
- W4285200552 doi "https://doi.org/10.1007/978-3-030-38800-3_1" @default.
- W4285200552 hasPublicationYear "2022" @default.
- W4285200552 type Work @default.
- W4285200552 citedByCount "0" @default.
- W4285200552 crossrefType "book-chapter" @default.
- W4285200552 hasAuthorship W4285200552A5033575934 @default.
- W4285200552 hasAuthorship W4285200552A5051084250 @default.
- W4285200552 hasAuthorship W4285200552A5052756595 @default.
- W4285200552 hasConcept C110354214 @default.
- W4285200552 hasConcept C115903868 @default.
- W4285200552 hasConcept C116253237 @default.
- W4285200552 hasConcept C127413603 @default.
- W4285200552 hasConcept C14331664 @default.
- W4285200552 hasConcept C17744445 @default.
- W4285200552 hasConcept C199360897 @default.
- W4285200552 hasConcept C199539241 @default.
- W4285200552 hasConcept C2778514511 @default.
- W4285200552 hasConcept C41008148 @default.
- W4285200552 hasConcept C46304622 @default.
- W4285200552 hasConcept C75606506 @default.
- W4285200552 hasConcept C98045186 @default.
- W4285200552 hasConceptScore W4285200552C110354214 @default.
- W4285200552 hasConceptScore W4285200552C115903868 @default.
- W4285200552 hasConceptScore W4285200552C116253237 @default.
- W4285200552 hasConceptScore W4285200552C127413603 @default.
- W4285200552 hasConceptScore W4285200552C14331664 @default.
- W4285200552 hasConceptScore W4285200552C17744445 @default.
- W4285200552 hasConceptScore W4285200552C199360897 @default.
- W4285200552 hasConceptScore W4285200552C199539241 @default.
- W4285200552 hasConceptScore W4285200552C2778514511 @default.
- W4285200552 hasConceptScore W4285200552C41008148 @default.
- W4285200552 hasConceptScore W4285200552C46304622 @default.
- W4285200552 hasConceptScore W4285200552C75606506 @default.
- W4285200552 hasConceptScore W4285200552C98045186 @default.
- W4285200552 hasLocation W42852005521 @default.
- W4285200552 hasOpenAccess W4285200552 @default.
- W4285200552 hasPrimaryLocation W42852005521 @default.
- W4285200552 hasRelatedWork W126120407 @default.