| |
Browse All Reviews > Theory Of Computation (F) > Logics And Meanings Of Programs (F.3) > Specifying And Verifying And Reasoning About Programs (F.3.1) > Specification Techniques (F.3.1...)
|
|
 |
|
|
| |
|
|
| |
1-10 of 44
Reviews about "Specification Techniques (F.3.1...)":
|
Date Reviewed |
| |
Comorphisms of structured institutions
Ţuţu I. Information Processing Letters 113(22-24): 894-900, 2013. Type: Article
Once upon a time, programmers talked to their clients. Later, they were given a written specification instead. These specifications became standardized with special forms and formats. Academics explored special logics to use in them. G...
|
Dec 11 2013 |
| |
Proof search specifications of bisimulation and modal logics for the &pgr;-calculus
Tiu A., Miller D. ACM Transactions on Computational Logic 11(2): 1-35, 2010. Type: Article
In a small but vibrant corner of the computer science world, theoreticians continue an elegant and subtle program to try to elucidate the meaning of computation. Milner, Parrow, and Walker’s &pgr;-calculus [1] has advocat...
|
May 17 2010 |
| |
Method redefinition: ensuring alternative behaviors
Nunes I. Information Processing Letters 92(6): 279-285, 2004. Type: Article
This paper is concerned with mechanisms for preserving the behavioral properties of subclasses that redefine methods of superclasses. It explores the various mechanisms suggested in the literature, and brings out their limitations. The...
|
Apr 27 2005 |
| |
The behavior-realization adjunction and generalized homomorphic relations
Leavens G., Pigozzi D. Theoretical Computer Science 177(1): 183-216, 1997. Type: Article
The authors present a generalization of a paper by Schoett [1] for algebras containing carrier sets that are not term-generated. Reading this lengthy paper is tedious because the authors introduce many nonclassical notions. They do not...
|
Apr 1 1998 |
| |
A formal basis for architectural connection
Allen R., Garlan D. ACM Transactions on Software Engineering and Methodology 6(3): 213-249, 1997. Type: Article
Allen and Garlan present a formal approach to the description of the architectural design of interacting components of a software system. The intention of the approach is to extend traditional methods of formalizing architectural desig...
|
Oct 1 1997 |
| |
A graphical interval logic for specifying concurrent systems
Dillon L., Kutty G., Moser L., Melliar-Smith P., Ramakrishna Y. ACM Transactions on Software Engineering and Methodology 3(2): 131-165, 1994. Type: Article
A graphical interval logic called “GIL” and the “GIL tool set” are described. GIL’s name stems from its two essential characteristics: the graphical syntax and the “interval-b...
|
Sep 1 1996 |
| |
Conjoining specifications
Abadi M., Lamport L. ACM Transactions on Programming Languages and Systems 17(3): 507-535, 1995. Type: Article
The authors present a method for deducing properties of a concurrent system by reasoning about its components. Specifications are given in the Temporal Logic of Actions (TLA). Both the decomposition of a system (into its components) an...
|
Aug 1 1996 |
| |
An introduction to discrete mathematics, formal system specification, and Z
Ince D. (ed), Oxford University Press, Inc., New York, NY, 1993. Type: Book (9780198538363)
The fact that this book now appears in its second edition attests to the popularity of both the subject matter and the author’s way of dealing with it. The author has two aims: to introduce logic, sets, relations, and functio...
|
Aug 1 1995 |
| |
An old-fashioned recipe for real time
Abadi M., Lamport L. ACM Transactions on Programming Languages and Systems 16(5): 1543-1571, 1994. Type: Article
Using the temporal logic of actions (TLA) as a base, the authors examine how the use of a nondecreasing real-valued state variable to model time can facilitate the specification of, and reasoning about, concurrent real-time systems. Th...
|
Jul 1 1995 |
| |
Toward formal development of programs from algebraic specifications: parameterisation revisited
Sannella D., Sokolowski S., Tarlecki A. Acta Informatica 29(9): 689-736, 1992. Type: Article
The reviewer appears to have misunderstood the topic of the paper. It is not mainly about “programs consisting of many separate modules,” but about specifications of such programs, consisting of specification...
|
Mar 1 1995 |
| |
|
|
| |
|
|
