Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, (Workshops in Computing) - Softcover

 
9780387198125: Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, (Workshops in Computing)
Softcover
ISBN 10: 0387198121 ISBN 13: 9780387198125

Inhaltsangabe

The Workshop on Formal Methods in Databases and Software Engineering took place at Concordia University, Montreal, Canada, from the 15-16 May 1992. Most existing research tends to concentrate exclusively on formal methods in either databases or software engineering. This was the first in a proposed series of workshops specifically aimed at fostering interdisciplinary research between these two important fields. The workshop provided an opportunity for researchers and practitioners to discuss recent developments in an informal setting. Twelve papers were presented and many lively and constructive discussions were conducted. This volume contains selected papers from the workshop, which have been expanded and edited for publication. The theme of the workshop was explored through a variety of topics, including: transaction logic programming; modeling uncertainty and incompleteness in databases; concept learning and data mining; efficient deduction and induction in knowledge-base systems; proof management and verification; temporal and real-time databases; object-oriented VDM; software engineering environments and object charts. Formal Methods in Databases and Software Engineering brings together many topics of current interest in database and software engineering research. By combining these two complementary fields it provides new perspectives on various important issues. It will provide invaluable reading for researchers, practitioners and postgraduate students.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Sprache
Englisch
ISBN 10 
0387198121
ISBN 13 
9780387198125
Einband
Taschenbuch
Anzahl der Seiten
191
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Zeitfracht Medien GmbH
info-medien@zeitfracht.de

Ferdinand-Jühlke-Straße 7
Erfurt
99095
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540198123: Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992 (Workshops in Computing)

Vorgestellte Ausgabe

ISBN 10:  3540198121 ISBN 13:  9783540198123
Verlag: Springer, 2013
Softcover