Browse by Journal Title

[up]

Group by: Creators | Item Type | Uncontrolled Keywords | No Grouping

formal specification software quality specification languages

Number of items: 3.

formal specification

Finney, K., Fenton, N. and Fedorec, A. (1999) Effects of structure on the comprehensibility of formal specifications. IEE Proceedings Software, 146 (4). pp. 193-202. ISSN 1462-5970 (doi:10.1049/ip-sen:19990600)

software quality

Finney, K., Fenton, N. and Fedorec, A. (1999) Effects of structure on the comprehensibility of formal specifications. IEE Proceedings Software, 146 (4). pp. 193-202. ISSN 1462-5970 (doi:10.1049/ip-sen:19990600)

specification languages

Finney, K., Fenton, N. and Fedorec, A. (1999) Effects of structure on the comprehensibility of formal specifications. IEE Proceedings Software, 146 (4). pp. 193-202. ISSN 1462-5970 (doi:10.1049/ip-sen:19990600)

This list was generated on Sat Dec 21 10:00:04 2024 UTC.