Research output per year
Research output per year
Project Details
Description
The Working Group addresses the need for advanced modeling and specification techniques for developing information systems. The emphasis is on distribution, concurrency and real-time issues as well as default engineering.
The objectives of the working group are to explore foundations for specifying, analysing and developing widley distributed information systems at a high level of abstraction. Special emphasis is put on specification concepts for full concurrency of sites, modes of interaction among sites, real-time constraints, and defaults. The specification concepts are based on logics providing the necessary deductive capabilities implementation, validation, verification, and maintenance tools.
| Status | Finished |
|---|---|
| Effective start/end date | 01.02.1997 → 31.03.2000 |
Collaborative partners
- Johannes Kepler University Linz (lead)
- Facultis Universitaires Notre Dame de la Paix Namur, Eric Dubois (Project partner)
- Fraunhofer Gesellschaft - Institut für Software- und Systemtechnik Berlin, Ralf-Detlef Kutsche (Project partner)
- Instituto Superior Ticnico Lisboa, Ammlcar Sernadas (Project partner)
- OBLOG Software Lisboa, Pedro Inacio (Project partner)
- Otto-von-Guericke-Universität Magedeburg, Gunter Saake (Project partner)
- Technische Universität Braunschweig, Hans-Dieter Ehrich (Project partner)
- Universität Hannover, Udo Lipeck (Project partner)
- Universiti d'Evry - Val d'Essonne, Gilles Bernot (Project partner)
- University of Birmingham, Mark Ryan (Project partner)
- Vrije Universiteit Amsterdam, Roel Wieringa (Project partner)
- hup Braunschweig, Clemens Müller (Project partner)
Fields of science
- 102 Computer Sciences
- 102015 Information systems
- 102030 Semantic technologies
- 502050 Business informatics
- 102010 Database systems
- 102035 Data science
- 502058 Digital transformation
- 503008 E-learning
- 509026 Digitalisation research
- 102033 Data mining
- 102027 Web engineering
- 102028 Knowledge engineering
- 102016 IT security
- 102025 Distributed systems
JKU Focus areas
- Digital Transformation
-
View Integration of Behavior in Object-oriented Databases
Preuner, G., Conrad, S. & Schrefl, M., Mar 2000.Research output: Working paper and reports › Research report
-
View Integration of Object Life-cycles in Object-oriented Design
Preuner, G. & Conrad, S., Mar 2000.Research output: Working paper and reports › Research report
-
Consistency Management in Object-Oriented Databases
Oakasha, H., Conrad, S. & Saake, G., Jun 1999, Proceedings of the 1st ECOOP 1999 Workshop on Object-Oriented Databases, Lisbon, Portugal, June 15, 1999. A. de Miguel, E. Ferrari, G. Kappel, G. Guerrini, I. Merlo (ed.). p. 97-108 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review