Specifying dynamic and deonitc integrity constraints
Data & Knowledge Engineering
On the development of reactive systems
Logics and models of concurrent systems
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Functional documents for computer systems
Science of Computer Programming
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Practical software requirements: a manual of content and style
Practical software requirements: a manual of content and style
The role of deontic logic in the specification of information systems
Logics for databases and information systems
Rise of the Network Society: The Information Age: Economy, Society and Culture
Rise of the Network Society: The Information Age: Economy, Society and Culture
Non-Functional Requirements Size Measurement Method (NFSM) with COSMIC-FFP
Software Process and Product Measurement
Editorial: A roadmap of problem frames research
Information and Software Technology
Hi-index | 0.00 |
This paper analyzes design guidelines for reactive systems that control a social environment. In contrast, to a physical environment, a social environment cannot be controlled by physical causation, but it can be controlled by symbolic interaction in combination with the appropriate norms. I show that this involves three kinds of norms: the desired effects of the system, norms needed to achieve these effects, and norms for the subject domain that are independent from the system. The norms presupposed by the responses of the system include the ability of the system to act on behalf of legal persons as well as responsibilities allocated to legal persons. The analysis leads to design guidelines and a problem frame for social control by machine.