On "The Right" Software
    Download PDF
Dines Bjorner. On "The Right" Software. International Journal of Software and Informatics, 2011,5(3):509~523
Hits: 2912
Download times: 2018
Abstract:Boehm[13,37] is credited to have formulated the "Two Rights" of software: the problem of getting the right software and the problem of getting the software right. The development processes needed to achieve software that is right, to us, requires that a proper study of the application domain be done before a serious requirements study is attempted; and to achieve the right software, that is, software that is correct, to us, requires that a proper engineering degree of formalism be applied to the entire development process; that is, that we re-interpret classical development processes[14]. We shall in this paper focus only on the issue of obtaining the right software. In this paper talk we shall outline what we mean by a proper study of the application domain and how it influences the requirements development.
keywords:domain engineering  domain theories  requirements  formal methods  correctness
View Full Text  View/Add Comment  Download reader



Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences

京公网安备 11040202500065号