2635 search results - page 423 / 527 » Refactoring Process Models in Large Process Repositories |
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...
106
click to vote
FM
2009
Springer
15 years 5 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
108
click to vote
UML
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
108
click to vote
CA
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper describes an animated conversational agent called Kare1 which integrates a talking head interface with a linguistically motivated human-machine dialogue system. The age...
108
click to vote
WCRE
2003
IEEE
15 years 4 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...