The declarative problem frame: Designing systems that create and use norms

10th International Workshop on Software Specification and Design, IWSSD 2000

Volumn , Issue , 2000, Pages 75-85

  Wieringa, Roel J ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

DESIGN GUIDE; DESIGNING SYSTEMS; PHYSICAL ENVIRONMENTS; PROBLEM FRAMES; SOCIAL CONTROL; SOCIAL ENVIRONMENT; SYMBOLIC INTERACTION;

DESIGN;

EID: 28044445283     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IWSSD.2000.891128     Document Type: Conference Paper

References (12)

1. P. Altan, J.-J. Meyer, and R. Wieringa. An inte grated framework for ought-to-be and ought-to-do con straints. Artificial Intelligence and Law, 4:77-111, 1996.ftp://ftp.cs.utwente.n1/pub/doc/MAICS/96-AIandLaw.ps.Z.
2. M. Castells. The Information Age: Economy, Society and Culture. Volume 1: The Rise of the Network Society. Black-well, 1996.
3. D. Harel and A. Pnueli. On the development of reactive systems. In K. Apt, editor, Logics and Models of Concurrent Systems, pages 477-498. Springer, 1985. NATO ASI Series.
4. M. Jackson. Software Requirements and Specifications: A lexicon of practice, principles and prejudices. Addison-Wesley, 1995.
5. B. Kovitz. Practical Software Requirements: A Manual of Content and Style. Manning, 1998.
6. J.-J. Meyer, R. Wieringa, and F. Dignum. The role of deontic logic in the specification of information systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 71-115. Kluwer, 1998.
7. D. Parnas and J. Madey. Functional documents for computer systems. Science of Computer programming, 25:41-61, 1995.
8. D. Schon. The Reflective Practitioner: How Professionals Think in Action. Arena, 1983.
9. J. Searle. Expression and Meaning. Cambridge University Press, 1979.
10. R. Wieringa. Three roles of conceptual models in informa tion system design and use. In E. Falkenberg and P. Lind-green, editors, Information System Concepts: An In-Depth Analysis, pages 31-51. North-Holland, 1989.
11. R. Wieringa, J.-J. C. Meyer, and H. Weigand. Specifying dynamic and deontic integrity constraints. Data and Knowl edge Engineering, 4:157-189, 1989.
12. P. Zave and M. Jackson. Four dark corners in requirements engineering. ACM Transactions on Software Engineering and Methodology, 6( 1): 1-30, January 1997.