A taxonomy for identifying a software component for uncertain and partial specifications

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A taxonomy for identifying a software component for uncertain and partial specifications

Full text

Pdf (1.07 MB)

Source

Symposium on Applied Computing archive
Proceedings of the 1996 ACM symposium on Applied Computing table of contents

Philadelphia, Pennsylvania, United States

Pages: 570 - 579

Year of Publication: 1996

ISBN:0-89791-820-7

Authors

Giancarlo Succi	LII/DISA, Università di Trento, Via Zeni 8, I-38068 Rovereto, Italia
Francesco Baruchelli	LII/DISA, Università di Trento, Via Zeni 8, I-38068 Rovereto, Italia
Marco Ronchetti	LII/DISA, Università di Trento, Via Zeni 8, I-38068 Rovereto, Italia

Sponsors

SIGBIO: ACM Special Interest Group on Biomedical Computing
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGCUE: ACM Special Interest Group on Computer Uses In Education
SIGICE: ACM Special Interest Group on Individual Computing Environment
SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references index terms collaborative colleagues peer to peer

Tools and Actions:	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/331119.331457 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	D. Barstow, An Experiment in Knowledge-based Automatic Programming, Artificial Intelligence, Vol. 12, pp. 73-119, North-Holland, Amsterdam, 1979.
	2	B. Bech, Declarative Programming for Component Interconnection, Proceedings of the WISR '92 5th Annual Workshop on Software Reuse, Latour, L., Philbrick, S. and Stevens, M., eds., Palo Alto, CA, October 20-29, 1992.
	3	B. Cheng and J. Jeng, Formal Methods Applied to Reuse,Proceedings of the WISR '92 5th Annual Workshop on Software Reuse, Latour, L., Philbrick, S. and Stevens, M., eds., Palo Alto, CA, October 20-29, 1992.
	4	Nachum Dershowitz, Program abstraction and instantiation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.3, p.446-477, July 1985 [doi>10.1145/3916.3986]
	5	A.J. Dix, Formal Methods for Interactive Systems, Academic Press, 1992.
	6	William B. Frakes , Ricardo Baeza-Yates, Information retrieval: data structures and algorithms, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
	7	W. B. Frakes , T. P. Pole, An Empirical Study of Representation Methods for Reusable Software Components, IEEE Transactions on Software Engineering, v.20 n.8, p.617-630, August 1994 [doi>10.1109/32.310671 ]
	8	W. B. Frakes , P. B. Gandel, Representing reusable software, Information and Software Technology, v.32 n.10, p.653-664, Dec. 1990 [doi>10.1016/0950-5849(90)90098-C]
	9	S. Komiya, Automatic programming by composing program components and its realization method, Future Generation Computer Systems, v.5 n.1, p.151-161, Aug. 1989 [doi>10.1016/0167-739X(89)90034-4]
	10	Charles W. Krueger, Software reuse, ACM Computing Surveys (CSUR), v.24 n.2, p.131-183, June 1992 [doi>10.1145/130844.130856]
	11	J.Rockmore, Knowledge-based Software Turns Specifications into Efficient Programs, Electronic Design, July, 1985.
	12	JR. Steigerwald, Reusable Component Retrieval with Formal Specifications, Proceedings of the WIJR '92 5th Annual Workshop on Software Reuse, Latour, L., Philbrick, S. and Stevens, M., eds., Palo Alto, CA, October 20-29, 1992.
	13	G. Yu, Automatic Retrieval of Formally Specified Real-Time Software Components, Proceedings of the WISR '92 5th Annual Workshop on Software Reuse, Latour, L., Philbrick, S. and Stevens, M., eds., Palo Alto, CA, October 20-29, 1992.