Validation of Regulation Documents by Automated Analysis of Formal Models
暂无分享,去创建一个
[1] Fabrice Bouquet,et al. CLPS–B – A constraint solver to animate a B specification , 2004, International Journal on Software Tools for Technology Transfer.
[2] Bruno Legeard,et al. Automated Boundary Testing from Z and B , 2002, FME.
[3] Yves Ledru,et al. Derivation of UML Class Diagrams as Static Views of Formal B Developments , 2005, ICFEM.
[4] Jean-Raymond Abrial,et al. The B-book - assigning programs to meanings , 1996 .
[5] Stephen Fickas,et al. Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..
[6] Régine Laleau,et al. Application of Requirements Analysis Techniques to the analysis of civil aviation security standards , 2005 .
[7] Marie-Laure Potet,et al. GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties , 2005, ZB.