Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Who builds a house without drawing blueprints?
Lamport L. Communications of the ACM58 (4):38-41,2015.Type:Article
Date Reviewed: May 13 2015

The ideal design and implementation of software systems should include detailed specifications of their requirements and functionalities. Unfortunately, as illustrated in this perceptive paper, writing software specifications without years of experience is taxing. What can computer scientists learn about software specifications from architects who design and oversee complex buildings? How can computer scientists educate the future generation of programmers to focus on the specifications of coding reliable programs?

Lamport clearly used examples from graph theory, systems optimizations, and concurrent and distributed systems to echo the need for students to understand the tasks of software components prior to writing application programs. Undeniably, formal program specifications support the proofs of correctness of programs. The standpoints in this article call for students to learn the art of program specifications through practice. Unfortunately, the time constraints imposed on course offerings at many college campuses make it problematic to provide the irreplaceable experiences of program specifications.

Clearly, Lamport never claimed to be a software security design expert in this article. Yet, I encourage all future designers of technologies to focus attention on the formal security specifications of hardware and software systems. But, do we have the adequate training environments as promoted by Lowry et al. [1] for educating future undergraduate and graduate computer scientists about the kinds of formal specifications advocated in this paper? You make the call.

Reviewer:  Amos Olagunju Review #: CR143436 (1508-0707)
1) Lowry, M.; Philpot, A.; Pressburger, T. ; Underwood, I. A formal approach to domain-oriented software design environments. In Proc. of the 9th Knowledge-Based Software Engineering Conference. IEEE Computer Society Press, 1994, 48–57.
Bookmark and Share
  Reviewer Selected
Featured Reviewer
 
 
Coding Tools and Techniques (D.2.3 )
 
 
Software Architectures (D.2.11 )
 
 
Software/ Program Verification (D.2.4 )
 
Would you recommend this review?
yes
no
Other reviews under "Coding Tools and Techniques": Date
Typographic style is more than cosmetic
Oman P., Cook C. Communications of the ACM 33(5): 506-520, 1990. Type: Article
Mar 1 1991
Obfuscated C and other mysteries
Libes D., John Wiley & Sons, Inc., New York, NY, 1993. Type: Book (9780471578055)
Aug 1 1993
Writing solid code
Maguire S., Microsoft Press, Redmond, WA, 1993. Type: Book (9781556155512)
Feb 1 1994
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy