Access Restriction

Author Bjørner, Dines
Source CiteSeerX
Content type Text
File Format PDF
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Domain Modelling ♦ Algorithmic Software Contribution ♦ Programming Methodology ♦ Tactic Operation Decision Support ♦ Resource Management Strategics ♦ Oxford University ♦ Different Thing ♦ Method Principle ♦ Tony Hoare ♦ Domain Perspective ♦ Support Technology ♦ Requirement Engineering ♦ Main Body ♦ Operational Resource Management ♦ Software Design ♦ Operation Research ♦ Decision Support Software ♦ Rule Regulation ♦ Human Behaviour Modelling ♦ Methodological Issue
Abstract In this contribution to the symposium in honour of Tony Hoare, marking his retirement from Oxford University, we examine and illustrate programming methodological issues of domain modelling --- an activity we see as logically, if not temporally, preceeding those of requirements engineering and software design. We identify such method principles and techniques as domain perspective, intrinsics, support technology, rules & regulations and human behaviour modelling. The main body of the paper is an exmaple. That example allows us to illustrate four different things: (i) domain modelling, (ii) strategic, tactical and operational resource management, (iii) an interface between computing science and operations research, and (iv) a spectrum of software: From decision support software to algorithmic software.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study