Towards an Ada basis for KBSE

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Towards an Ada basis for KBSE: Refine-Ada 95 conversion

Full text

Pdf (1.01 MB)

Source

Annual International Conference on Ada archive
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada table of contents

Philadelphia, Pennsylvania, United States

Pages: 193 - 204

Year of Publication: 1996

ISBN:0-89791-808-8

Authors

Paul A. Bailes	Centre for Software Maintenance, Department of Computer Science, The University of Queensland QLD 4072 Australia
Paul Burnim	Centre for Software Maintenance, Department of Computer Science, The University of Queensland QLD 4072 Australia
Murray Chapman	Centre for Software Maintenance, Department of Computer Science, The University of Queensland QLD 4072 Australia
Eric Salzman	Centre for Software Maintenance, Department of Computer Science, The University of Queensland QLD 4072 Australia

Sponsor

SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 2, Citation Count: 0

Additional Information:

references 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/240678.240716 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	Newcomb, P. and Markosian, L., "Automating the Modularisation of Large COBOL Programs: Application of ~m Enabling Technology for Reengineering", Proc. Working Conference on Reverse Engineering, pp. 222-230, IEEE (1993).
	2	Maiden, N.A. and Sutcliffe, A.G., "Analogical matching for specification retrieval", Proc. 6th Knowledge-Based Sc, ftware Engineering Conference, pp. 108-116, IEEE, 199 I.
	3	D. R. Smith, KIDS: A Semiautomatic Program Development System, IEEE Transactions on Software Engineering, v.16 n.9, p.1024-1043, September 1990 [doi>10.1109/32.58788]
	4	Bolton, D., Till, D., Green, S. and Jones, S., "Techniques and Tools for Knowledge-Based Requirements Engineering", in Hurley, W.D. (ed.), "Software Engineering and Knowledge Engineering: Trends for the Next Decade", pp. 113-150, World Scientific, Singapore (1995).
	5	Bailes, P.A., Atkinson, S., Chapman, M., Johnson, D. and Peake, I., "Towards an Open Software Conversion Architecture'', International Journal of Software Engineering and Knowledge Engineering, pp. 423-~A.A. (1995).
	6	Paul A. Bailes , Dan Johnson , Eric Salzman , Li Wang, DAda—an Ada preprocessor for functional programming, Proceedings of the conference on TRI-ADA '90, p.114-123, December 03-06, 1990, Baltimore, Maryland, United States [doi>10.1145/255471.255514]
	7	Paul A. Bailes , Dan Johnston , Eric Salzman , Li Wang, Full functional programming in a declarative Ada dialect, Proceedings of the conference on TRI-Ada '92, p.350-358, November 16-20, 1992, Orlando, Florida, United States [doi>10.1145/143557.143975]
	8	Richard Mark Soley , Christopher M. Stone, Object management architecture guide (3rd ed.), John Wiley & Sons, Inc., New York, NY, 1995
	9	Grosch, J. and Emmelman, H., "A tool box for compiler construction", GMD Report No. 20, Universitat Karlsmhe (199O).
	10	Paul A. Bailes , Paul Burnim , Murray Chapman , Eric J. Salzman, KBSE and Ada - Object and Enabling Technology, Proceedings of the Second International Eurospace - Ada-Europe Symposium on Ada in Europe, p.152-163, October 02-06, 1995