Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
 
Adams, J.
New Mexico State University
Las Cruces, New Mexico
  Follow this Reviewer
 
 
 
Options:
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 specifications, which ...

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, followed by an app...

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 if-fi. Simil...

Sep 1 1988  
 
 
   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy