1481 search results - page 43 / 297 » Enriching the Software Development Process by Formal Methods |
122
click to vote
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
Software process research deals with the methods and technologies used to assess, support, and improve software development activities. The field has grown up during the 80s to ad...
132
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
109
click to vote
ASWEC
2000
IEEE
15 years 7 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
114
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: The number of algorithms available to predict ligand-protein interactions is large and ever-increasing. The number of test cases used to validate these methods is usua...
125
click to vote
ISSRE
2005
IEEE
15 years 8 months ago
2005
IEEE
The software development process imposes major impacts on the quality of software at every development stage; therefore, a common goal of each software development phase concerns ...