Program design by informal English descriptions

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Program design by informal English descriptions

Full text

Pdf (1.12 MB)

Source

Communications of the ACM archive
Volume 26 , Issue 11 (November 1983) table of contents

Pages: 882 - 894

Year of Publication: 1983

ISSN:0001-0782

Author

Russell J. Abbott

The Aerospace Corp., Los Angeles, CA, and California State Univ., Northridge, CA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 19, Downloads (12 Months): 165, Citation Count: 41

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/182.358441 What is a DOI?

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	Russell J. Abbott, An integrated approach to software development, John Wiley & Sons, Inc., New York, NY, 1986
	2	Grady Booch, Software engineering with Ada, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1983
	3	Edsger W. Dijkstra, The humble programmer, Communications of the ACM, v.15 n.10, p.859-866, Oct. 1972 [doi>10.1145/355604.361591]
	4	U.S. Department of Defense. Reference Manual for the Ada Programming Language. MIL-STD 1815, 1980.
	5	John V. Guttag , Ellis Horowitz , David R. Musser, Abstract data types and software validation, Communications of the ACM, v.21 n.12, p.1048-1064, Dec. 1978 [doi>10.1145/359657.359666]
	6	C. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, v.12 n.10, p.576-580, Oct. 1969 [doi>10.1145/363235.363259]
	7	Liskov, B. H. and Zilles, S. Specification Techniques for Data Abstractions. IEEE Trans. Software Engineering. SE-1, 1, (March 1975) 7-19.
	8	D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
	9	Quine, W. V. Word and Object. MIT Press, Cambridge, MA 1960.
	10	Niklaus Wirth, Systematic Programming: An Introduction, Prentice Hall PTR, Upper Saddle River, NJ, 1973

CITED BY 41

	A. Drogoul , A. Collinot, Applying an Agent-Oriented Methodology to the Design of Artificial Organizations: A Case Study in Robotic Soccer, Autonomous Agents and Multi-Agent Systems, v.1 n.1, p.113-129, 1998
	Joseph E. Lang , Robert K. Maruyama, Teaching the abstract data type in CS2, ACM SIGCSE Bulletin, v.21 n.1, p.71-73, Feb. 1989
	G. K. Khalsa, Using object modeling to transform structured analysis into object oriented design, Proceedings of the sixth Washington Ada symposium on Ada, p.201-212, July 1989, McLean, Virginia, United States
	Natalia Juristo , Ana Maria Moreno , Marta López, How to Use Linguistic Instruments for Object-Oriented Analysis, IEEE Software, v.17 n.3, p.80-89, May 2000
	Ken Abernethy , John C. Kelly, Comparing object-oriented and data flow models—a case study, Proceedings of the 1992 ACM annual conference on Communications, p.541-547, March 03-05, 1992, Kansas City, Missouri, United States
	Brad Balfour, The evolution of an object oriented development method, Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations, p.213-223, October 21-25, 1991, San Jose, California, United States
	Russell J. Abbott, Knowledge abstraction, Communications of the ACM, v.30 n.8, p.664-671, Aug. 1987
	Joseph E. Lang , Brian R. Bogovich , Sean C. Barry , Brian G. Durkin , Michael R. Katchmar , Jonathan H. Kelly , J. Michael McCollum , Michael Potts, Object-oriented programming and design patterns, ACM SIGCSE Bulletin, v.33 n.4, December 2001
	Austen Rainer , Tracy Hall, A quantitative and qualitative analysis of factors affecting software processes, Journal of Systems and Software, v.66 n.1, p.7-21, 15 April 2003
	J. J. Granacki , A. C. Parker, PHRAN-SPAN: a natural language interface for system specifications, Proceedings of the 24th ACM/IEEE conference on Design automation, p.416-422, June 28-July 01, 1987, Miami Beach, Florida, United States
	Carl H. Block , Megan R. MacMillan , James Martin , David E. Monarchi, A prototype system for extracting objects from software specifications, Proceedings of the 1990 ACM SIGBDP conference on Trends and directions in expert systems, p.367-376, October 30-November 02, 1990, Orlando, Florida, United States
	J. C. Kelly, A comparison of four design methods for real-time systems, Proceedings of the 9th international conference on Software Engineering, p.238-252, March 1987, Monterey, California, United States
	John Ammirati , Mark Gerhardt , Dick Dye, Using object-oriented thinking to teach Ada, Proceedings of the seventh Washington Ada symposium on Ada, p.277-300, July 1990, McLean, Virginia, United States
	Hermann Kaindl, How to identify binary relations for domain models, Proceedings of the 18th international conference on Software engineering, p.28-36, March 25-29, 1996, Berlin, Germany
	Dirk Höltje , Nazim H. Madhavji , Tilmann Bruckhaus , WonKook Hong, Eliciting formal models of software engineering processes, Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research, p.28, October 31-November 03, 1994, Toronto, Ontario, Canada
	Tony Cianchetta, Teaching object-oriented analysis and design by "Cruisin' the classifieds for business objects", Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research, p.14, November 07-09, 1995, Toronto, Ontario, Canada
	Motoshi Saeki , Hisayuki Horai , Hajime Enomoto, Software development process from natural language specification, Proceedings of the 11th international conference on Software engineering, p.64-73, May 1989, Pittsburgh, Pennsylvania, United States
	Kar-Wing Edward Lor , Daniel M. Berry, Automatic Synthesis of SARA Design Models from System Requirements, IEEE Transactions on Software Engineering, v.17 n.12, p.1229-1240, December 1991
	Pankaj Jalote, Functional Refinement and Nested Objects for Object-Oriented Design, IEEE Transactions on Software Engineering, v.15 n.3, p.264-270, March 1989
	Turky N. Al-Otaiby , Walter P. Bond , Mohsen AlSherif, Sotware modularization using requirements attributes, Proceedings of the 42nd annual Southeast regional conference, April 02-03, 2004, Huntsville, Alabama
	Mark Woodman, A Program Design Language for software engineering, ACM SIGPLAN Notices, v.19 n.8, August 1984
	H. G. Pérez-González , Jugal K. Kalita , Alberto Salvador Núñez Varela , Richard S. Wiener, GOOAL: an educational object oriented analysis laboratory, Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA
	Surya B. Yadav, Control and Definition Modularization: an Improved Software Design Technique for Organizing Programs, IEEE Transactions on Software Engineering, v.16 n.1, p.92-99, January 1990
	Christian Kop, Conceptual modelling tool for novice designers, International Journal of Metadata, Semantics and Ontologies, v.3 n.2, p.151-165, December 2008
	Donald Firesmith, Structured analysis and object-oriented development are not compatible, ACM SIGAda Ada Letters, v.XI n.9, p.56-66, Nov./Dec. 1991
	Swathi C. Solsi , Edward L. Jones, Simple yet complete heuristics for transforming data flow diagrams into Booch style diagrams, ACM SIGAda Ada Letters, v.XI n.2, p.115-127, March/April 1991
	Sastry Nanduri , Spencer Rugaber, Requirements validation via automated natural language parsing, Journal of Management Information Systems, v.12 n.3, p.9-19, December 1995
	Turky N. Al-Otaiby , Mohsen AlSherif , Walter P. Bond, Toward software requirements modularization using hierarchical clustering techniques, Proceedings of the 43rd annual southeast regional conference, March 18-20, 2005, Kennesaw, Georgia
	Cornelis H. A. Koster , Erik Verbruggen, The AGFL Grammar Work Lab, Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference, p.13-18, June 10-15, 2002
	Vincenzo Ambriola , Vincenzo Gervasi, On the Systematic Analysis of Natural Language Requirements with CIRCE, Automated Software Engineering, v.13 n.1, p.107-167, January 2006
	Richard N. Taylor , Andre van der Hoek, Software Design and Architecture The once and future focus of software engineering, 2007 Future of Software Engineering, p.226-243, May 23-25, 2007
	Luiz Fernando Capretz, A brief history of the object-oriented approach, ACM SIGSOFT Software Engineering Notes, v.28 n.2, March 2003
	Xiping Song, A framework for understanding the integration of design methodologies, ACM SIGSOFT Software Engineering Notes, v.20 n.1, p.46-54, Jan. 1995
	Edward G. Amoroso, Creating formal specifications from requirements documents, ACM SIGSOFT Software Engineering Notes, v.20 n.1, p.67-70, Jan. 1995
	N. Anand, Clarify function], ACM SIGPLAN Notices, v.23 n.6, p.69-79, June, 1988
	Daniel M. Berry , Nancy Yavne , Moshe Yavne, On the requirements for the use of a program design language: parameterization, abstract data typing, strong typing, ACM SIGAda Ada Letters, v.VI n.1, p.82-89, Jan. 1986
	Federico Vazquez, Using object oriented structured development to implement a hybrid system, ACM SIGSOFT Software Engineering Notes, v.18 n.4, p.44-53, Oct. 1993
	Harald Schaschinger, ESA—an expert supported OOA method and tool, ACM SIGSOFT Software Engineering Notes, v.17 n.2, p.50-56, April 1992
	L. Mich, NL-OOPS: from natural language to object oriented requirements using the natural language processing system LOLITA, Natural Language Engineering, v.2 n.2, p.161-187, June 1996
	Leonid Kof , Markus Pizka, Validating Documentation with Domain Ontologies, Proceeding of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05, p.126-143, May 10, 2005
	John J. Granacki , Alice C. Parker , Yigal Arena, Understanding system specifications written in natural language, Proceedings of the 10th international joint conference on Artificial intelligence, p.688-691, August 23-28, 1987, Milan, Italy