共 50 条
- [41] Reasoning about software-component behavior [J]. SOFTWARE REUSE: ADVANCES IN SOFTWARE REUSABILITY, 2000, 1844 : 266 - 283
- [43] Better reasoning about software engineering activities [J]. 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 391 - 394
- [44] Obtaining and Reasoning About Good Enough Software [J]. 2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 930 - 935
- [45] Reasoning about software system design with SSM [J]. SYSTEMS FOR SUSTAINABILITY: PEOPLE, ORGANIZATIONS, AND ENVIRONMENTS, 1997, : 579 - 582
- [46] Reasoning about the correctness of software development process [J]. ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2002, : 708 - 708
- [47] Relational reasoning in formal concept analysis [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-4, 2007, : 1053 - 1058
- [48] Formal Modeling and Reasoning for Reliability Analysis [J]. PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 531 - 536
- [49] THOR: A tool for reasoning about shape and arithmetic - Tool paper [J]. Lect. Notes Comput. Sci., (428-432):