3799 search results - page 500 / 760 » An Engineering Approach to Formal Methods |
171
click to vote
ICSM
2009
IEEE
15 years 4 months ago
2009
IEEE
Planning the next release in software release planning addresses the problem of assigning features to the next release such that technical, resource, risk, and budget constraints ...
154
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...
183
click to vote
DASFAA
2007
IEEE
16 years 1 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
127
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
190
click to vote
DEXAW
2007
IEEE
16 years 1 months ago
2007
IEEE
Question Answering (QA) systems automatically answer natural language questions in a human-like manner. One of the practical approaches to open domain QA consists in extracting fa...