Using Formalised Invariant Properties of an Extended Conceptual Model to Generate Reusable Consistency Control for Information Systems

Winter, RobertRobertWinterNunamaker, J.F.Sprague, R.H.2023-04-132023-04-131997https://www.alexandria.unisg.ch/handle/20.500.14171/62342enUsing Formalised Invariant Properties of an Extended Conceptual Model to Generate Reusable Consistency Control for Information Systemsconference paper