From English to formal specifications
(1994)
Journal Article
Vadera, S., & Meziane, F. (1994). From English to formal specifications. Computer Journal, 37(9), 753-763. https://doi.org/10.1093/comjnl/37.9.753
Formal methods provide an approach in which design steps can be shown to satisfy a specification. However, if a formal specification is wrong, then although the design steps may satisfy the formal specification, they are unlikely to satisfy the requi... Read More about From English to formal specifications.