автор: V. S. Alagar

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 …

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 …

The Software Engineering and Knowledgebase Systems (SOFf EKS) Research Group of the Department of Computer Science, Concordia University, Canada, organized a workshop on Incompleteness and …

This is a textbook on software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The aim of the book is to teach the fundamental …