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
/
cornwell.bib
< prev
next >
Wrap
Text File
|
1993-09-29
|
967b
|
36 lines
@Article(Buh92,
author = "Raymond Buhr and Ronald Casselman",
title = "{Architectures with Pictures}",
journal ="ACM SIGPLAN Notices",
volume = "27",
number ="10",
pages ="466--483",
month ="October",
year ="1992")
@Article(Bur91,
author = "A. Burns and A. Wellings",
title = "{Hard Real Time HOOD: A Design Method for Hard Real-time Ada9X
Systems}",
journal ="Ada U.K. Technical Papers",
year ="1991")
@Article(Bur94,
author = "A. Burns and A. Wellings",
title = "{Hard Real Time HOOD: A Design Method for Hard Real-time Ada}",
journal ="Journal of Real-Time Systems",
volume = "6",
pages ="73--114",
year ="1994")
@Article(Hel90,
author = "Richard Helm and Ian Holland and Dipayan Gamgopadhyay",
title = "{Contracts: Specifiying Behavioural Compositions in
Object-Oriented Systems}",
journal ="ACM SIGPLAN Notices",
volume ="25",
number ="10",
pages ="169--180",
month ="October",
year ="1990")