LISPcraft
A Formal Method for the Abstract Specification of Software
Journal of the ACM (JACM)
Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
A rational design process: How and why to fake it
IEEE Transactions on Software Engineering
Proving Theorems about LISP Functions
Journal of the ACM (JACM)
Abstract data types and software validation
Communications of the ACM
Formal specification as a design tool
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using assertions about traces to write abstract specifications for software modules
Proceedings of the 2nd Conference of the European Cooperation on Informatics: Information Systems Methodology
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software
Trace specification of communications protocols (software engineering, formal specification)
Trace specification of communications protocols (software engineering, formal specification)
Limits of the "algebraic" specification of abstract data types
ACM SIGPLAN Notices
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Comments Analysis and Programming Errors
IEEE Transactions on Software Engineering
On Criteria for Module Interfaces
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
Case studies on testing object-oriented programs
TAV4 Proceedings of the symposium on Testing, analysis, and verification
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
An automatic trace analysis tool generator for Estelle specifications
SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
State abstraction and modular software development
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Daistish: systematic algebraic testing for OO programs in the presence of side-effects
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
ACM SIGSOFT Software Engineering Notes
QDA - A Method for Systematic Informal Program Analysis
IEEE Transactions on Software Engineering
An Informal Formal Method for Systematic JUnit Test Case Generation
Proceedings of the Second XP Universe and First Agile Universe Conference on Extreme Programming and Agile Methods - XP/Agile Universe 2002
Model Checking Generic Container Implementations
Selected Papers from the International Seminar on Generic Programming
Foundations of Sequence-Based Software Specification
IEEE Transactions on Software Engineering
A formalization of the CORDS Process Model using Mondel
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Enforcing behavioral constraints in evolving aspect-oriented programs
Proceedings of the 7th workshop on Foundations of aspect-oriented languages
Document based rational software development
Knowledge-Based Systems
Component Interface Documentation: What do we Need and Why do we Need it?
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Applying string-rewriting to sequence-based specification
Formal Methods in System Design
| Hi-index | 0.00 |
The authors summarize the trace specification language and present the trace specification methodology: a set of heuristics designed to make the reading and writing of complex specifications manageable. Also described is a technique for constructing formal, executable models from specifications written using the methodology. These models are useful as proof of specification consistency and as executable prototypes. Fully worked examples of the methodology and the model building techniques are included.