Options
lnterpretible discrete formalism in the context of modeling information systems
Augsburger, Walter; Mekinic, Goran (1994): „lnterpretible discrete formalism in the context of modeling information systems“. In: Bamberg: Otto-Friedrich-Universität S. 13–21.
Faculty/Professorship:
Author:
Title of the compilation:
Using formalism and semi-formal constructs for modeling information systems : IT aspects and cooperations between industry and science ; annual workshop of the partnership between Budapest University of Economic Sciences and Otto Friedrich University Bamberg, October 27 - 28th 1994
Editors:
Publisher Information:
Year of publication:
1994
Pages:
Language:
English
Abstract:
Applying 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.
GND Keywords:
Betriebliches Informationssystem
Modellierung
Formalismus <Mathematik>
Keywords:
Business Informatics
Information Systems
formal methods
syntax
semantics
pragmatics
DDC Classification:
RVK Classification:
Type:
Contribution to an Articlecollection
published:
January 24, 2023
Versioning
Question on publication
Permalink
https://fis.uni-bamberg.de/handle/uniba/57798