Augsburger, WalterWalterAugsburgerMekinic, GoranGoranMekinic2023-01-242023-01-241994https://fis.uni-bamberg.de/handle/uniba/57798Applying discrete formalism to computer systems development provides mathematically based techniques to describe system properties. They present an interesting framework for a systematic specification, development and verification of information systems. In this article we discuss the use of formal specifications in the context of modeling Business Information Systems and evolving theories in Business Informatics.engBusiness InformaticsInformation Systemsformal methodssyntaxsemanticspragmatics004bookpart