References

BBD*90

Bellosta, M.J., Bessede, A., Darrieumerlou, C., Gruber, O., Pucheral, P., Thevenin, J.M., Steffen, H. (1990). GEODE: Concepts and Facilities. Manual, INRIA, Roquencourt, France.

BBMR89

Borgida, A., Brachman, R.J., McGuiness, D.L., Resnick, L.A. (1989). CLASSIC: a structural data model for objects. Proc. ACM-SIGMOD Intl. Conf. Management of Data, Portland, Or, 58-67.

BCG*87

Banerjee, J., Chou, H.-T., Garza, J.F., Kim, W., Woelk, D., Ballou, N., Kim, H.-J. (1987). Data model issues for object-oriened applications. ACM Trans. Office Information Systems 5, 1, 3-26.

BIM90

BIM SA/NV (1990). ProLog by BIM, reference manual for release 3.0. Update for release 3.1 (1992). Everberg, Belgium.

BMS84

Brodie M.L., Mylopoulos J., Schmidt J.W. (ed.), On Conceptual Modeling, Springer-Verlag, 1984.

CHEN76

Chen, P. P.-C. (1976). The Entity-Relationship-Model - Towards a Unified View of Data. ACM Transact. on Database Systems. Vol. 1, No. 1, March 1976, pp. 9-36.

EJJ*89

Eherer, S., Jarke, M., Jeusfeld, M., Miethsam, A., Rose, T. (1989). ConceptBase V2.0 user manual. Report MIP-8936, Universität Passau, Germany.

Gallersdörfer, 1990

Gallersdörfer R., Realization of a Deductive Object Base by Abstract Data Types (in German), Diploma thesis, Universität Passau, Germany 1990.

HJEK90

Hahn, U., Jarke, M., Eherer, S., Kreplin, K. (1990). CoAUTHOR: a hypermedia group authoring environment. In Benford, J.M., Bowers, S.D. (eds.): Studies in Computer-Supported Cooperative Work, North-Holland, 79-100.

Jarke, 1993

Jarke M. (ed.), Database Application Engineering with DAIDA, Springer-Verlag, 1993.

JGJ*95

M. Jarke, R. Gallersdörfer, M. Jeusfeld, M. Staudt, and S Eherer. ConceptBase: A deductive object base for meta data management. Journal of Intelligent Information Systems, 4(2):167 -192, March 1995.

JEUS92

Änderungskontrolle in deduktiven Objektbanken. Dissertation, Universität Passau, Germany.

JJ91

M. Jeusfeld, M. Jarke (1991). From Relational to Object-Oriented Integrity Simplification. Proc. 2nd Intl. Conf. Deductive and Object-Oriented Databases, Munich, Dec. 1991; also as Aachener Informatik-Berichte 91-19, RWTH Aachen, Germany.

JJR88

Jarke, M., Jeusfeld, M., Rose, T. (1988). A KBMS for database software evolution: documentation of first ConceptBase prototype, Report MIP-8819, Universit"at Passau, Germany.

JJR90

Jarke, M., Jeusfeld, M., Rose, T. (1990). A software process data model for knowledge engineering in information systems. Information Systems 15, 1, 85-116.

JMSV90

Jarke, M., Mylopoulos, J., Schmidt, J.W., Vassiliou, Y. (1990). Information systems development as knowledge engineering: a review of the DAIDA project. Programirovanie 17(1), Academy of Sciences, Russia; also report MIP-9010, Universität Passau, Germany.

JS92

Jeusfeld,M., Staudt,M. (1992). Query optimization in deductive object bases. To appear in Freytag, Vossen, Maier (eds.): Query Processing for Advanced Database Applications, Morgan-Kaufmann, 1992; also as Aachener Informatik-Berichte 91-26, RWTH Aachen, Germany.

MBJK90

Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M. (1990). Telos: a language for representing knowledge about information systems. ACM Trans. Information Systems 8, 4.

QUI96

Quix, C. Sichtenwartung und Änderungsnotifikation für Anwendungsprogramme in deduktiven Objektbanken. Diploma Thesis, RWTH Aachen, 1996.

RD92

Ramesh,B., Dhar,V. (1992). Process knowledge-based group support for requirements engineering. Journal Intelligent Information Systems 1, 1.

RJG*91

Rose, T., Jarke, M., Gocek, M., Maltzahn, C., Nissen, H. (1991). A decision-based configuration process environment. Software Engineering Journal, Special Issue on Software Environments and Factories, July 1991

SIGA91

Rich C. (ed.), ``Special Issue on Implemented Knowledge Representation and Reasoning Systems", SIGART Bulletin 2,3, June 1991.

SJ96

Staudt, M., Jarke, M. Incremental Maintenance of Externally Materialized Views. In Proc. of the 22th VLDB Conference, Bombay, India, 1996.

SOI96

Soiron, R. Kostenbasierte Anfrageoptimierung in deduktiven Objektbanken. Diploma Thesis, RWTH Aachen, 1996.

STAN86

Stanley M.T., CML - a knowledge representation language with application to requirements modeling, M.S.thesis, University of Toronto, Ontario, 1986.

STAU90

Staudt, M. (1990). Anfragereprdsentation und -auswertung in deduktiven Objektbanken. Diploma thesis, Universitdt Passau.

TKDE90

Stonebraker M. (ed.), Special Issue on Database Prototype Systems, IEEE Trans. on Knowledge and Data Engineering 2(1), March 1990.

WING90

Wing, Jeanette M. (1990). A Specifier's Introduction to Formal Methods. IEEE Computer, No. 9, pp 8-24, Sept. 1990.