Completeness and consistency analysis of state-based requirements

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Completeness and consistency analysis of state-based requirements

Full text

Pdf (1.13 MB)

Source

International Conference on Software Engineering archive
Proceedings of the 17th international conference on Software engineering table of contents

Seattle, Washington, United States

Pages: 3 - 14

Year of Publication: 1995

ISBN:0-89791-708-1

Authors

Mats P. E. Heimdahl	Michigan State University
Nancy G. Leveson	University of Washington

Sponsors

IEEE-CS\TCSE : TC on Software Engineering
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 9, Downloads (12 Months): 49, Citation Count: 11

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/225014.225015 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Joanne Atlee , John Gannon, State-based model checking of event-driven system requirements, ACM SIGSOFT Software Engineering Notes, v.16 n.5, p.16-28, Dec. 1991
	2	G. R. Bruns, S. L. Gerhart, 1. Forman, and M. Graf. Design technology assessment: The statecharts approach. Technical Report STP-107- 86, MCC, March 1986.
	3	Randal E. Bryant, Graph-based algorithms for Boolean function manipulation, IEEE Transactions on Computers, v.35 n.8, p.677-691, Aug. 1986 [doi>10.1109/TC.1986.1676819]
	4	J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic model checking: 1020 states and beyond. In Proceedings of the Fifth Annual Symposium on Logic in Computer Science, June 1990.
	5	E. M. Clarke , M. C. Browne , E. A. Emersonn , A. P. Sistla, Using temporal logic for automatic verification of finite state systems, Logics and models of concurrent systems, Springer-Verlag New York, Inc., New York, NY, 1989
	6	E. M. Clarke , E. A. Emerson , A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.2, p.244-263, April 1986 [doi>10.1145/5397.5399]
	7	Patrice Godefroid , Gerard J. Holzmann , Didier Pirottin, State-Space Caching Revisited, Proceedings of the Fourth International Workshop on Computer Aided Verification, p.178-191, June 29-July 01, 1992
	8	David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
	9	David Harel, On visual formalisms, Communications of the ACM, v.31 n.5, p.514-530, May 1988 [doi>10.1145/42411.42414]
	10	D. Harel , A. Pnueli, On the development of reactive systems, Logics and models of concurrent systems, Springer-Verlag New York, Inc., New York, NY, 1989
	11	Mats Per Erik Heimdahl, Static analysis of state-based requirements analysis for completeness and consistency, University of California at Irvine, Irvine, CA, 1995
	12	Gerhard J. Holzmann. Tracing protocols. ATtY T Technical Journal, 64(10), December 1985.
	13	Gerard J. Holzmann, Automated protocol validation in Argos: assertion proving and scatter searching, IEEE Transactions on Software Engineering, v.13 n.6, p.683-696, June 1987 [doi>10.1109/TSE.1987.233206]
	14	Matthew S. Jaffe , Nancy G. Leveson , Mats P. E. Heimdahl , Bonnie E. Melhart, Software Requirements Analysis for Real-Time Process-Control Systems, IEEE Transactions on Software Engineering, v.17 n.3, p.241-258, March 1991 [doi>10.1109/32.75414]
	15	N. G. Leveson, M. Heimdahl, H. Hildreth, and J. Reese. TCAS II requirements specification.
	16	Nancy G. Leveson , Mats Per Erik Heimdahl , Holly Hildreth , Jon D. Reese, Requirements Specification for Process-Control Systems, IEEE Transactions on Software Engineering, v.20 n.9, p.684-707, September 1994 [doi>10.1109/32.317428]
	17	A. Pnueli and M. Shalev. What is in a step? In J. Klop, J. Meijer, and J. Rutten, editors, J. W. De Baker, Liber Amicorum, pages 373-400. CWI Amsterdam, 1989.
	18	A. P. Ravn and H. Rlchel. Requirements capture for embedded real-time systems. In IMA CS Symposium MCTS, 1991.
	19	H. Richel and A. P. Ravn. Requirements capture for computer based systems. Technical Report ID/DTH HR 2/2, Technical University of Den-mark, October 1990.

CITED BY 11

	Mats P. E. Heimdahl, Experiences and lessons from the analysis of TCAS II, ACM SIGSOFT Software Engineering Notes, v.21 n.3, p.79-83, May 1996
	Mats P. E. Heimdahl , Michael W. Whalen, Reduction and slicing of hierarchical state machines, ACM SIGSOFT Software Engineering Notes, v.22 n.6, p.450-467, Nov. 1997
	Constance Heitmeyer , James Kirby , Bruce Labaw, Applying the SCR requirements method to a weapons control panel: an experience report, Proceedings of the second workshop on Formal methods in software practice, p.92-102, March 04-05, 1998, Clearwater Beach, Florida, United States
	Richard J. Anderson , Paul Beame , Steve Burns , William Chan , Francesmary Modugno , David Notkin , Jon D. Reese, Model checking large software specifications, ACM SIGSOFT Software Engineering Notes, v.21 n.6, p.156-166, Nov. 1996
	Constance L. Heitmeyer , Ralph D. Jeffords , Bruce G. Labaw, Automated consistency checking of requirements specifications, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.3, p.231-261, July 1996
	Ryszard Janicki , Alan Wassyng, On tabular expressions, Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research, p.92-106, October 06-09, 2003, Toronto, Ontario, Canada
	Mats P. E. Heimdahl , Nancy G. Leveson, Completeness and Consistency in Hierarchical State-Based Requirements, IEEE Transactions on Software Engineering, v.22 n.6, p.363-377, June 1996
	C. Michael Overstreet, Improving the model development process: model testing: is it only a special case of software testing?, Proceedings of the 34th conference on Winter simulation: exploring new frontiers, December 08-11, 2002, San Diego, California
	Axel van Lamsweerde , Emmanual Letier , Robert Darimont, Managing Conflicts in Goal-Driven Requirements Engineering, IEEE Transactions on Software Engineering, v.24 n.11, p.908-926, November 1998
	Aki Watanabe Tomita , Ken Sakamura, Improving Design Dependability by Exploiting an Open Model-Based Specification, IEEE Transactions on Computers, v.48 n.1, p.24-37, January 1999
	Ryszard Janicki , Alan Wassyng, Tabular Expressions and Their Relational Semantics, Fundamenta Informaticae, v.67 n.4, p.343-370, December 2005