What is a method? An Essay on some aspects of software engineering.

Dines Bjørner

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Abstract

    We examine some methodological principles and techniques of modeling such domain facets as: Intrinsics, support technologies, management & organisation, rules & regulations, and human behaviour. for some of these we give example (formal) descriptions; for others we formalise the principles and techniques.
    Original languageEnglish
    Title of host publicationEC 61131-3 Programming Methodology: Software Engineering Methods for Industrial Automated Systems
    PublisherICS Triplex ISaGRAF
    Publication date2003
    Pages175-203
    ISBN (Print)0973467002
    Publication statusPublished - 2003

    Fingerprint Dive into the research topics of 'What is a method? An Essay on some aspects of software engineering.'. Together they form a unique fingerprint.

    Cite this