PARTS

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

PARTS: a temporal logic-based real-time software specification and verification method

Full text

Pdf (659 KB)

Source

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

Seattle, Washington, United States

Pages: 169 - 176

Year of Publication: 1995

ISBN:0-89791-708-1

Authors

Kyo C. Kang	Department of Computer Science and Engineering, Pohang University of Science and Technology, Pohang Kyungbuk 790-600, Korea
Kwang-Il Ko	Department of Computer Science and Engineering, Pohang University of Science and Technology, Pohang Kyungbuk 790-600, Korea

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): 14, 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.225030 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	"Statemate 4.5 User Reference Manual", i-Logix Inc., Burlington. MA, Aug, 1992
	2	Davis, A., et al., "RLP: An automated tool for the processing of requirements", The Proceedings of IEEE COMPSAC '79, 1979, pp. 289-299.
	3	David Harel, On visual formalisms, Communications of the ACM, v.31 n.5, p.514-530, May 1988 [doi>10.1145/42411.42414]
	4	Derek J. Hatley , Imtiaz A. Pirbhai, Strategies for real-time system specification, Dorset House Publishing Co., Inc., New York, NY, 1987
	5	Jang, S. C., Ko, G. I., and Kang, K. C., "Issues in Real-Time Systems Development : A Survey Report", POSTECH/CS/SE-93-TR-l, Software En-gineering Lab, Computer Science, Postech, 1993.
	6	Jang, S. C., Kang, M. S., and Kang, K. C., "Application of Software Engineering Techniques for the Improvement of MICOM Software Development Process", POSTECH/CS/SE-93-TR-4, Software Engineering Lab, Computer Science, Postech, 1993.
	7	Ko, G.I., Jang, S. C., and Kang, K. C., "An Analysis of Time Concepts and Timing Constraints", POSTECH/CS/SE-93-TM-1, Software Engineer-ing Lab, Computer Science, Postech, 1993.
	8	Ko, G.I., Jang, S. C., and Kang, K. C., "PARTS User's Manual", PosTEcH/cs/sE-94-TR-1, Software Engineering Lab, Computer Science, Postech, 1994.
	9	Ko, G.I. and Kang, K. C., "Formal Description of Temporal Functions of TES with Vari-ous Time Concepts", POSTECH/CS/SE-94-TM-2, Software Engineering Lab, Computer Science, Postech, 1994.
	10	Krishna M. Kavi , Seung-Min Yang, Real-time systems design methodologies: an introduction and a survey, Journal of Systems and Software, v.18 n.1, p.85-99, April 1992 [doi>10.1016/0164-1212(92)90047-N]
	11	Phillip A. Laplante, Real-Time Systems Design and Analysis: An Engineer's Handbook, IEEE Press, Piscataway, NJ, 1992
	12	Jonathan S. Ostroff, Temporal logic for real time systems, John Wiley & Sons, Inc., New York, NY, 1989
	13	Jonathan S. Ostroff, Formal methods for the specification and design of real-time safety critical systems, Journal of Systems and Software, v.18 n.1, p.33-60, April 1992 [doi>10.1016/0164-1212(92)90045-L]
	14	Roger S. Pressman, Software engineering (3rd ed.): a practitioner's approach, McGraw-Hill, Inc., New York, NY, 1992
	15	James Rumbaugh , Michael Blaha , William Premerlani , Frederick Eddy , William Lorensen, Object-oriented modeling and design, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
	16	Smith, L.S. and Gerhart, L. S., "STATEMATE and cruise control: A case study", The Proceedings of COMPAC '88, 1988.
	17	Paul T. Ward , Stephen J. Mellor, Structured Development for Real-Time Systems, Prentice Hall Professional Technical Reference, 1991

CITED BY 2

	G. Jounghyun Kim , Kyo Chul Kang , Hyejung Kim , Jiyoung Lee, Software engineering of virtual worlds, Proceedings of the ACM symposium on Virtual reality software and technology, p.131-138, November 02-05, 1998, Taipei, Taiwan
	Ji Y. Lee , Hye J. Kim , Kyo C. Kang, A real world object modeling method for creating simulation environment of real-time systems, ACM SIGPLAN Notices, v.35 n.10, p.93-104, Oct. 2000