Search
for Author
All Reviews
Jackson, Michael
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
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
5
10
15
25
50
100
per column
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy