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
/
beidler.bib
< prev
next >
Wrap
Text File
|
1993-09-28
|
2KB
|
87 lines
@techReport(Bei93a,
AUTHOR="John Beidler",
KEY="Beidler93a",
TITLE="{A Package to Support Practical Uses of Program Correctness}",
Publisher="Proceedings of ASEET-7",
YEAR="1993")
@techReport(Bei93b,
AUTHOR="John Beidler",
KEY="Beidler93b",
TITLE="{Structuring Iterators to Encourage Reuse}",
Publisher="Proceedings of Ada-Europe 1993",
YEAR="1993")
@techReport(Bei92a,
AUTHOR="John Beidler",
KEY="beidler92a",
TITLE="{A ROle for Iterators as a Tool for Software Reuse}",
Publisher="Proceedings of WAdaS, 1992",
YEAR="1992")
@techReport(bei92b,
AUTHOR="John Beidler",
KEY="Beidler92b",
TITLE="{Building on the Booch Components: What Can be Learned When Modifying
Real World Software Tools For Educational Use}",
Publisher="Tri-Ada '92",
YEAR="1992")
@techReport(boo86,
AUTHOR="Grady Booch",
KEY="Booch86",
TITLE="{Software Components in Ada}",
Publisher="Benjamin Cummings",
YEAR="1986")
@techReport(EVB,
AUTHOR="EVB Software Engineering",
KEY="EVB",
TITLE="{The GRACE Components}",
Publisher="EVB Software Engineering",
YEAR="1989")
@techReport(Gut77,
AUTHOR="J.V. Guttag",
KEY="Guttag77",
TITLE="{Abstract Data Types and the Development of Algorithms}",
Publisher="CACM", Month = "March",
YEAR="1977")
@techReport(Holl92,
AUTHOR="Joseph Eugene Hollingsworth",
KEY="Hollings",
TITLE="{Software Component Design-for-Reuse: A Language-Independent
Discipline Aplied to Ada}",
Institution="Ohio State University",
YEAR="1992")
@techReport(Jac86,
AUTHOR="Paul Jackowitz and John Beidler",
KEY="Jac86",
TITLE="{Consistent Generics in Modula-2}",
Publisher="ACM SIGPLAN Notices", Month = "April",
YEAR="1986")
@techReport(Sch91,
AUTHOR="G. Michael Schneider and G. Bruell",
KEY="sch91",
TITLE="{Concepts in Data Structures and Software Development}",
Publisher="West Publishing",
YEAR="1991")
@techReport(Sha81,
AUTHOR="Mary Shaw, W. Wulf, and R. London",
KEY="shaw81",
TITLE="{Abstraction and Verification in Alphard: Iteration and
Generators (in Alphard: Form and Content)}",
Publisher="Springer-Verlag",
YEAR="1981")
@techReport(Stu86,
AUTHOR="Stubbs, D. and N. Webre",
KEY="Stubbs",
TITLE="{Data Structures with Abstract Data Types and Modula-2}",
Publisher="Brooks Cole",
YEAR="1987")