Sciweavers

3514 search results - page 36 / 703
» Evolving Specification Engineering
Sort
View
FOSSACS
2008
Springer
13 years 9 months ago
Complexity of Decision Problems for Mixed and Modal Specifications
Adam Antonik, Michael Huth, Kim Guldstrand Larsen,...
KBSE
2010
IEEE
13 years 5 months ago
SpecDiff: debugging formal specifications
Zhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin S...
ISPW
2005
IEEE
14 years 1 months ago
Evolving an Experience Base for Software Process Research
Since 1996 the USC Center for Software Engineering has been accumulating a large amount of software process experience through many realclient project software engineering practice...
Zhihao Chen, Daniel Port, Yue Chen, Barry W. Boehm
ICSE
2009
IEEE-ACM
14 years 8 months ago
Maintaining and evolving GUI-directed test scripts
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
Mark Grechanik, Qing Xie, Chen Fu