V.S. Alagar - Böcker

Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques; contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the Preface; covers Object-Z, B-Method, and Calculus of Communicating Systems; offers material that can be taught with tool-supported laboratory projects.

The workshop on "Formal Methods in Databases and Software Engineering" took place at Concordia University, Montreal, Canada, in 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. This volume contains selected papers which have been expanded and edited for publication. The theme of the workshop was explored through a variety of topics, including: transaction logic programming; modelling 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.

This volume contains papers from the Workshop on Incompleteness and Uncertainty in Information Systems, which was held at Concordia University, Montreal, Canada, from 8 - 9 October 1993. The workshop was organised by the University's Software Engineering and Knowledgebase Systems (SOFTEKS) Research Group. It attracted participants from a wide variety of backgrounds, including those doing both fundamental and industry-oriented research into databases, software engineering and AI in North America, Europe and Asia. Amongst the actual topics covered in this volume are: software aberrations - origins and treatments; modeling uncertainty in object-oriented databases; management of uncertainty in AI - a rough set approach; uncertainty as a function of expertise; a relational data model for manipulating probabilistic knowledge; and unnesting fuzzy SQL queries in fuzzy databases.