Informal and Formal Requirements Specification Languages: Bridging the Gap.

Martin D. Fraser Kuldeep Kumar Vijay K. Vaishnavi

Published in: IEEE Trans. Software Eng. (1991)

Keyphrases

specification languages
formal specification
object oriented programs
first order logic
model checking
real time
genetic algorithm
application specific
functional requirements
real world
source code
informal learning