| |
 |
|
|
Prywes, Noah
University of Pennsylvania
Philadelphia, Pennsylvania
|
|
|
 |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 10 of 24
reviews
|
|
|
|
|
|
|
|
Looking into the future of air transportation modeling and simulation: a grand challenge
Wieland F., Pritchett A. SIMULATION 83(5): 373-384, 2007. Type: Article
The key to this paper is the “grand challenge” of creating a network to serve the diverse needs of simulation of air transportation....
|
Feb 8 2008 |
|
|
|
|
|
|
Shallow knowledge as an aid to deep understanding in early phase requirements engineering
Sawyer P., Rayson P., Cosh K. IEEE Transactions on Software Engineering 31(11): 969-981, 2005. Type: Article
This paper reports on early stage research on the processing of background textual materials to identify key concepts for composing requirements of a respective solution system. As an example, it reports on processing the text (44,000 ...
|
Jun 30 2006 |
|
|
|
|
|
|
Software requirements specification, design, and implementation
Munson J., Auerbach Publications, Boston, MA, 2005. 400 pp. Type: Book (9780849319921)
Many underlying points of view are reflected in this book’s structure and contents. Foremost is an advocacy of frontloading the investment in documentation and analysis. This is claimed to be a way of saving costs in the deve...
|
May 12 2006 |
|
|
|
|
|
|
 Live and let die: LSC based verification of UML models
Damm W., Westphal B. Science of Computer Programming 55(1-3): 117-159, 2005. Type: Article
The decades old problem of formally securing safety critical systems is addressed in this paper. These are concurrent systems that interact with critical physical environments....
|
Oct 24 2005 |
|
|
|
|
|
|
Modeling Multimodal Human-Computer Interaction
Obrenovic Z., Starcevic D. Computer 37(9): 65-72, 2004. Type: Article
Obrenovic and Starcevic make two interesting points in this paper: that the unified modeling language (UML) is indeed flexible, and can be readily extended to new areas of computer applications, and that UML can be applied to the model...
|
May 24 2005 |
|
|
|
|
|
|
Implementing the essence of reflection: a reflective run-time environment
Ancona M., Cazzola W. Applied computing (Proceedings of the 2004 ACM Symposium on Applied Computing, Nicosia, Cyprus, Mar 14-17, 2004) 1503-1507, 2004. Type: Proceedings
Reflection has been defined as computation performed on self. The authors complain that “it has never penetrated at a level adequate for its capabilities.” They propose correcting this by defining a minimal set of s...
|
Oct 1 2004 |
|
|
|
|
|
|
Specification of real-time imaging systems using the UML
Neill C., Laplante P. Real-Time Imaging 9(2): 125-137, 2003. Type: Article
This paper attempts to build a case for using the Q-model by Quirk and Gilbert [1], in conjunction with the unified modeling language (UML) of Booch and Jacobson, as the ultimate development that will finally induce real-time system im...
|
Jan 26 2004 |
|
|
|
|
|
|
Preventative programming techniques: avoid and correct common mistakes
Hawkins B., Charles River Media, Inc., Rockland, MA, 2003. 322 pp. Type: Book (9781584502579)
To whom is this book directed? Borrowing the book’s metaphor paradigm, where illnesses are metaphors of programming problems, the targets of the book are personal physical therapeutic trainers, under the guise of leaders of p...
|
Aug 4 2003 |
|
|
|
|
|
|
Automatic algorithm recognition and replacement: a new approach to program optimization
Metzger R., Wen Z., MIT Press, Cambridge, MA, 2000. 219 pp. Type: Book (9780262133685), Reviews: (1 of 2)
The problem studied by the book is briefly stated in the introduction: “What if compilers could recognize a poor [performing] algorithm…and replace it with the best implementation of a better algorithm that solves t...
|
Mar 1 2001 |
|
|
|
|
|
|
Ace: a language for parallel programming with customizable protocols
Raghavachari M., Rogers A. ACM Transactions on Computer Systems 17(3): 202-248, 1999. Type: Article
Ace, a new parallel programming language, is more efficient than existing languages for parallel processing with message passing and clustered machines. This topic may sound prosaic, but it is explained and demonstrated well, making th...
|
Feb 1 2000 |
|
|
|
|
|
| |
|
|
| |
|
|
