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

Authors:
Kyo C. Kang;Kwang-Il Ko
Affiliations:
Department of Computer Science and Engineering, Pohang University of Science and Technology, Pohang Kyungbuk 790-600, Korea;Department of Computer Science and Engineering, Pohang University of Science and Technology, Pohang Kyungbuk 790-600, Korea
Venue:
Proceedings of the 17th international conference on Software engineering
Year:
1995

Citing 9
Cited 2

Strategies for real-time system specification

Strategies for real-time system specification
On visual formalisms

Communications of the ACM
Temporal logic for real time systems

Temporal logic for real time systems
Software engineering (3rd ed.): a practitioner's approach

Software engineering (3rd ed.): a practitioner's approach
Object-oriented modeling and design

Object-oriented modeling and design
Formal methods for the specification and design of real-time safety critical systems

Journal of Systems and Software
Real-time systems design methodologies: an introduction and a survey

Journal of Systems and Software
Real-Time Systems Design and Analysis: An Engineer's Handbook

Real-Time Systems Design and Analysis: An Engineer's Handbook
Structured Development for Real-Time Systems

Structured Development for Real-Time Systems

Software engineering of virtual worlds

VRST '98 Proceedings of the ACM symposium on Virtual reality software and technology
A real world object modeling method for creating simulation environment of real-time systems

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract