Requirements-related fault prevention during the transformation from formal specifications to programs.

Jiandong Li Shaoying Liu

Published in: IET Softw. (2023)

Keyphrases

formal specification
object oriented design
fault diagnosis
model checking
databases
design methodology
specification language
specification languages
cooperative
expert systems
fault detection
object oriented database systems
concurrent systems