Formality and Informality in Requirements Engineering

This paper is an overview of a new ap proach to requirements the exposition takes formality and informality as its theme The approach considers that requirements are information and that informa tion is social Ethnomethodology and semiotics are used to explore the nature of information and require ments Some limits of formalization and the impor tance of tacit knowledge and evolution motivate new methods for acquiring and tracing requirements

[1]  Joseph A. Goguen,et al.  Techniques for requirements elicitation , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[2]  K. A. Ericsson,et al.  Protocol Analysis: Verbal Reports as Data , 1984 .

[3]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[4]  B. Latour.  Science in Action , 1987 .

[5]  Luqi,et al.  Formal Methods and Social Context in Software Development , 1995, TAPSOFT.

[6]  J. Goguen,et al.  Structure of planning discourse , 1978 .

[7]  Lucy Suchman.  Plans and situated actions: the problem of human-machine communication , 1987 .

[8]  Joseph A. Goguen,et al.  Requirements engineering as the reconciliation of social and technical issues , 1994 .

[9]  E. Schegloff,et al.  A simplest systematics for the organization of turn-taking for conversation , 1974 .

[10]  Lucy A. Suchman,et al.  Plans and Situated Actions: The Problem of Human-Machine Communication (Learning in Doing: Social, , 1987 .

[11]  B. Massumi,et al.  The postmodern condition : a report on knowledge , 1979 .

[12]  Joseph A. Goguen,et al.  Reasoning and Natural Explanation , 1983, Int. J. Man Mach. Stud..

[13]  P. Luff,et al.  Tasks and social interaction: the relevance of naturalistic analyses of conduct for requirements engineering , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[14]  Jawed I. A. Siddiqi,et al.  Challenging universal truths of requirements engineering , 1994, IEEE Software.

[15]  Joseph A. Goguen,et al.  The Dry and the Wet , 1992, ISCO.

[16]  Joseph A. Goguen,et al.  An Object-Oriented Tool for Tracing Requirements , 1996, IEEE Softw..