Journal article
Validation methods using formal techniques
- Abstract:
-
For many years computer scientists have been developing languages and techniques to clarify the structure of programs through establishing a sound mathematical foundation. The techniques included under the general umberella of formal methods have been introduced especially to put the design phase of program onto an analytical basis. Through demanding a precise mathematical notation at each stage of specification and design, they enforce a clarity of thought as well as providing methods for ma...
Expand abstract
Actions
Authors
Bibliographic Details
- Publisher:
- Publ by IEE
- Journal:
- IEE Conference Publication
- Issue:
- 344
- Pages:
- 244-249
- Publication date:
- 1991-01-01
- Source identifiers:
-
324728
Item Description
- Language:
- English
- Pubs id:
-
pubs:324728
- UUID:
-
uuid:3b365cb7-0f51-4357-a9e9-8ccea9b35dde
- Local pid:
- pubs:324728
- Deposit date:
- 2013-11-17
Terms of use
- Copyright date:
- 1991
If you are the owner of this record, you can report an update to it here: Report update to this record