Investigating the readability of state-based formal requirements specification languages.

Marc K. Zimmerman Kristina Lundqvist Nancy G. Leveson

Published in: ICSE (2002)

Keyphrases

specification languages
formal specification
object oriented programs
first order logic
reinforcement learning
database
e learning
high level
video sequences
user interface