R.D. JEFFORDS and C. HEITMEYER. An Algorithm for Strengthening State Invariants Generated from Requirements Specifications. In Proceedings of the 5 International Symposium on Requirements Engineering, RE'01, Toronto, Canada, August 2001. IEEE. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Strategy for Efficiently Verifying Requirements.. - Jeffords, Heitmeyer (2003) Self-citation (Jeffords Heitmeyer) (Correct)
No context found.
R. D. Jeffords and C. L. Heitmeyer. An algorithm for strengthening state invariants generated from requirements specifications. In Proc. of the Fifth IEEE International Symposium on Requirements Engineering, Aug. 2001.
Program Synthesis from Requirements Specifications Using APTS - Leonard, Heitmeyer (2003) Self-citation (Heitmeyer) (Correct)
....of software systems. The SCR toolset provides a user friendly interface for writing requirements specifications in a tabular format and a number of analysis tools, including a consistency checker [18] a simulator [17] a model checker [16] a theorem prover [2] and an invariant generator [21, 24]. In the toolset, the specification is displayed as a collection of tables. A context free grammar is the underlying communication medium for the different tools. By applying the SCR tools, a user can develop high confidence that a specification is a correct statement of the required system ....
....parts of the specification that lead to dead code and to redundant code and omit code generation for those parts. Our implementations currently only eliminate only the obviously dead code branches labeled by false and never. State invariants constructed using the algorithms described in [24, 21] can be used to identify parts of the specification that lead to dead code or to redundant code [22] For example, 21] shows that tOverridden = true mcPressure 6= High is a state invariant of the SIS specification. This invariant implies that tOverridden cannot change from true to false if ....
Jeffords, R. D. and C. L. Heitmeyer: 2001, `An Algorithm for Strengthening State Invariants Generated from Requirements Specifications'. In: Proc. of the Fifth IEEE International Symposium on Requirements Engineering.
A UML-based metamodeling architecture with example.. - Terrasse, Savonnet.. (2002) (Correct)
No context found.
R.D. JEFFORDS and C. HEITMEYER. An Algorithm for Strengthening State Invariants Generated from Requirements Specifications. In Proceedings of the 5 International Symposium on Requirements Engineering, RE'01, Toronto, Canada, August 2001. IEEE.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC