Safety Case Development with SBVR-Based Controlled Language.

Yaping Luo Mark van den Brand Alexandre Kiburse

Published in: MODELSWARD (Revised Selected Papers) (2015)

Keyphrases

knowledge based systems
programming language
data mining
case study
natural language processing
information processing
rapid development
natural language
digital libraries
user interface
software engineering
design process
model checking
language processing
safety critical