Specification of Information Systems by State Machine Deduced from Deductive Conceptual Models

Salvador Villena, Buenaventura Clares Rodríguez. Specification of Information Systems by State Machine Deduced from Deductive Conceptual Models. In DAISD. pages 49-79, 1992.

Abstract

Abstract is missing.