Verification and validation of temporal business rules
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/373487
Tipus de documentText en actes de congrés
Data publicació1992
EditorUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 4.0 Internacional
Abstract
In this paper the development of an analysis tool for verification and validation of temporal business rules is described. The fonnalism for expressing the business rules is the Conceptual Rule Language developed as part for the ESPRIT Il project TEMPORA.
CitacióTheodoulidis, B.; Alexakis, P.; Loucopoulos, P. Verification and validation of temporal business rules. A: "Proceedings of the 3rd International Workshop on the Deductive Approach to Information Systems and Databases". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992, p. 1-15.
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
3DAISD_01_Verif ... validation of temporal.pdf | 988,3Kb | Visualitza/Obre |