Buch, Englisch, Band 52, 214 Seiten, Format (B × H): 170 mm x 240 mm
Buch, Englisch, Band 52, 214 Seiten, Format (B × H): 170 mm x 240 mm
Reihe: PhD Theses in Experimental Software Engineering
ISBN: 978-3-8396-0875-3
Verlag: Fraunhofer Verlag
SafeRE (Safety-oriented Requirements Engineering) is a novel method for concurrently and completely determining functional requirements and safety requirements in software-intensive safety-critical systems. It defines a general structure and a grammar for accommodating both functional and safety requirements and proposes a systematic safety analysis based on the identified type-based functional requirements for deriving safety requirements.




