Sciweavers

3514 search results - page 36 / 703
» Evolving Specification Engineering
Sort
View
FOSSACS
2008
Springer
14 years 11 months ago
Complexity of Decision Problems for Mixed and Modal Specifications
Adam Antonik, Michael Huth, Kim Guldstrand Larsen,...
KBSE
2010
IEEE
14 years 7 months ago
SpecDiff: debugging formal specifications
Zhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin S...
ISPW
2005
IEEE
15 years 3 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
15 years 10 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