1481 search results - page 143 / 297 » Enriching the Software Development Process by Formal Methods |
131
click to vote
GIR
2007
ACM
15 years 7 months ago
2007
ACM
DIGMAP is a project focused on historical digitized maps that will develop a set of Internet services based on reusable open-source software solutions. The main service will provi...
122
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
137
click to vote
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
Software inspection is a method to detect errors in software artefacts early in the development cycle. At the end of the inspection process the inspectors need to make a decision ...
164
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
159
Voted
ERSHOV
2009
Springer
15 years 1 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...