Parametrized programming in LILEANNA

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Parametrized programming in LILEANNA

Full text

Pdf (1.11 MB)

Source

Symposium on Applied Computing archive
Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice table of contents

Indianapolis, Indiana, United States

Pages: 77 - 86

Year of Publication: 1993

ISBN:0-89791-567-4

Author

Will Tracz

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 10, Citation Count: 4

Additional Information:

references cited by index terms review 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/162754.162815 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	B.W. Boehm. Domain-Specific Software Architectures and Megaprogramming. In Proceedings of Domain-Specific Software Architecture (DSSA) Workshop, pages 345-363, July 11-12 1990.
	2	B.W. Boehm and W.L. Scherlis. Meg&programming. In Proceedings of Software Technolo~ Conference 1992, pages 63-82, April 1992.
	3	Rod M. Burstall , Joseph A. Goguen, The Semantics of CLEAR, A Specification Language, Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, p.292-332, January 22-February 02, 1979
	4	J. Carter, MMAIM: a software development method for Ada, ACM SIGAda Ada Letters, v.VIII n.3, p.107-114, May/June, 1988 [doi>10.1145/44772.44779]
	5	Lee Wendell Cooprider, The representation of families of software systems., 1978
	6	F. DeRemer and H. Kron. Prograxaming-in-the- Large versus Programming-in-the-Small. IEEE Transactions on Software Engineering, SE-2(2):80- 86, June 1976.
	7	O. Ghisio and S. Truzzi. Extended Approach to Ada Software Reusability. CSELT Technical Reports, 15(1):89-94, February 1987.
	8	P. Ghisio, P. Gouthieg, and S. Trussi. New A~ proach to Software Reusability. CJELT Technical Reports, 16(1):53-60, February 1988.
	9	Joseph A. Goguen, Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs, Proceedings of the International Conference on Mathematical Studies of Information Processing, p.425-473, August 23-26, 1978
	10	J.A. Goguen. LIL- A Library Interconnect Language. In Report on Program Libraries Workshop, pages 12-51, Menlo Park, Calif., October 1983. SRI International.
	11	J.l. Goguen. Parameterised Programming. IEEE Transactions on Software Engineerin~, SE- 10(5):528-543, September 1984.
	12	A Joseph Goguen, Reusing and interconnecting software components, Computer, v.19 n.2, p.16-27, Feb. 1986 [doi>10.1109/MC.1986.1663146]
	13	J. A. Goguen, Principles of parameterized programming, Software reusability: vol. 1, concepts and models, ACM Press, New York, NY, 1989 [doi>10.1145/73103.73110]
	14	J.A. Goguen and K.N. Levitt, editors. Report on P~m Libraries Workshop. Sill International, Menlo Park, Calif., 1983.
	15	M. D. Lubars, A knowledge-based design aid for the construction of software systems, University of Illinois, Department of Computer Science, Urbana, IL, 1987
	16	M.D. Luha~s. Wide-Spectrum Support for Software Reusability. Technical Report STP-276-87, Microelectronics and Computer Technology Corporation, August 1987.
	17	David C. Luckham, Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs, Springer-Verlag New York, Inc., Secaucus, NJ, 1990
	18	D.C. Luckham and F.W. yon Henke. ANNA: A Language for Annotating Ada Programs. In IEEE Computer Societll Conference on Ada Applications and Environments, October 15-18 1984.
	19	D.C. Luckham and F.W. yon Henke. An Overview of Anna, a Specification Language for Ada. IEEE Software, 2(2):9-23, Much 1985.
	20	David C. Luckham , Friedrich W. von Henke , Bernd Krieg-Brückner , Olaf Owe, ANNA: a language for annotating Ada programs, Springer-Verlag New York, Inc., New York, NY, 1987
	21	B Meyer, Eiffel: programming for reusability and extendibility, ACM SIGPLAN Notices, v.22 n.2, p.85-94, Feb. 1987 [doi>10.1145/24686.24694]
	22	Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
	23	D. L. Parnas, A technique for software module specification with examples, Communications of the ACM, v.15 n.5, p.330-336, May 1972 [doi>10.1145/355602.361309]
	24	R. Prieto-Diaj. Domain Analysis for Reusability. In Proceedings of COMPSA C'87, pages 23-29, 1987.
	25	Alan Snyder, Encapsulation and inheritance in object-oriented programming languages, Conference proceedings on Object-oriented programming systems, languages and applications, p.38-45, September 29-October 02, 1986, Portland, Oregon, United States
	26	Joseph Wilson Thomas, Module interconnection in programming systems supporting abstraction., 1976
	27	Walter Franz Tichy, Software development control based on system structure description, 1979
	28	Will Tracz, A conceptual model for megaprogramming, ACM SIGSOFT Software Engineering Notes, v.16 n.3, p.36-45, July 1991 [doi>10.1145/127099.127102]
	29	William Jospeh Tracz, Parameterized programming in Lileanna, Stanford University, Stanford, CA, 1997
	30	W.J. Tracs. Software Reuse Maxims. ACM Software Engineering Notes, 13(4):28-31, October 1988.
	31	US Department of Defense, US Government Printing Office. The Ada Programming Language Reference Manua~ 1983. ANSI/MIL-STIL1815A-1983 Document.
	32	Alexander Lee Wolf, Language and tool support for precise interface control (environments, programming languages, module interconnection), 1985

CITED BY 4

	Peyman Oreizy , Nenad Medvidovic , Richard N. Taylor, Architecture-based runtime software evolution, Proceedings of the 20th international conference on Software engineering, p.177-186, April 19-25, 1998, Kyoto, Japan
	Nenad Medvidovic, ADLs and dynamic architecture changes, Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops, p.24-27, October 16-18, 1996, San Francisco, California, United States
	Richard N. Taylor , Will Tracz , Lou Coglianese, Software development using domain-specific software architectures: CDRl A011—a curriculum module in the SEI style, ACM SIGSOFT Software Engineering Notes, v.20 n.5, p.27-38, Dec. 1995
	Will Tracz, DSSA (Domain-Specific Software Architecture): pedagogical example, ACM SIGSOFT Software Engineering Notes, v.20 n.3, p.49-62, July 1995

INDEX TERMS

Primary Classification:
D. Software
D.2 SOFTWARE ENGINEERING
D.2.m Miscellaneous
Subjects: Reusable software**

Additional Classification:
D. Software
D.2 SOFTWARE ENGINEERING
D.2.2 Design Tools and Techniques
Subjects: Modules and interfaces
D.3 PROGRAMMING LANGUAGES
D.3.2 Language Classifications

Nouns: Ada
D.3.3 Language Constructs and Features
Subjects: Modules, packages

General Terms:
Design, Languages

REVIEW

"Richard John Botting : Reviewer"

We need systems that will construct new components by generalization, specialization, and extension of existing components, without forcing the programmer to edit the code manually. This research paper describes part of the author's doctoral w more...

Collaborative Colleagues:

Will Tracz: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player