TY - GEN
T1 - A theory of requirements capture and its applications
AU - Li, Wei
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1993.
PY - 1993
Y1 - 1993
N2 - A theory of requirements capture is developed. Some concepts, such as new law, user’s rejection, and reconstruction of a specification are defined; the related theorems are proved. The concepts of capture process and the limit of a capture process are further established. It is proved that, given a user’s model and a specification, there is a procedure that all processes generated from the procedure and starting with the specification are convergent, and their limit is the truth of the model. Some computational aspects of reconstructions are studied. Some applications of the theory are briefly discussed, especially, an editor called SpecReviser is introduced.
AB - A theory of requirements capture is developed. Some concepts, such as new law, user’s rejection, and reconstruction of a specification are defined; the related theorems are proved. The concepts of capture process and the limit of a capture process are further established. It is proved that, given a user’s model and a specification, there is a procedure that all processes generated from the procedure and starting with the specification are convergent, and their limit is the truth of the model. Some computational aspects of reconstructions are studied. Some applications of the theory are briefly discussed, especially, an editor called SpecReviser is introduced.
UR - https://www.scopus.com/pages/publications/21144477816
U2 - 10.1007/3-540-56610-4_79
DO - 10.1007/3-540-56610-4_79
M3 - 会议稿件
AN - SCOPUS:21144477816
SN - 9783540566106
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 406
EP - 420
BT - TAPSOFT 1993
A2 - Gaudel, Marie-Claude
A2 - Jouannaud, Jean-Pierre
PB - Springer Verlag
T2 - 4th International Joint Conference on the Theory and Practice of Software Development, TAPSOFT 1993
Y2 - 13 April 1993 through 17 April 1993
ER -