Intelligent knowledge database (IKD) tool for formal methods
暂无分享,去创建一个
[1] Dragoş-Anton Manolescu. Feature Extraction—A Pattern for Information Retrieval , 1998 .
[2] O Kuyoro Shade,et al. Information Retrieval: An Overview , 2012 .
[3] Gérard Morel,et al. Combining SysML and formal methods for safety requirements verification , 2010 .
[4] Daniel E. Hastings,et al. Defining changeability: Reconciling flexibility, adaptability, scalability, modifiability, and robustness for maintaining system lifecycle value , 2008, Syst. Eng..
[5] Mariëlle Stoelinga,et al. Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost , 2014, Sci. Comput. Program..
[6] Constance L. Heitmeyer,et al. Developing safety-critical systems: the role of formal methods and tools , 2006 .
[7] Christopher D. Manning,et al. Introduction to Information Retrieval , 2010, J. Assoc. Inf. Sci. Technol..