Pinto, J. M. G., J. Wawrzinek, S. Kori, and W. - T. Balke,
"Can Language Inference Support Metadata Generation?",
23rd International Conference on Theory and Practice of Digital Libraries (TPDL), Oslo, Norway, Springer, 09/2019.
Abstract
Mathiak, B., A. Kupfer, C. Täubner, S. Eckstein, and R. Münch,
"CaptionSearch: Mining Images from Publications",
Mining Complex Data Proceedings of 2005 IEEE ICDM Workshop: Math. Dept., Saint Mary's Univ., Nova Scotia, Canada, 2005.
Abstract
Ehrich, H. - D., M. Kollmann, and R. Pinger,
"Checking Object System Designs Incrementally",
Journal of Universal Computer Science, vol. 9, no. 2, pp. 106-119, February, 2003.
Abstract
Download: 2003JUCS.pdf (167.55 KB)
Jungclaus, R., R. J. Wieringa, P. Hartel, G. Saake, and T. Hartmann,
"Combining \sc Troll with the Object Modeling Technique",
Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespräch F1 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software: Springer, Informatik aktuell, pp. 35-42, 1994.
Abstract
Luthmann, L., S. Mennicke, and M. Lochau,
"Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing",
Formal Aspects of Component Software, Besançon, France, Springer Berlin Heidelberg, 04/2017, 2016.
Abstract
Engels, G., M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, and H. - D. Ehrich,
"Conceptual modelling of database applications using an extended ER model",
Data & Knowledge Engineering, North-Holland, vol. 9, no. 2, pp. 157-204, 1992.
Abstract
Download: 1992DKE.pdf (883.85 KB)