6348 search results - page 612 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
205
click to vote
CACM
2010
15 years 4 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
169
click to vote
SAC
2004
ACM
16 years 20 days ago
2004
ACM
There is still no standardization of software measures and metrics extraction tools have to be updated frequently to handle the changes. A possible solution is represented by usin...
179
Voted
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Service-Oriented Computing (SOC) enables the development and design of loosely coupled software components for integration with other software system. Since most legacy system wer...
163
click to vote
PROFES
2004
Springer
16 years 18 days ago
2004
Springer
One of the most prominent issues involved in incremental software development is to decide upon the most appropriate software release plans taking into account all explicit and imp...
163
click to vote
PROFES
2004
Springer
16 years 18 days ago
2004
Springer
The area of tool support for software inspection has been under active research since the early 1990's. Although numerous implementations exist and development is still taking...