A taxonomy for the early stages of the software development life cycle
Journal of Systems and Software
Targeting safety-related errors during software requirements analysis
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Simulating the Behavior of Software Modules by Trace Rewriting
IEEE Transactions on Software Engineering
Functional approach to protocols specification
PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
On the criteria to be used in decomposing systems into modules
Communications of the ACM
On a formal semantics of tabular expressions
Science of Computer Programming
Foundations of the Trace Assertion Method of Module Interface Specification
IEEE Transactions on Software Engineering
The Science of Programming
Software Engineering Economics
Software Engineering Economics
SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems
Programming and Computing Software
IEEE Software
Trace Specifications of Non-Deterministic Multi-Object Modules
ACSC '95 Proceedings of the 1995 Asian Computing Science Conference on Algorithms, Concurrency and Knowledge
HUG '93 Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications
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
Disciplined Methods of Software Specification: A Case Study
ITCC '05 Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'05) - Volume II - Volume 02
Using information about functions in selecting test cases
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
An IDE for software development using tabular expressions
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Precise Documentation of Critical Software
HASE '07 Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium
Modeling, specification, and verification of automaton programs
Programming and Computing Software
| Hi-index | 0.00 |
The paper considers the application of the trace assertion method [1] for specification and verification of automaton programs [2---4]. The trace assertion method allows the programmer to define an externally visible behavior of an automaton program in a rigorous way, without considering details of its implementation. The method is employed at the requirements specification stage of the system development. The paper introduces techniques for defining semantics of some elements of an automaton program, especially those involved in interactions with the control system. A formal approach to defining states of automaton programs is described. Results of studies related to the verification of specification requirements for automaton programs are also presented.