2253 search results - page 280 / 451 » An Approach to Specifying Software Frameworks |
148
click to vote
INFFUS
2006
15 years 4 months ago
2006
In previous papers, we have presented a logic-based framework based on fusion rules for merging structured news reports [Hun00, Hun02b, Hun02a, HS03, HS04]. Structured news report...
153
click to vote
JALC
2006
15 years 4 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
117
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
The requirement for 24/7 availability of distributed applications complicates their maintenance and evolution as shutting down such applications to perform updates may not be an a...
135
click to vote
AAAI
2008
15 years 7 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
109
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Testing is one of the most indispensable tasks in software engineering. The role of testing in software development has grown significantly because testing is able to rev...