Conference Papers & Presentations (Computer Science)

Conference Papers & Presentations (Computer Science)

 

Recent Submissions

  • Gruner, Stefan; Kroeze, Jan C.W.; Australasian Conference on Information Systems, 25th : 2014 : Auckland, New Zealand (Australasian Association for Information Systems, 2014-12-08)
    In this paper we argue that the so-called 'positivism'-versus-'interpretivism' conflict raised by some constructivist, postmodernist, relativist philosophers and methodologists in information systems research is merely a ...
  • Gruner, Stefan (Gesellschaft für Informatik (GI), 1997)
    Integration tools are important means for upholding the mutual consistency of dependent documents. In this work-in-progress-contribution (in German language) a new method for specifying such integration tools is sketched.
  • Gruner, Stefan (Universität-Gesamthochschule Paderborn, Fachbereich Mathematik-Informatik, 1998-11)
    In distributed modeling, a group of developers are elaborating some specification in a work-sharing manner. Sub specifications and partial models are constructed according to a divide-and-conquer principle. Maintaining the ...
  • Gruner, Stefan (Springer-Verlag, 2003)
    Experiments have been conducted in order to determine to what extent Abstract Partial Deduction can infer implicit safety properties of the well-known Bakery Protocol.
  • Gruner, Stefan (Springer-Verlag, 2000)
    In this overview-paper, a specification method based on coupled graph grammars is sketched that is able to uniformly describe consistent domain configurations which distributed modeling as well as re-engineering tasks are ...
  • Gruner, Stefan (Technische Universität Berlin, 2000)
    The main result of this contribution is that the presented concept of meta-typing is compatible to the SPO theory and can be implemented, therefore, into the SPO-based graph grammar engineering environment AGG without ...