713 search results - page 89 / 143 » Formalization, Testing and Execution of a Use Case Diagram |
COOPIS
2004
IEEE
15 years 3 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
119
click to vote
GECCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
ICSE
2008
IEEE-ACM
16 years 18 days ago
2008
IEEE-ACM
Fault-localization techniques that utilize information about all test cases in a test suite have been presented. These techniques use various approaches to identify the likely fau...
105
click to vote
ACTAC
2002
14 years 11 months ago
2002
Different program slicing methods are used for debugging, testing, reverse engineering and maintenance. Slicing algorithms can be classified as a static slicing or dynamic slicing...
102
click to vote
ENTCS
2008
14 years 12 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...