Integrating Formal Methods with System Management
暂无分享,去创建一个
[1] Gianfranco Lamperti,et al. Diagnosis of Large Active Systems , 1999, Artif. Intell..
[2] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[3] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[4] Marc Riese. Model-based diagnosis of communication protocols , 1993 .
[5] Franz Wotawa,et al. Debugging VHDL designs using model-based reasoning , 2000, Artif. Intell. Eng..
[6] Carroll Morgan,et al. Programming from specifications (2nd ed.) , 1994 .
[7] Susan L. Gerhart,et al. Correctness-preserving program transformations , 1975, POPL '75.
[8] Yiannis Papadopoulos. Model-based system monitoring and diagnosis of failures using statecharts and fault trees , 2003, Reliab. Eng. Syst. Saf..
[9] Peter Struss. What's in SD?: Towards a theory of modeling for diagnosis , 1992 .
[10] Luca Console,et al. Readings in Model-Based Diagnosis , 1992 .
[11] Jeremy Dick,et al. Automating the Generation and Sequencing of Test Cases from Model-Based Specifications , 1993, FME.
[12] Pierre Wolper,et al. Reasoning About Infinite Computations , 1994, Inf. Comput..
[13] Tsun S. Chow,et al. Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.
[14] Ashwin Srinivasan,et al. Ripple down rules: Turning knowledge acquisition into knowledge maintenance , 1992, Artif. Intell. Medicine.
[15] Robert W. Floyd,et al. Assigning Meanings to Programs , 1993 .
[16] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[17] James A. Whittaker,et al. Model‐Based Software Testing , 2002 .
[18] Carroll Morgan,et al. Programming from specifications , 1990, Prentice Hall International Series in computer science.
[19] Ralph-Johan Back,et al. Refinement Calculus: A Systematic Introduction , 1998 .
[20] Luca Console,et al. Process algebras for systems diagnosis , 2002, Artif. Intell..
[21] Raymond Reiter,et al. A Theory of Diagnosis from First Principles , 1986, Artif. Intell..
[22] John J. Marciniak,et al. Encyclopedia of Software Engineering , 1994, Encyclopedia of Software Engineering.
[23] Ivan Bratko,et al. KARDIO - a study in deep and qualitative knowledge for expert systems , 1989 .
[24] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.
[25] Martin de Groot,et al. Modular Refinement and Model Building , 1997, AMAST.
[26] Daniel Jackson. Automating first-order relational logic , 2000, SIGSOFT '00/FSE-8.
[27] Jane Sinclair,et al. Introduction to formal specification and Z , 1991, Prentice Hall International Series in Computer Science.