哈尔滨工业大学学报(英文版)
哈爾濱工業大學學報(英文版)
합이빈공업대학학보(영문판)
JOURNAL OF HARBIN INSTITUTE OF TECHNOLOGY
2004年
3期
295-299
,共5页
formal methods%UML%Object-Z%methods integration
High quality software requirement specification is crucial for a software development. Although much efforts and research works have been done to address the problem, the errors in user requirement are still prevent us from developing high quality software. To address the problem, this paper proposes integrating graphical specification technique UML with formal specification technique to construct user requirement specification. We also present a prototype tool to perform the automatic translation from UML specification into Object-Z specification.
