home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
ftp.umcs.maine.edu
/
2015-02-07.ftp.umcs.maine.edu.tar
/
ftp.umcs.maine.edu
/
pub
/
WISR
/
wisr6
/
proceedings
/
tex
/
edwards.bib
< prev
next >
Wrap
Text File
|
1993-07-14
|
3KB
|
129 lines
%%%%%% TEMPLATE.BIB for WISR'92, version 1.0, 6/26/92 %%%%%%
@inproceedings{
canning,
author = "P. S. Canning and
W. R. Cook and
W. L. Hill and
W. G. Olthoff",
title = "Interfaces for Strongly-Typed Object-Oriented
Programming",
booktitle = "{OOPSLA}'89 Proceedings",
publisher = "{ACM}",
month = "October",
year = 1989
}
@article{
fichman,
author = "Robert G. Fichman and
Chris F. Kemerer",
title = "Object-Oriented and Conventional Analysis and Design
Methodologies",
journal = "Computer",
month = "October",
year = 1992,
pages = "22-39"
}
@phdthesis{
holly:92,
author = "Joseph Hollingsworth",
title = "Software Component Design-for-Reuse: A Language Independent
Discipline Applied to {Ada}",
school = "Dept. of Computer and Information Science,
The Ohio State University",
address = "Columbus, OH",
year = "1992"
}
@article{
lalonde:exemplars:89,
author = "Wilf R. {LaL}onde",
title = "Designing Families of Data Types Using Exemplars",
journal = "{ACM} Transactions on Programming Languages and Systems",
volume = 11,
number = 2,
month = "April",
year = 1989,
pages = "212-248"
}
@inproceedings{
madsen,
author = "Ole Lehrmann Madsen and
Boris Magnusson and
Birger M{\o}ller-Pedersen",
title = "Strong Typing of Object-Oriented Languages Revisited",
booktitle = "{OOPSLA ECOOP} '90 Proceedings",
publisher = "{ACM}",
month = "October",
year = 1990
}
@book{
meyer:oosc,
author = "Bertrand Meyer",
title = "Object-Oriented Software Construction",
publisher = "Prentice Hall",
address = "New York, NY",
year = 1988
}
@article{
royer,
author = "J. C. Royer",
title = "A New Set Interpretation of the Inheritance
Relation and its Checking",
journal = "{OOPS} Messenger",
volume = 3,
number = 3,
month = "July",
year = 1992,
pages = "22-40"
}
@techreport{
weber:correctness,
author = "Franz Weber",
title = "Getting Class Correctness and System
Correctness Equivalent",
number = "ProSt/91-4",
institution = {Forschungszentrum Informatik
an der Universit\"{a}t Karlsruhe},
year = 1991
}
@techreport{
weber:discipline,
author = "Franz Weber",
title = "Towards a Discipline of Class Composition",
number = "ProSt/92-3",
institution = {Forschungszentrum Informatik
an der Universit\"{a}t Karlsruhe},
year = 1992
}
@incollection{
woz:reuse:91,
author = "Bruce W. Weide and
William F. Ogden and
Stuart H. Zweben",
title = "Reusable Software Components",
booktitle = "Advances in Computers",
editor = "M. C. Yovits",
publisher = "Academic Press",
year = 1991
}
@inproceedings{
weide:92,
author = "Bruce W. Weide and
Joseph E. Hollingsworth",
title = "Scalability of Reuse Technology to Large Systems
Requires Local Certifiability",
booktitle = "Proceedings of the Fifth Annual Workshop on Software Reuse",
month = "October",
year = 1992
}