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.

Authors

Salvador Villena

This author has not been identified. Look up 'Salvador Villena' in Google

Buenaventura Clares Rodríguez

This author has not been identified. Look up 'Buenaventura Clares Rodríguez' in Google