Sökning: "Peter Bunus"

Hittade 2 avhandlingar innehållade orden Peter Bunus.

  1. 1. Debugging and Structural Analysis of Declarative Equation-Based Languages

    Detta är en avhandling från Institutionen för datavetenskap

    Författare :Peter Bunus; Linköpings universitet.; Linköpings universitet.; [2002]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software development; object-oriented; debugging; computer programming; debugging kernel prototypes; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap;

    Sammanfattning : A significant part of the software development effort is spent on detecting deviations between software implementations and specifications, and subsequently locating the sources of such errors. This thesis illustrates that is possible to identify a significant number of errors during static analysis of declarative object-oriented equation-based modeling languages that are typically used for system modeling and simulation. LÄS MER

  2. 2. Debugging techniques for equation-based languages

    Detta är en avhandling från Linköping : Linköping University

    Författare :Peter Bunus; Linköpings universitet.; Linköpings universitet.; [2004]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap;

    Sammanfattning : Mathematical modeling and simulation of complex physical systems is emerging as a key technology in engineering. Modern approaches to physical system simulation allow users to specify simulation models with the help of equation-based languages. LÄS MER