|
|
|
|
Naur, Peter
Copenhagen University
Copenhagen, Denmark
|
|
|
|
|
|
|
|
Date Reviewed |
|
|
1 - 10 of 12
reviews
|
|
|
|
|
|
|
|
Computing: a human activity Naur P., ACM Press, New York, NY, 1992. 630 pp. Type: Book (9780201580693), Reviews: (2 of 3)
As the author and editors of this book, we find the review by L.van Doorn disappointingly misleading--first because of itsappearance in the section titled History of Computing, second because ofthe restricted scope of the revi...
|
Jul 1 1994 |
|
|
|
|
|
|
Cognitive science and concepts of mind Wagman M., Praeger Publishers, Westport, CT, 1991. Type: Book (9780275940447)
Wagman proposes to clarify the issue mentioned in this book’s title through a series of chapters titled “Logic,” “Reasoning,” “Problem Solving,” “Language,...
|
Aug 1 1993 |
|
|
|
|
|
|
Multilevel specification of real time systems Gabrielian A., Franklin M. Communications of the ACM 34(5): 50-60, 1991. Type: Article
The specification method for real-time software presented in this tutorial has been partly described by the authors in other published reports. The method centers around a hierarchy of automata, in which multiple states can be active a...
|
May 1 1992 |
|
|
|
|
|
|
Compatibility problems in the development of algebraic module specifications Ehrig H., Fey W., Hansen H., Löwe M., Jacobs D., Parisi-Presicce F. Theoretical Computer Science 77(1-2): 27-71, 1990. Type: Article
Reporting on an extended project concerning modularized software development, the authors present a number of theorems related to the compatibility of specifications generated at various steps in the development and...
|
Oct 1 1991 |
|
|
|
|
|
|
Analysis of Faults in an N-Version Software Experiment Brilliant S., Knight J., Leveson N. IEEE Transactions on Software Engineering 16(2): 238-247, 1990. Type: Article
In this experiment, 27 versions of a program, all produced by different programmers, were given one million randomly produced sets of input data and their reactions were compared, with special regard to the use of the different version...
|
Oct 1 1991 |
|
|
|
|
|
|
Reasoning about change: time and causation from the standpoint of artificial intelligence Shoham Y., MIT Press, Cambridge, MA, 1988. 200 pp. Type: Book (9780262192699), Reviews: (1 of 4)
The main part of this dissertation is the development, in several stages, oflogical formalisms for expressing issues related to situations involvingseveral items that react with one another over a period of time. Thisfield of interest ...
|
Jan 1 1989 |
|
|
|
|
|
|
Reasoning about change: time and causation from the standpoint of artificial intelligence Shoham Y., MIT Press, Cambridge, MA, 1988. 200 pp. Type: Book (9780262192699), Reviews: (4 of 4)
The author demonstrates his one hundred pages of formal developments interms of a single example, called the shooting scenario. This concernsthe basis for arguing whether when a gun is fired a loud bang will beheard. For this purpose a...
|
Jan 1 1989 |
|
|
|
|
|
|
Processes in computer program comprehension Weidenbeck S. Empirical studies of programmers (, Washington, DC, 571986. Type: Proceedings
This work reports on a modest experiment that tries to confirm that certain details of program texts, called beacons, are especially important for program comprehension. In the experiment, programmers were each given the same sh...
|
Mar 1 1988 |
|
|
|
|
|
|
What do users ask? Some thoughts on diagnostic advice Kidd A. Expert systems 85 (, Univ. of Warwick, Warwick, UK, 191986. Type: Proceedings
The paper is concerned with the requirements of expert systems for providing advice to persons (so-called users) who are faced with acute problems of practical, everyday life. The main contribution of the study is a review of observati...
|
Feb 1 1987 |
|
|
|
|
|
|
From state machines to temporal logic: specification methods for protocol standards Schwartz R., Melliar-Smith P. The analysis of concurrent systems (, Cambridge, 651985. Type: Proceedings
This paper characterizes and compares five techniques of formal specification of computer network protocols. As the basis of the discussion, each of the five techniques is used to specify one (and the same) so-called alternating bit pr...
|
Aug 1 1986 |
|
|
|
|
|
|
|
|
|
|
|