A SPECIFICATION OF A COMPLEX PROGRAMMING LANGUAGE STATEMENT
| Data(s) |
1991
|
|---|---|
| Resumo |
<p>A formal specification of a complex programming language statement is presented. The subject matter was selected as being typical of the kind confronting a small software house. It is shown that formal specification notations may be applied, with benefit, to 'messy' problems. Emphasis is placed upon producing a specification which is readable by, and useful to a reader not familiar with formal notations.</p> |
| Identificador | |
| Idioma(s) |
eng |
| Direitos |
info:eu-repo/semantics/restrictedAccess |
| Fonte |
MCPARLAND , P & KILPATRICK , P 1991 , ' A SPECIFICATION OF A COMPLEX PROGRAMMING LANGUAGE STATEMENT ' Lecture Notes in Computer Science , vol 551 , pp. 658-667 . |
| Tipo |
article |
