共 50 条
- [42] Specification-based testing of user interfaces INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, 2003, 2844 : 139 - 153
- [44] Agent based dynamic data storage and distribution in data warehouses AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PROCEEDINGS, 2007, 4496 : 375 - +
- [45] Flash Memory SSD based Data Management for Data Warehouses and Data Marts ICCIT: 2009 FOURTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND CONVERGENCE INFORMATION TECHNOLOGY, VOLS 1 AND 2, 2009, : 858 - 860
- [46] A Framework for Formal Specification Considering Review and Specification-Based Testing TENCON 2010: 2010 IEEE REGION 10 CONFERENCE, 2010, : 2444 - 2448
- [47] Specification-Based Program Repair Using SAT TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2011, 6605 : 173 - 188
- [49] Specification-based Testing for Software Product Lines SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 149 - +