David Brandin
Pages 84-85
Robert L. Ashenhurst
Pages 86-88
Rosalie Steier
Page 89
Many have criticized the Department of Defense's new computer language, Ada, saying it is too large, too complicated, or too difficult to use. Are they right? And are there some simplifications that could be made to Ada without …
Brian A. Wichmann
Pages 98-103
The conventional approach to software development is being challenged by new ideas, many of which can be organized into an alternative decision structure called the “operational” approach. The operational approach is explained …
Pamela Zave
Pages 104-118
Information system design can be influenced and ultimate performance parameters accurately forecast through the coordinated use of five performance analysis tools. The complementary methodology is used to first predict and then …
Gordon E. Anderson
Pages 119-125
Users of computer systems are now accustomed to the convenience of online help systems and generally demand these amenities in the computers they buy. However, recent studies as to the efficacy of certain types of assistance
…
Raymond C. Houghton
Pages 126-133
Programs are given a new semantics with the merit that a specification written as a first-order predicate can be refined, step by step, to a program via the rules of Predicate Calculus. The semantics allows a free mixture of
…
Eric C. R. Hehner
Pages 134-143
Part I of this two-part paper presented a new semantics of programs. Each program is considered to be a predicate, in a restricted notation, that specifies the observable behavior of a computer executing the program. We considered …
Eric C. R. Hehner
Pages 144-151
Hanan Samet
Page 151.1
You-Dong Liang, Brian A. Barsky
Page 151.2
We present a different approach to finding an optimal computation order; it exploits both the difference between the size of the matrices and the difference between the number of nonzero elements in the matrices. Therefore, this …
Nicola Santoro
Pages 152-156
