- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 11 to 20 of 894 (0.109 seconds)Spelling suggestions: "subject:"eomputer software & programming"" "subject:"aomputer software & programming""
| 11 |
Understanding English descriptions of programsRamsay, Allan January 1982 (has links)
A considerable amount of work has been done in the field of verifying that computer programs fit their specifications. However, providing correct formal specifications is itself a fairly difficult and tedious task. Typically, people accept informal and incomplete descriptions of programs. These are used for "finding your way around" a large program, perhaps to identify troublesome parts. If formal correctness techniques are used at all, it will only be once suspect areas have been identified informally. This report presents a computer system that compares a LISP program with a description of the program written in a subset of English. The system interprets the English text; compares its interpretation with the code, using techniques concerned with superficial characteristics of the interpretation; investigates its comparison in detail using more formal techniques; and finally produces a documented version of the program, a brief report on how the specifications are implemented, and a database of detailed assertions about how the program and the specifications correspond.
|
| 12 |
Towards AND/OR parallel logic programmingKhabaza, Tom January 1989 (has links)
No description available.
|
| 13 |
The optimisation of user programs for the reduce algebraic manipulation system by pre-processingHicks, Richard John January 1984 (has links)
No description available.
|
| 14 |
Data-based mechanistic modelling (DBM) of nonlinear environmental systemsFawcett, Christopher P. January 1999 (has links)
No description available.
|
| 15 |
Priority in process calculiCamilleri, Juanito Albert January 1990 (has links)
No description available.
|
| 16 |
A framework for quality of service evaluation in distributed environmentsBogen, Manfred Adolf January 2000 (has links)
No description available.
|
| 17 |
Information discovery for interoperable autonomous database systemsZisman, Andrea January 1998 (has links)
No description available.
|
| 18 |
A steroid profiling expert systemDybowski, Richard January 1989 (has links)
No description available.
|
| 19 |
Proof methods and pragmatics for parallel programmingTofts, Chris January 1990 (has links)
No description available.
|
| 20 |
Fully abstract models of programming languagesStoughton, Allen January 1986 (has links)
No description available.
|
Page generated in 0.1146 seconds