文献类型：期刊文献

英文题名：Formal methods for specifying and analyzing complex software systems

作者：He, Xudong[1]; Yu, Huiqun[2]; Deng, Yi[1]

机构：[1] School of Computer Science, Florida International University, United States; [2] Department of Computer Science and Engineering, East China University of Science and Technology, China

年份：2006

起止页码：123

外文期刊名：Modern Formal Methods and Applications

收录：EI(收录号：20172603834747)

语种：英文

外文关键词：Computer software - Formal specification - Software architecture

摘要：Software has been a major enabling technology for advancing modern society, and is now an indispensable part of daily life. Because of the increased complexity of these software systems, and their critical societal role, more effective software development and analysis technologies are needed. How to develop and ensure the dependability of these complex software systems is a grand challenge. It is well-known that a highly dependable complex software system cannot be developed without a rigorous development process and a precise specification and design documentation. Formal methods are one of the most promising technologies for precisely specifying, modeling, and analyzing complex software systems. Although past research experience and practice in computer science have convincingly shown that it is not possible to formally verify program behavior and properties at the program source code level due to its extreme huge size and complexity, recently advances in applying formal methods during software specification and design, especially at software architecture level, have demonstrated significant benefits of using formal methods. In this chapter, we will review several well-known formal methods for software system specification and analysis. We will present recent advances of using these formal methods for specifying, modeling and analyzing software architectural design. ? 2006 Springer.