A calculus of program modifications

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A calculus of program modifications

Full text

Pdf (1.17 MB)

Source

Symposium on Software Reusability archive
Proceedings of the 1997 symposium on Software reusability table of contents

Boston, Massachusetts, United States

Pages: 157 - 168

Year of Publication: 1997

ISBN:0-89791-945-9

Also published in ...

Authors

R. Mili	Department of Computer Science, University of Ottawa, Ottawa, Ont. K1N 6N5, Canada
M. Frappier
J. Desharnais
A. Mili

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 9, 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/258366.258415 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. Boehm, B. Clark, E. Horowitz, C.Westland. Cost Model for Future Software Life Cycle Processes: COCOMO 2.0. Annals of Software Engineering Special Volume on Software Process and Product Management. J.D. Arthur and S.M. Henry Eds, J.C. Baltzer AG, Science Publishers, Amstrerdam, The Netherlands, 1995.
	2	N. Boudriga, F. Elloumi, and A. Mili. The lattice of specifications: Applications to a specification methodology. Formal Aspects of Computing, 4:544-571, 1992.
	3	Jules Desharnais , Nadir Belkhiter , Salah Ben Mohamed Sghaier , Fairouz Tchier , Ali Jaoua , Ali Mili , Nejib Zaguia, Embedding a demonic semilattice in a relation algebra, Theoretical Computer Science, v.149 n.2, p.333-360, Oct. 2, 1995 [doi>10.1016/0304-3975(94)00271-J]
	4	Marc Frappier, A relational basis for program construction by parts, University of Ottawa, Ottawa, Ont., Canada, 1996
	5	M. Frappier , A. Mili , J. Desharnais, A relational calculus for program construction by parts, Science of Computer Programming, v.26 n.1-3, p.237-254, May 1996 [doi>10.1016/0167-6423(95)00028-3]
	6	Paul Gardiner , Carroll Morgan, Data refinement of predicate transformers, Theoretical Computer Science, v.87 n.1, p.143-162, Sept. 16, 1991 [doi>10.1016/0304-3975(91)90029-2]
	7	Eric C. R. Hehner, A practical theory of programming, Springer-Verlag New York, Inc., New York, NY, 1993
	8	C. A. R. Hoare , I. J. Hayes , He Jifeng , C. C. Morgan , A. W. Roscoe , J. W. Sanders , I. H. Sorensen , J. M. Spivey , B. A. Sufrin, Laws of programming, Communications of the ACM, v.30 n.8, p.672-686, Aug. 1987 [doi>10.1145/27651.27653]
	9	Charles W. Krueger, Software reuse, ACM Computing Surveys (CSUR), v.24 n.2, p.131-183, June 1992 [doi>10.1145/130844.130856]
	10	R. Mili. Empirical and Analytical Measures of Reusability. University of Ottawa. July 1996.
	11	Rubén Prieto-Díaz, Status Report: Software Reusability, IEEE Software, v.10 n.3, p.61-66, May 1993 [doi>10.1109/52.210605]
	12	Emil Sekerinski, A Calculus for Predicative Programming, Proceedings of the Second International Conference on Mathematics of Program Construction, p.302-322, June 29-July 03, 1992
	13	Von Wright, J. A Lattice Theoretical Basis for Program Refinement. Ph.D. Thesis, Dept. of Computer Science, /i, bo Akademi, Finland, 1990.