2000.bib
@inproceedings{reussner2000d,
abstract = {This paper presents a new model of software component interfaces, using an extension of finite states machines to describe (a) the protocol to use a component�s offered services, and (b) the sequences of calls to the external services the component requires to fulfill its offered services. With this model we integrate information into the interface of a software component to: (a) Check whether a component will be used correctly in its environment during system integration (i.e., before the component is actually used). (b) Adapt the interface of a component which describes the component�s offered services, in case the environment does not offer all resources the component requires to offer all its services. In this case the adapted component still offers a subset of its services, to the contrary of todays component systems, which do not allow any integration in this case at all.},
author = {Reussner, Ralf H.},
booktitle = {New Issues in Object Interoperability -- Proceedings of the ECOOP'~2000 Workshop on Object Interoperability},
editor = {Hern{\'a}ndez, J. and Vallecillo, A. and Troya, J. M.},
month = {June},
day = {12--6},
note = {Published by Universidad de Extremadura Dpto. Inform{\'a}tica},
pages = {33--42},
title = {{A}n {E}nhanced {M}odel for {C}omponent {I}nterfaces to {S}upport {A}utomatic and {D}ynamic {A}daption},
url = {http://sdqweb.ipd.uka.de/publications/pdfs/reussner2000d.pdf},
year = {2000}
}
@techreport{reussner2000a,
author = {Reussner, Ralf H.},
institution = {Department of Informatics, Universit{\"a}t Karlsruhe},
location = {Am Fasanengarten 5, D-76128 Karlsruhe, Germany},
number = {08/2000},
title = {{F}ormal {F}oundations of {D}ynamic {T}ypes for {S}oftware {C}omponents},
url = {http://sdqweb.ipd.uka.de/publications/pdfs/reussner2000a.pdf},
year = {2000}
}
@unpublished{reussner2000b,
author = {Reussner, Ralf H.},
note = {Presentation given at Oberon Microsystems, Z{\"u}rich},
title = {{P}arameterised {C}ontracts for {S}oftware-{C}omponent {P}rotocols},
url = {http://sdqweb.ipd.kit.edu/publications/pdfs/zuerich00.ps.gz},
year = {2000}
}
@inproceedings{reussner2000c,
author = {Reussner, Ralf H. and Tr{\"a}ff, Jesper L. and Hunzelmann, Gunnar},
booktitle = {Recent advances in parallel virtual machine and message passing interface: 7th European {PVM}/{MPI} Users' Group Meeting, Balatonf{\"u}red, Hungary, September 10--13, 2000},
editor = {Dongarra, J. J. and Kacsuk, P. and Podhorszki, N.},
pages = {10--18},
series = {Lecture Notes in Computer Science},
title = {{A} {B}enchmark for {MPI} {D}erived {D}atatypes},
url = {http://portal.acm.org/citation.cfm?id=648137.746641&coll=GUIDE&dl=GUIDE},
volume = {1908},
year = {2000}
}
@techreport{schmidt2000a,
author = {Schmidt, Heinz W. and Reussner, Ralf H.},
institution = {School of Computer Science and Software Engineering, Monash University, Melbourne, Australia},
note = {This report appeared simultaneously as Technical Report No. 2000/81 of the School of Computer Science and Software Engineering, Monash University, Melbourne, Australia},
number = {25/2000},
title = {{A}utomatic {C}omponent {A}daptation {B}y {C}oncurrent {S}tate {M}achine {R}etrofitting},
year = {2000}
}