Proceedings of the 2002 ACM symposium on Applied computing
Specification and Verification of Secure Business Transaction Systems
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Paradigm shift in software re-engineering: an experience report
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Specification of business components using temporal OCL
UML and the unified process
Converging CSP specifications and C++ programming via selective formalism
ACM Transactions on Embedded Computing Systems (TECS)
Quantitative assessment of enterprise resource planning software customisation
International Journal of Information Systems and Change Management
The ASSL approach to specifying self-managing embedded systems
Concurrency and Computation: Practice & Experience
| Hi-index | 0.00 |
From the Publisher:This graduate-level text provides an introduction to software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The book can also be used as a text for a one-semester course on formal methods at the senior undergraduate level. Readers are assumed to have a working knowledge of software engineering and basic discrete mathematics, but otherwise this may be their first encounter with formal specification.