1997 workshop on foundations of component-based systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

1997 workshop on foundations of component-based systems

Full text

Pdf (547 KB)

Source

ACM SIGSOFT Software Engineering Notes archive
Volume 23 , Issue 1 (January 1998) table of contents

Pages: 38 - 41

Year of Publication: 1998

ISSN:0163-5948

Authors

Gary T. Leavens	Department of Computer Science, Iowa State University, 226 Atanasoff Hall, Ames, Iowa
Oscar Nierstrasz	Institute for Computer Science & Applied Mathematics, University of Berne, Neubruckstrasse 10, CH-3012 Bern, Switzerland
Murali Sitaraman	Department of Computer Science & Electrical Engineering, West Virginia University, Morgantown, WV

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references cited by index terms collaborative colleagues

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/272263.272272 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	[BW 97] Buechi, M. and Weck, W. "A Plea for Grey-Box Components". In [LS 97].
	2	[F 97] Franch, X. "The Convenience for a Notation to Express Non-Functional Characteristics of Software Components". In [LS 97].
	3	David Scott Gibson , Bruce W. Weide, Behavioral relationships between software components, The Ohio State University, 1997
	4	[KLS 91] Korte, B., Lovasz, L., and Schrader, R., Greedoids, Algorithms and Combinatorics 4, Springer-Verlag, 1991.
	5	[LS 97] Leavens, G. T. and Sitaraman, M. editors. Proceedings of the Foundations of Component-Based Systems Workshop, Zurich, Switzerland, September 1997.
	6	M. D. Rice , S. B. Seidman, A Formal Model for Module Interconnection Languages, IEEE Transactions on Software Engineering, v.20 n.1, p.88-101, January 1994 [doi>10.1109/32.263757]
	7	[RS96] Rice, M. D. and Seidman, S. B, Using Z as a substrate for an architectural style description language, Technical Report TR-96- 120, Department of Computer Science, Colorado State University.
	8	Murali Sitaraman , Bruce W. Weide , William F. Ogden, On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations, IEEE Transactions on Software Engineering, v.23 n.3, p.157-170, March 1997 [doi>10.1109/32.585503]

CITED BY 2

	M. Aronszajn , M. Sitaranman , S. Atkinson , G. Kulczycki, A system for predictable component-based software construction, High integrity software, Kluwer Academic Publishers, Norwell, MA, 2001
	Edward A. Addy , Murali Sitaraman, Formal specification of COTS-based software: a case study, Proceedings of the 1999 symposium on Software reusability, p.83-91, May 21-23, 1999, Los Angeles, California, United States