| |
 |
|
|
Arsac, Jacques
Ecole Normale Superieure
Paris, France
|
|
 |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 10 of 53
reviews
|
|
|
|
|
|
|
|
Using a coordination language to specify and analyze systems containing mobile components
Ciancarini P., Franzé F., Mascolo C. ACM Transactions on Software Engineering and Methodology 9(2): 167-198, 2000. Type: Article
Building distributed applications on networks is complex, because they must exploit a wide set of software resources, with pieces of code moving from one site to another. This paper deals with the interaction between mobile entities an...
|
Oct 1 2000 |
|
|
|
|
|
|
On a method of multiprogramming
Feijen W., van Gasteren A., Springer-Verlag New York, Inc., New York, NY, 1999. Type: Book (9780387988702)
The simple examples the authors begin with immediately convince us that multiprogramming is highly difficult. Even if each individual program is proven correct, we have to show that their concurrent execution will not induce total dead...
|
May 1 2000 |
|
|
|
|
|
|
Fortran 90/95 explained (2nd ed.)
Metcalf M., Reid J., Oxford University Press, Inc., New York, NY, 1999. Type: Book (9780198505587)
Fortran, one of the earliest high-level languages, was designed in the mid-1950s for scientific applications. Dialects proliferated in the 1960s, even after the publication of a first standard in 1966. In 1969, Dijkstra showed that the...
|
Dec 1 1999 |
|
|
|
|
|
|
Modelling systems: practical tools and techniques in software development
Fitzgerald J., Larsen P., Cambridge University Press, New York, NY, 1998. 269 pp. Type: Book (9780521623483)
“There is little doubt that software engineers can stilllearn from other more mature engineering disciplines.” Mechanicalor chemical engineering, however, is intended to deliver an object, likea bridge, while softwa...
|
Aug 1 1999 |
|
|
|
|
|
|
The practice of programming
Kernighan B., Pike R., Addison-Wesley Longman Publishing Co, Inc., Boston, MA, 1999. 267 pp. Type: Book (9780201615869)
The purpose of this book is to help programmers improve theirefficiency; it is not a programming course. The first chapter isdedicated to programming style. Programs are written to be read byhumans, not by machines. Very often, program...
|
Apr 1 1999 |
|
|
|
|
|
|
Generic programming and the STL: using and extending the C++ Standard Template Library
Austern M., Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1998. 548 pp. Type: Book (9780201309560), Reviews: (2 of 2)
The history of programming started with imperative programmingusing assembly languages, Fortran, Cobol, and similar languages. A newprogramming paradigm was introduced in the 1960s with functionalprogramming, using Lisp-like languages....
|
Feb 1 1999 |
|
|
|
|
|
|
Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance
Arora A., Kulkarni S. IEEE Transactions on Software Engineering 24(6): 435-450, 1998. Type: Article
Masking fault-tolerant systems always satisfy their problem specifications, and users of such systems always observe expected behavior. The proposed method of designing such systems adds components for nonmasking fault tolerance such t...
|
Oct 1 1998 |
|
|
|
|
|
|
Formally Verified On-Line Diagnosis
Walter C., Lincoln P., Suri N. IEEE Transactions on Software Engineering 23(11): 684-721, 1997. Type: Article
Fault detection and isolation in a system, leading to possible reconfiguration, are addressed. Offline diagnosis may cause catastrophic failure due to optimistic diagnosis, or underutilization of resources due to pessimistic diagnosis....
|
Jun 1 1998 |
|
|
|
|
|
|
Software Reuse by Specialization of Generic Procedures through Views
Gordon S J. IEEE Transactions on Software Engineering 23(7): 401-417, 1997. Type: Article
One possible way of increasing software productivity and reliability is to reuse pieces of existing, verified software. Existing procedures, however, operate on specific data types that generally are not appropriate for the new problem...
|
Apr 1 1998 |
|
|
|
|
|
|
Verification of sequential and concurrent programs (2nd ed.)
Apt K. (ed), Olderog E., Springer-Verlag New York, Inc., Secaucus, NJ, 1997. Type: Book (9780387948966)
A program consists of statements designating the actions to be performed and the variables on which they operate. Each statement changes the state of variables, which may be defined by an assertion, that is, a relation between variable...
|
Feb 1 1998 |
|
|
|
|
|
| |
|
|
| |
|
|
