共 50 条
- [3] State-Based Dynamic Slicing Technique for UML Model Implementing DSA Algorithm [J]. ADVANCES IN COMPUTING AND INFORMATION TECHNOLOGY, 2011, 198 : 243 - 252
- [4] Comparing the state-based and behavioural approaches to checking consistency between associations and state machines in UML [J]. INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2004, : 233 - 238
- [5] Automated Transition from Use Cases to UML State Machines to Support State-Based Testing [J]. MODELLING FOUNDATIONS AND APPLICATIONS, 2011, 6698 : 115 - 131
- [7] A State-Based Testing Method for Detecting Aspect Composition Faults [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT V, 2014, 8583 : 418 - +
- [8] State-based planning [J]. INDUCTIVE SYNTHESIS OF FUNCTIONAL PROGRAMS: UNIVERSAL PLANNING, FOLDING OF FINITE PROGRAMS, AND SCHEMA ABSTRACTION BY ANALOGICAL REASONING, 2003, 2654 : 13 - 54