✦ LIBER ✦

Sokrates-SA - A formal method for specifying real-time systems

✍ Scribed by Ari Okkonen; Antti Auer; Mikko Levanto; Jyrki Okkonen; Jarmo Kalaoja

Publisher: Elsevier Science
Year: 1989
Weight: 730 KB
Volume: 27
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(89)90102-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A scalable method for testing real-time

A scalable method for testing real-time systems

✍ Abdeslam En-Nouaary 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 739 KB

A behavioral analysis method for real-ti

A behavioral analysis method for real-time control systems

✍ H. Gomaa 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 439 KB

This paper describes a method for analyzing and modeling real-time control systems called Concurrent Object-Based Real-Time Analysis (COBRA). COBRA is an alternative approach to Real-Time Structured Analysis, Object-Oriented Analysis, and Jackson System Development, for analyzing and modeling real-t

Foundations of a new software engineerin

Foundations of a new software engineering method for real-time systems

✍ Isabelle Perseil; Laurent Pautet 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 794 KB

Performance prototyping for a real time

Performance prototyping for a real time system with qualitative parameter tuning methods

✍ M Miki; Y Tamura; T Kakumu; T Hirai; K Itoh 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 644 KB

A behavioural analysis and modeling meth

A behavioural analysis and modeling method for real-time systems : Hassan Gomaa, pp 43–48

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 111 KB

Full paper also published in this issue 001 Time Concepts in Real-time Software\* L. Motus, pp 1-10 An attempt is made to sy .stemadze the variety.o.f time-.hound. terms,

Principles of program synthesis for real

Principles of program synthesis for real-time systems on the basis of a formal logical description of the problem environment

✍ A. A. Ros' 📂 Article 📅 1986 🏛 Springer US 🌐 English ⚖ 702 KB