.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Methods in Databases and Software Engineering
. Ed(S): Alagar, V. S.; Lakshmanan, Laks V. S.; Etc.; Sadri, Fereidoon
€ 66.06
FREE Delivery in Ireland
Description for Formal Methods in Databases and Software Engineering
Paperback. This volume outlines the proceedings of a workshop which aimed to foster interdisciplinary research between software engineers and database designers. Topics discussed include object-oriented VDM, proof management, temporal databases, concept learning and knowledge-based systems. Editor(s): Alagar, V. S.; Lakshmanan, Laks V. S.; etc.; Sadri, Fereidoon. Series: Workshops in Computing. Num Pages: 193 pages, biography. BIC Classification: UMN; UMZ; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 11. Weight in Grams: 320.
Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term "information systems" is used here in a very general context to denote database systems, software development systems, knowledge base systems, proof support systems, distributed systems and reactive systems. One of the most vigorously researched topics common to all information systems is "formal modeling". An elegant high-level abstraction applicable to both application domain and system domain concepts will always lead to a system design from "outside in"; that is, the aggregation of ideas is around real-life objects about which the ... Read more
Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term "information systems" is used here in a very general context to denote database systems, software development systems, knowledge base systems, proof support systems, distributed systems and reactive systems. One of the most vigorously researched topics common to all information systems is "formal modeling". An elegant high-level abstraction applicable to both application domain and system domain concepts will always lead to a system design from "outside in"; that is, the aggregation of ideas is around real-life objects about which the ... Read more
Product Details
Format
Paperback
Publication date
1993
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
193
Condition
New
Series
Workshops in Computing
Number of Pages
193
Place of Publication
Berlin, Germany
ISBN
9783540198123
SKU
V9783540198123
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Methods in Databases and Software Engineering