2132 search results - page 202 / 427 » Automated software winnowing |
130
click to vote
QSIC
2003
IEEE
15 years 9 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
109
click to vote
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Maintenance is undoubtedly the most effort-consuming activity in software production whereby the entropy of legacy systems (e.g., due to redundancies, poor modularity and lack of ...
109
Voted
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
Projects often fail because they overlook stakeholders. Unfortunately, existing stakeholder analysis tools only capture stakeholders’ information, relying on experts to manually...
121
click to vote
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
Workflow management systems are increasingly used to assist the automation of business processes that involve the exchange of documents, information, or task execution results. Re...
142
click to vote
WETICE
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper describes the architecture and concept of operation of a Framework for Adaptive Process Modeling and Execution (FAME). The research addresses the absence of robust meth...