Skip to main content
Conference ProceedingsOPEN ACCESS

Representing a system specification with a temporal dimension in an object-oriented language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1991) 498 LNCS 540-560
DOI: 10.1007/3-540-54059-8_103
1Citations
Citations of this article
1Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

One way to validate a conceptual specification is to transform it to an executable form and in this way have a prototype of the system, based directly on the specification. Before finding a proper transformation, a suitable representation in the executable form has to be found. This paper describes a way to represent a specification made with the TEMPORA conceptual model in the PROLOG-based object oriented programming language Amore.

Cite

CITATION STYLE

APA

Oelmann, A. (1991). Representing a system specification with a temporal dimension in an object-oriented language. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 498 LNCS, pp. 540–560). Springer Verlag. https://doi.org/10.1007/3-540-54059-8_103

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free