A framework for evaluating specification methods for reactive systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A framework for evaluating specification methods for reactive systems: experience report

Full text

Pdf (1.07 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: 159 - 168

Year of Publication: 1995

ISBN:0-89791-708-1

Authors

Mark A. Ardis	AT&T Bell Laboratories, Naperville, IL
John A. Chaves	AT&T Bell Laboratories, Naperville, IL
Lalita Jategaonkar Jagadeesan	AT&T Bell Laboratories, Naperville, IL
Peter Mataga	AT&T Bell Laboratories, Naperville, IL
Carlos Puchol	University of Texas at Austin and AT&T Bell Laboratories, Naperville, IL
Mark G. Staskauskas	AT&T Bell Laboratories, Naperville, IL
James Von Olnhausen	AT&T Bell Laboratories, Naperville, IL

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): 4, Downloads (12 Months): 12, Citation Count: 2

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.225029 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.

	AGE89	AGEL workshop manual version 3.0, 1989. Produced by ILOG.
	Ard94	Mark A. Ardis, Lessons from using basic LOTOS, Proceedings of the 16th international conference on Software engineering, p.5-14, May 16-21, 1994, Sorrento, Italy
	Bel91	Bellcore. Synchronous optical network (SONET) transport systems: Common generic criteria. Technicat Report TR-NWT-OO0253, Issue 2, BeIlcore, 1991.
	BG92	Gérard Berry , Georges Gonthier, The ESTEREL synchronous programming language: design, semantics, implementation, Science of Computer Programming, v.19 n.2, p.87-152, Nov. 1992 [doi>10.1016/0167-6423(92)90005-V]
	BL93	R. Boumezbeur and L. Logrippo. Specifying telephone systems in LCXOS. IEEE Communications, pages 38- 45, August 1993.
	Cha92	John A. Chaves, Formal Methods at AT&T - An Industrial Usage Report, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV, p.83-90, November 19-22, 1991
	CHLR93	P.C. Clements, C. L. Heitmeyer, B. G. Labau, and A. T. Rose. MT: A toolset for specifying and analyzing realtime systems. IEEE Real-Tirw Systems Symposium, December 1993.
	FHOS95	A. R. Flora-Holmquist J. D. O'Grady, and M. G. Staskauskas. Telecommunications software design using virtual finite state machines. In Proc. Intl. Switching Symposium (ISS95), Berlin, Germany, April 1995. To appear.
	GCR94	Susan Gerhart , Dan Craigen , Ted Ralston, Experience with Formal Methods in Critical Systems, IEEE Software, v.11 n.1, p.21-28, January 1994 [doi>10.1109/52.251198]
	Hal90	Anthony Hall, Using Z as a Specification Calculus for Object-Oriented Systems, Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development, p.290-318, April 17-21, 1990
	Har87	D. Harel. StateCharts, a visual formalism for complex systems. Technical report, The Weizmann Institute of Science, July 1987,
	Hol92	Gerard J. Holzmann, Practical methods for the formal validation of SDL specifications, Computer Communications, v.15 n.2, p.129-134, March 1992 [doi>10.1016/0140-3664(92)90132-X]
	ISO89	1S0. LOTOS--A Formal Description Technique Based on the Temporal Ordering of Observational Behavior. ISO, 1989. International Standard 1S0 8807.
	IT92	JTU-T. Message Sequence Chart. Recommendation Z.120, 1992.
	IT93	lTU-T. Specification and Description Language SDL. Recommendation Z.1OO, 1993.
	JLM88	F. Jahanian , R. Lee , A. K. Mok, Semantics of Modechart in real time logic, Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track, p.479-489, January 1988, Kailua-Kona, Hawaii, United States
	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
	JPVO95a	L. J. Jagadeesan , C. Puchol , J. E. Von Olnhausen, A formal approach to reactive systems software: a telecommunications application in ESTEREL, Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques, p.132, April 05-08, 1995
	JPVO95b	L.J. Jagadeesan, C. Puchol, and J.E. Von Otnhausen. Safety property verification of ESTEREL programs and applications to telecommunications software, 1995. In preparation.
	LL94	C. Lewerentz and T. Lindner. Case study 'production cell': A comparative study in formal specification and verification. Technical report, Forschungszentrutn In-formatik, 1994.
	MS85	K.E. Martersteck and A.E. Spencer. Introduction to the 5ESS(TM) switching system. AT&T Technical Jour-nal, 64(6 part 2): 1305-1314, July-August 1985.
	MZ94	P. A. Mataga and P. Zave. Format specification of telephone features. In J. P. Bowen and J. A. Hall, editors, Z User Workshop, Cambridge 1994, pages 29- 50. Springer-Verlag, 1994.
	Spi92	J. M. Spivey, The Z notation: a reference manual, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1992
	Wag92	F. Wagner. VFSM executable specification. In CompEuro92, 1992.
	ZJ94	P. Zave and M. Jackson. Where do operations come from? A multiparadigm specification technique, 1994. Draft available from the authors.

CITED BY 2

	Luciano Baresi , Mauro Pezzè, Toward formalizing structured analysis, ACM Transactions on Software Engineering and Methodology (TOSEM), v.7 n.1, p.80-107, Jan. 1998
	Onn Shehory , Arnon Sturm, Evaluation of modeling techniques for agent-based systems, Proceedings of the fifth international conference on Autonomous agents, p.624-631, May 2001, Montreal, Quebec, Canada