Add to ORKGQuartz is a formal software development method for concurrent real-time systems. It is a program refinement theory that supports systematic production of verified realtime code. It uses a wide-spectrum model that encompasses a broad range of development steps from abstract requirements specification, through high-level language programs, down to executable assembler code with verified timing behaviour. This article illustrates the method via a detailed example
In this paper we propose a method for extending programming languages that enables the specification...
Abstract. Program compilation can be formally defined as a sequence of equivalence-preserving transf...
Program synthesis is a discipline aimed at the automatic construction of executable programs from de...
The Quartz method treats time and functional behavior with equal importance in the development proce...
We define a language and a predicative semantics to model concurrent real-time programs. We consider...
For many real-time applications, parallel computers offer a natural computing platform. However, ver...
AbstractA real-time program can be developed by refining a specification into program code. Verifica...
A real-time system is one in which the correctness of the system depends not only on the logical res...
Programming is divided into three major categories with increasing complexity of reasoning in progra...
. In this paper, we describe an approach to the representation, specification and implementation of ...
This paper shows how the feasibility of scheduling a realtime program consisting of a number of para...
A real-time program can be developed by refining a specification into program code. Verification of ...
This paper shows how the feasibility of scheduling a real-time program consisting of a number of par...
Concurrent C, is a parallel superset of C (and of C++) that provides facilities such as specifying t...
RTC: Language Support For Real-Time Concurrency This paper presents language constructs for the expr...
In this paper we propose a method for extending programming languages that enables the specification...
Abstract. Program compilation can be formally defined as a sequence of equivalence-preserving transf...
Program synthesis is a discipline aimed at the automatic construction of executable programs from de...
The Quartz method treats time and functional behavior with equal importance in the development proce...
We define a language and a predicative semantics to model concurrent real-time programs. We consider...
For many real-time applications, parallel computers offer a natural computing platform. However, ver...
AbstractA real-time program can be developed by refining a specification into program code. Verifica...
A real-time system is one in which the correctness of the system depends not only on the logical res...
Programming is divided into three major categories with increasing complexity of reasoning in progra...
. In this paper, we describe an approach to the representation, specification and implementation of ...
This paper shows how the feasibility of scheduling a realtime program consisting of a number of para...
A real-time program can be developed by refining a specification into program code. Verification of ...
This paper shows how the feasibility of scheduling a real-time program consisting of a number of par...
Concurrent C, is a parallel superset of C (and of C++) that provides facilities such as specifying t...
RTC: Language Support For Real-Time Concurrency This paper presents language constructs for the expr...
In this paper we propose a method for extending programming languages that enables the specification...
Abstract. Program compilation can be formally defined as a sequence of equivalence-preserving transf...
Program synthesis is a discipline aimed at the automatic construction of executable programs from de...