Abstract data types and the development of data structures
Communications of the ACM
A Discipline of Programming
UIO: a uniform I/O system interface for distributed systems
ACM Transactions on Computer Systems (TOCS)
Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
An input-output model of interactive systems
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Please: a language combining imperative and logic programming
ACM SIGPLAN Notices
Trace Specifications: Methodology and Models
IEEE Transactions on Software Engineering
Algebraic specification of Macintosh's Quickdraw using OBJ2
ICSE '88 Proceedings of the 10th international conference on Software engineering
ICSE '88 Proceedings of the 10th international conference on Software engineering
AUTO STAR—a software development system
ACM SIGPLAN Notices
Debugging Larch Shared Language Specifications
IEEE Transactions on Software Engineering
Formal Specification of a Look Manager
IEEE Transactions on Software Engineering
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
An automated tool for analyzing completeness of equational specifications
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Specification of interface interaction objects
CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Elements of style: analyzing a software design feature with a counterexample detector
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Aspect: an economical bug-detector
ICSE '91 Proceedings of the 13th international conference on Software engineering
What it means for a concurrent program to satisfy a specification: why no one has specified priority
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Document Formatting Systems: Survey, Concepts, and Issues
ACM Computing Surveys (CSUR)
Formal Specification of Graphic Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Integrating Formal Methods into the Development Process
IEEE Software
Using attributed grammars to test designs and implementations
ICSE '81 Proceedings of the 5th international conference on Software engineering
ICSE '81 Proceedings of the 5th international conference on Software engineering
Specification and implementation of resilient, atomic data types
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Descartes: A programming-language approach to interactive display interfaces
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Towards a practical specification language
ACM '81 Proceedings of the ACM '81 conference
Abstract data types, then and now
Software pioneers
An informal approach to formal specifications
ACM SIGMOD Record
An informal approach to formal specifications
ACM SIGMOD Record
Implementation prototypes in the development of programming language features
Proceedings of the workshop on Rapid prototyping
Rapid prototyping: in the OBJ executable specification language
Proceedings of the workshop on Rapid prototyping
A formal representation for plans in the programmer's apprentice
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
The formulation and analysis of a design specification is almost always of more utility than the verification of the consistency of a program with its specification. Good specification tools can assist in this process, but have generally not been proposed and evaluated in this light. In this paper we outline a specification language combining algebraic axioms and predicate transformers, present part of a non-trivial example (the specification of a high-level interface to a display), and finally discuss the analysis of this specification.