Quite obviously the “Characteristics of good Sowftware Requirements Specs” in IEEE 830 correspond to concepts of formal Model Theory and Reasoning. Just in case you don’t know them by heart: Correct, Unambiguous, Complete, Consistent, …
Unfortunately I couldn’t find anywhere some sort of derivation or foundations of these characteristics from the concepts of Logic (doesn’t have TO be strictly formal). Sad that such things tend TO GET lost over TIME, since they contain so much OF the original intentions.
Has anybody come across such stuff? ANY clue would be great.
Have Fun
|=
In this work, the authors reason about quality of models (in general, not only graphical ones) and, despite the publication date, their framework is still very valid today.
O. I. Lindland, G. Sindre, and A. Sølvberg, “Understanding quality in conceptual modeling,” IEEE Softw., 11(2), pp. 42-49, 1994.
And I recall that J. Krogstie continued that research line for a while.
Some authors have extended the framework and many metrics have been proposed, for particular purposes. For instance, my own work:
S. España, N. Condori-Fernández, A. González, and Ó. Pastor, “Evaluating the completeness and granularity of functional requirements specifications: a controlled experiment.” In: 17th IEEE International Requirements Engineering Conference (RE’09), Atlanta, Georgia, USA, pp. 161-170, 2009. (Later extended FOR the Journal OF the Brazilian Computer Society, 16(1))
I hope it helps.
Regards.
Do you say IEEE 830 involve into Model Theory?(the Math)?
I search the “Characteristics of a good Software Requirements Specs” but not gained.
BTW, I know your symbol sign |=
😉
Hi Sergio
thanks a lot for the hints, they look promising. Also found a lot of similar stuff while googeling for them. Will need some time to work through it.
Hi ty
unfortunately they do not mention it explicitly. Although, requirements engineers have a language to describe properties of a certain something, and want to judge if they do it well.
So they come up with things like completeness, consistency etc., it’s very much AS IN Logic/ Model Theory.
Have Fun Everybody
|=