Specification of information systems by state machine deduced from deductive conceptual models
Document typeConference report
Defense date1992
PublisherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Rights accessOpen Access
This work is protected by the corresponding intellectual and industrial property rights.
Except where otherwise noted, its contents are licensed under a Creative Commons license
:
Attribution-NonCommercial-NoDerivs 4.0 International
Abstract
CitationVillena, S.; Clares, B. Specification of information systems by state machine deduced from deductive conceptual models. 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. 49-79.
| Files | Description | Size | Format | View |
|---|---|---|---|---|
| 3DAISD_03_Specification of information systems.pdf | 1,482Mb | View/Open |