|
|
|
|
Adams, J.
New Mexico State University
Las Cruces, New Mexico
|
|
|
|
|
|
|
|
Date Reviewed |
|
|
1 - 4 of 4
reviews
|
|
|
|
|
|
|
|
Formal Specification and Design Time Testing Garrard C., Coleman D., Gallimore R. IEEE Transactions on Software Engineering 16(1): 1-12, 1990. Type: Article
The authors advocate the validation of designs through the use of formal specifications and the testing of those specifications. More specifically, validation is done by testing the consistency between executable requirement specificat...
|
Dec 1 1990 |
|
|
|
|
|
|
A denotational semantics for Prolog Nicholson T., Foo N. ACM Transactions on Programming Languages and Systems 11(4): 650-665, 1989. Type: Article
This paper will probably interest devotees of both denotational semantics and Prolog, but few others. The paper requires a fairly high level of sophistication in denotational semantics but only a moderate familiarity with Prolog....
|
Jun 1 1990 |
|
|
|
|
|
|
An introduction to discrete mathematics and formal system specification Ince D. (ed), Clarendon Press, New York, NY, 1988. Type: Book (9789780198596677)
As indicated by the title, this text takes the interesting approach of presenting both the usual topics of discrete mathematics and a formal specification language at the introductory level. The text is divided into three parts, follow...
|
Jan 1 1990 |
|
|
|
|
|
|
A mathematical approach to nondeterminism in data types Hesselink W. ACM Transactions on Programming Languages and Systems 10(1): 87-117, 1988. Type: Article
Nondeterminism has been useful as a high-level expression of parallelism, as in pure logic programming, and in control structures that avoid explicit choices between different but acceptable alternatives, as in Dijkstra’s ...
|
Sep 1 1988 |
|
|
|
|
|
|
|
|
|
|
|