|
 ABSTRACT
Contrary to recent claims that specification should be completed before implementation begins, this paper presents two arguments that the two processes must be intertwined. First, limitations of available implementation technology may force a specification change. For example, deciding to implement a stack as an array (rather than as a linked list) may impose a fixed limit on the depth of the stack. Second, implementation choices may suggest augmentations to the original specification. For example, deciding to use an existing pattern-match routine to implement the search command in an editor may lead to incorporating some of the routine's features into the specification, such as the ability to include wild cards in the search key. This paper elaborates these points and illustrates how they arise in the specification of a controller for a package router.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Balzer, R. M. Dataless programming. Full Joint Computer Conference, 1967, pp. 535-545.
|
| |
2
|
Robert Balzer , Neil Goldman , David Wile, On the Transformational Implementation approach to programming, Proceedings of the 2nd international conference on Software engineering, p.337-344, October 13-15, 1976, San Francisco, California, United States
|
| |
3
|
Balzer, R. M., and N. M. Goldman. Principles of good software specification and their implications for specification languages. Proceedings of the Specifications of Reliable Software Conference, Boston, Massachusetts, April, 1979, pp. 58-67. (Also presented at the National Computer Conference, 1981.)
|
| |
4
|
Balzer, R. M. Transformational implementation: An example. IEEE Trans. Software Engineering 7, 1 (Jan. 1981), 3-14. Also published as USC/Information Sciences Institute RR-79-79, May 1981.
|
| |
5
|
|
 |
6
|
|
| |
7
|
Dijkstra, E. W. Notes on structured programming. In Structured Programming, Academic Press, New York, 1972.
|
| |
8
|
Hommel, G. (Ed.) Vergleich verschiedener Spezifikationsverfahren am Beispiel einer Paketverteilanlage. Kernforschungszentrum Karlsruhe GmbH, August, 1980. PDV- Report, KfK-PDV 186, Part 1.
|
| |
9
|
|
| |
10
|
|
| |
11
|
|
CITED BY 52
|
|
Fred Grossman , Robert J. Klerer , Charles B. Engle, Jr., Automating the Ada programming process: a domain-specific approach, Proceedings of the conference on TRI-Ada '93, p.302-311, September 18-23, 1993, Seattle, Washington, United States
|
|
|
|
|
|
|
|
|
Pedro Szekely , Ping Luo , Robert Neches, Facilitating the exploration of interface design alternatives: the HUMANOID model of interface design, Proceedings of the SIGCHI conference on Human factors in computing systems, p.507-515, May 03-07, 1992, Monterey, California, United States
|
|
|
Anita Krabbel , Ingrid Wetzel , Heinz Züllighoven, On the inevitable intertwining of analysis and design: developing systems for complex cooperations, Proceedings of the conference on Designing interactive systems: processes, practices, methods, and techniques, p.205-213, August 18-20, 1997, Amsterdam, The Netherlands
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M. S. Jaffe , N. G. Leveson, Completeness, robustness, and safety in real-time software requirements specification, Proceedings of the 11th international conference on Software engineering, p.302-311, May 1989, Pittsburgh, Pennsylvania, United States
|
|
|
Ernest H. Page , Arnold Buss , Paul A. Fishwick , Kevin J. Healy , Richard E. Nance , Ray J. Paul, Web-based simulation: revolution or evolution?, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.10 n.1, p.3-17, Jan. 2000
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J. Ludewig , M. Glinz , H. Huser , G. Matheis , H. Matheis , M. F. Schmidt, SPADES—a specification and design system and its graphical interface, Proceedings of the 8th international conference on Software engineering, p.83-89, August 28-30, 1985, London, England
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Gerhard Fischer , Jonathan Grudin , Andreas Lemke , Raymond McCall , Jonathan Ostwald , Brent Reeves , Frank Shipman, Supporting indirect collaborative design with integrated knowledge-based design environments, Human-Computer Interaction, v.7 n.3, p.281-314, September 1992
|
|
|
Gerhard Fischer , David Redmiles , Lloyd Williams , Gretchen I. Puhr , Atsushi Aoki , Kumiyo Nakakoji, Beyond object-oriented technology: where current approaches fall short, Human-Computer Interaction, v.10 n.1, p.79-119, March 1995
|
|
|
|
|
|
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
D.2