All Outputs (2)

From English to formal specifications (1994)
Thesis
Meziane, F. From English to formal specifications. (Thesis). University of Salford

Specifications provide the foundation upon which a system can be formally developed. If a specification is wrong, then no matter what method of design is used, or what quality assurance procedures are in place, they will not result in a system that... Read More about From English to formal specifications.

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.