Completeness, robustness, and safety in real-time software requirements specification

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Completeness, robustness, and safety in real-time software requirements specification

Full text

Pdf (1.26 MB)

Source

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

Pittsburgh, Pennsylvania, United States

Pages: 302 - 311

Year of Publication: 1989

ISBN:0-8186-1941-4

Authors

M. S. Jaffe	Hughes Aircraft Company, Ground Systems Group, Fullerton, California
N. G. Leveson	Info. & Computer Science Dept., University of California, Irvine, Irvine, California

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

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

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/74587.74628 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.

	BMU75	B.W. Boehm, R.L. McClean, and D.B. Uriig. "Some Experiences with Automated Aids to the Design' of Large-Scale Reliable Software". IEEE Transactions on Software Engineering, SE-l(2), February 1975.
	End75	A.B. Endres. An Analysis of Errors and Their Causes in Software Systems. IEEE Transactions on Software Enginerring, SE-l(2), February 1975.
	FD82	James D. Foley , Andries Van Dam, Fundamentals of interactive computer graphics, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1982
	FM84	F.R. Frola and C.O. Miller. System Safety in Aircraft Management. Technical report, Logistics Mangement Institute, Washington, D.C., Jan, 1984.
	Jaf88	Matthew Saul Jaffe, Completeness, robustness, and safety in real-time software requirements specifications: a logical positivist looks at requirements engineering, University of California at Irvine, Irvine, CA, 1988
	JM86	F Jahanian , A K Mok, Safety analysis of timing properties in real-time systems, IEEE Transactions on Software Engineering, v.12 n.9, p.890-904, Sept. 1986
	Kop87	H. Kopetz. Clock synchronization in distributed real time systems. Technical Report Nr. l/87, Technical University of Vienna, Gusshausstrasse 30, A-1040 Wien, Austria, Jan 1987.
	Lev86	Nancy G. Leveson, Software safety: why, what, and how, ACM Computing Surveys (CSUR), v.18 n.2, p.125-163, June 1986 [doi>10.1145/7474.7528]
	LH83	N.G. Leveson and P.R. Harvey. "Analyzing Software Safety". IEEE Transactions on Software Engineering, SE-9(5):569-579, Sep, 1983.
	LS87	N. G. Leveson , J. L. Stolzy, Safety analysis using Petri nets, IEEE Transactions on Software Engineering, v.13 n.3, p.386-397, March 1987 [doi>10.1109/TSE.1987.233170]
	Neu85	P.G. Neumann. "Some Computer-Related Disasters and Other Egregious Horrors". ACM Software ngineering Notes, 10(l), Jan 1985.
	PC86	D L Parnas , P C Clements, A rational design process: How and why to fake it, IEEE Transactions on Software Engineering, v.12 n.2, p.251-257, Feb. 1986
	Rom85	G.C. Roman. "A Taxonomy of Current Issues in Requirements Engineering". IEEE Computer, 18(4):14-23, Apr, 1985.
	RS78	C.V. Ramamoorthy and H.H. So. "Software Requirements and Specifications: Status and Perspectives". In C.V. Ramamoorthy and R. Yeh, editors, Tutorial: Software Methodology. IEEE, New York, New York, Nov, 1978.
	SB82	William Swartout , Robert Balzer, On the inevitable intertwining of specification and implementation, Communications of the ACM, v.25 n.7, p.438-440, July 1982 [doi>10.1145/358557.358572]

CITED BY 6

	Carlo Ghezzi , Richard A. Kennerer, Executing formal specifications: the ASTRAL to TRIO translation approach, Proceedings of the symposium on Testing, analysis, and verification, p.112-122, October 08-10, 1991, Victoria, British Columbia, Canada
	Vesna Mikulovic , Michael Heiss, "How do I know what I have to do?": the role of the inquiry culture in requirements communication for distributed software development projects, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	Alberto Coen-Porisini , Carlo Ghezzi , Richard A. Kemmerer, Specification of realtime systems using ASTRAL, IEEE Transactions on Software Engineering, v.23 n.9, p.572-598, September 1997
	Matthew John Squair, Safety, software architecture and MIL-STD-1760, Proceedings of the eleventh Australian workshop on Safety critical systems and software, p.93-112, August 31, 2006, Melbourne, Australia
	Joon Sung Hong , Hae-Sang Song , Tag Gon Kim , Kyu Ho Park, A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development, Discrete Event Dynamic Systems, v.7 n.4, p.355-375, October 1997
	Ben Swarup Medikonda , Seetha Ramaiah Panchumarthy, A framework for software safety in safety-critical systems, ACM SIGSOFT Software Engineering Notes, v.34 n.2, March 2009