On the criteria to be used in decomposing systems into modules
Communications of the ACM
A Complete System of Temporal Logic for Specification Schemata
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Rapid prototyping by means of abstract module specifications written as trace axioms
Proceedings of the workshop on Rapid prototyping
A plausibility-driven approach to computer architecture design
Communications of the ACM
IEEE Transactions on Computers
Trace Specifications: Methodology and Models
IEEE Transactions on Software Engineering
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
The Specification and Verified Decomposition of System Requirements Using CSP
IEEE Transactions on Software Engineering
The property vector specification of a multiset iterator
ICSE '92 Proceedings of the 14th international conference on Software engineering
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
New paradigms for high assurance software
NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
Foundations of the Trace Assertion Method of Module Interface Specification
IEEE Transactions on Software Engineering
QDA - A Method for Systematic Informal Program Analysis
IEEE Transactions on Software Engineering
On Trace Assertion Method of Module Interface Specification with Concurrency
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Two dogmas of program specification
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
IBDL: a language for interface behavior specification and testing
COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Applying string-rewriting to sequence-based specification
Formal Methods in System Design
Hi-index | 0.02 |
An intuitive presentation of the trace method for the abstractspecification of software contains sample specifications, syntacticand semantic definitions of consistency and totalness, methods forproving specifications consistent and total, and a comparison ofthe method with the algebraic approach to specification. Thisintuitive presentation is underpinned by a formal syntax,semantics, and derivation system for the method. Completeness andsoundness theorems establish the correctness of the derivationsystem with respect to the semantics, the coextensiveness of thesyntactic definitions of consistency and totalness with theirsemantic counterparts, and the correctness of the proof methodspresented. Areas for future research are discussed.