Information Systems Correctness And Reusability

This volume contains papers on formal system specification. The chapters treat algebraic specification, temporal logic specification, default specifications and deontic logic specification. Applications include information systems, distributed systems, and real-time systems. One of the major themes in the book is the motivation to bring formal specification techniques one step further towards realistic applications.

This book constitutes the refereed proceedings of the 9th International Symposium on Methodologies for Intelligent Systems, ISMIS '96, held in Zakopane, Poland, in June 1996. The 53 revised full papers presented were selected from a total of 124 submissions; also included are 10 invited papers by leading experts surveying the state of the art in the area. The volume covers the following areas: approximate reasoning, evolutionary computation, intelligent information systems, knowledge representation and integration, learning and knowledge discovery, and AI logics.

This volume presents the proceedings of the third workshop on Information Systems and Artificial Intelligence, organized by the German Computer Science Society. The 11 invited contributions by well known researchers and developers working in the fields of databases and knowledge representation systems are centered around the topic of management and processing of complex data structures; they give a representative snapshot of the state-of-the-art in this fruitful interdisciplinary research area important for further progress in both, information systems and artificial intelligence. Most of the papers stress the demands for new or extended formalisms and their deductive capabilities, including an analysis of their formal properties for managing complex structures.

This volume constitutes the proceedings of the 5th International Conference on Database and Expert Systems Applications (DEXA '94), held in Athens, Greece in September 1994. The 78 papers presented were selected from more than 300 submissions and give a comprehensive view of advanced applications of databases and expert systems. Among the topics covered are object-oriented, temporal, active, geographical, hypermedia and distributed databases, data management, cooperative office applications, object-oriented modelling, industrial applications, conceptual modelling, legal systems, evolving environments, knowledge engineering, information retrieval, advanced querying, medical systems, and CIM.

This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995. The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.

Neuere Entwicklungen im Datenbank- und Informationssystembereich sind u.a. gekennzeichnet durch die Bereitstellung sehr m{chtiger semantischer bzw. objektorientierter Datenmodelle, um den Anforderungen aus sogenannten Nicht-Standardanwendungen wie z.B. dem B}robereich gerecht zu werden. Daraus ergeben sich unmittelbar neue Problemstellungen imHinblick auf die Entwurfs- und Modellierungsaufgaben, die mit dem Einsatz derartiger m{chtiger Datenmodelle verbunden sind. Betrachtet manandererseits Entwicklungstendenzen im Bereich der K}nstlichen Intelligenz, so wird Fragen der systematischen Entwicklung Wissensbasierter Systeme eine immer gr|~ere Wichtigkeit beigemessen. Dabei spielen u.a. Phasen-Systeme und damit verbunden der Aufbau geeigneter Modelle eine zentrale Rolle. Dementsprechend hat der 2. Workshop "Informationssysteme und K}nstliche Intelligenz" gerade das Gebiet der Modellierung als generelles Thema. Zielsetzung ist dabei, auf dem Gebiet derModellierung Gemeinsamkeiten und Unterschiede von Problemstellungen bzw. L|sungsans{tzen, die in den Fachdisziplinen K}nstliche Intelligenz und Informationssysteme/Datenbanksysteme identifiziert bzw. entwickelt worden sind, herauszuarbeiten. Damit soll gleichzeitig der Gedankenaustausch zwischen den beteiligten Fachdisziplinen gef|rdertund die Zusammenarbeit }ber Fachdisziplinen hinweg verbessert werden.

This book presents the refereed proceedings of the 8th International Conference on Advanced Information Systems Engineering, CAiSE '96, held in Herakleion, Crete, Greece, in May 1996. The 30 revised full papers included in the book were selected from a total of some 100 submissions. The book is organised in sections on CASE environments, temporal and active database technologies, experience reports, interoperability in information systems, formal methods in system development, novel architectures, workflow management and distributed information systems, information modelling, object-oriented database design, and semantic links and abstraction.

"This comprehensive reference work provides immediate, fingertip access to state-of-the-art technology in nearly 700 self-contained articles written by over 900 international authorities. Each article in the Encyclopedia features current developments and trends in computers, software, vendors, and applications...extensive bibliographies of leading figures in the field, such as Samuel Alexander, John von Neumann, and Norbert Wiener...and in-depth analysis of future directions."