A distributed alternative to finite-state-machine specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming with sets; an introduction to SETL
Programming with sets; an introduction to SETL
Specifications are not (necessarily) executable
Software Engineering Journal
L.0: a parallel executable temporal logic language
Conference proceedings on Formal methods in software development
State-based model checking of event-driven system requirements
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Specifications are (preferably) executable
Software Engineering Journal
Multiple views of an executable software specification language
Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Tools for specifying real-time systems
Real-Time Systems - Special issue: history of real-time systems
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
Software engineering (5th ed.)
Software engineering (5th ed.)
ACM SIGSOFT Software Engineering Notes
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generating oracles from your favorite temporal logic specifications
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
A visual syntax-directed editor for the Descartes specification language
Software—Practice & Experience
On the roles of functions and objects in system specification
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Process algebras are getting mature for performance evaluation?!
ACM SIGMETRICS Performance Evaluation Review
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algebraic specification in CASL
Software specification methods
From basic views and aspects to integration of specification formalisms
Current trends in theoretical computer science
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Experience teaching Z with tool and web support
ACM SIGSOFT Software Engineering Notes
Programming language constructs for which it is impossible to obtain good hoare-like axiom systems
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Introduction to Formal Specifications with Z and VDM
Introduction to Formal Specifications with Z and VDM
An Introduction to Formal Specification and Z
An Introduction to Formal Specification and Z
Handbook of Process Algebra
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
HASE '96 Proceedings of the 1996 High-Assurance Systems Engineering Workshop
Specification techniques for data abstractions
Proceedings of the international conference on Reliable software
Now you may compose temporal logic specifications
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Executable specifications for distributed software systems
FTDCS '95 Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems
ACM SIGPLAN Notices
Incorporating Security Issues in the Information Systems Design
ENC '04 Proceedings of the Fifth Mexican International Conference in Computer Science
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Software Specification Methods
Software Specification Methods
On Formalism in Specifications
IEEE Software
Utilizing an Executable Specification Language for an Information System
IEEE Transactions on Software Engineering
Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them
IEEE Transactions on Software Engineering
Automatic synthesis of specifications for first order curry programs
Proceedings of the 14th symposium on Principles and practice of declarative programming
TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
| Hi-index | 0.00 |
Specification formalisms may be classified through some common properties. Specification formalism classification may be used as a basis for the evaluation of the adequacy of formal specification languages within specific application domains. System modelers may use this classification to determine if the system modeling requirements can be met by a particular class of specification formalism. This paper evaluates existing specification formalism classification approaches by various researchers and highlights certain observations regarding the suggested classification schemes. The paper then proposes a specification formalism classification method using specification language properties. The proposed classification approach, loosely following the prototype theory for classification, maps specification language properties to specification formalisms and determines which language properties can best be achieved by different formalisms.