Login / Signup
A pattern-based requirement specification language: Mapping automotive specific timing requirements.
Philipp Reinkemeier
Ingo Stierand
Philip Rehkop
Stefan Henkler
Published in:
Software Engineering (Workshops) (2011)
Keyphrases
</>
specification language
requirements specification
programming language
formal specification
description language
requirements engineering
symbolic execution
database
high level
relational databases
open source
domain specific
information retrieval systems
model checking
software requirements