Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Jackson, Michael Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 5 of 10 reviews    
  Software engineering and formal methods
Hinchey M., Jackson M., Cousot P., Cook B., Bowen J., Margaria T. Communications of the ACM 51(9): 54-59, 2008.  Type: Article

Weaving formal methods into the software engineering mainstream, this paper summarizes three keynote speeches from the fifth Institute of Electrical and Electronics Engineers (IEEE) International Conference on Software Engineering and ...
...
Oct 10 2008  
  Architecture-driven problem decomposition
Rapanotti L., Hall J., Jackson M., Nuseibeh B.  Requirements Engineering (Proceedings of the 12th IEEE International Requirements Engineering Conference (RE’04),Sep 6-Sep 10, 2004) 80-89, 2004.  Type: Proceedings

The authors discuss the application of software architecture to requirements analysis. More specifically, they discuss how problem frames that are used in the problem space can benefit from software architecture, which is the first ste...
...
May 5 2005  
  Why software writing is difficult and will remain so
Jackson M. Information Processing Letters 88(1-2): 13-25, 2003.  Type: Article

The main point of this paper is explained by the author in the following words: “[I]n short, to write useful software we must deal not only with the computer and its software, but also with the complexities of the natural wor...
...
Jan 19 2004  
  Aspects of system description
Jackson M. In Programming methodology. New York, NY: Springer-Verlag New York, Inc., 2003.  Type: Book Chapter

It is widely accepted that a requirements specification describes software system functions and features independently of its implementation. This apparently restrictive statement is, however, the superficial manifestation of a major p...
...
Nov 25 2003  
  Problem frames: analyzing and structuring software development problems
Jackson M., Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000. 390 pp.  Type: Book (9780201596274)

The key words in the title of this book are “problems” and “analyzing.” Jackson presents a way of categorizing and analyzing software problems that he calls “problem frames.” ...
...
Jan 1 2001  

 
Display per column
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy