171 search results - page 18 / 35 » Precise Documentation of Critical Software |
ACSC
2001
IEEE
13 years 11 months ago
2001
IEEE
Management of system requirements and system architectures is part of any software engineering project. But it is usually very tedious and error prone. In particular, managing the...
ISSTA
2012
ACM
11 years 10 months ago
2012
ACM
Identifying and fixing defects is a crucial and expensive part of the software lifecycle. Measuring the quality of bug-fixing patches is a difficult task that affects both func...
SIGIR
2010
ACM
13 years 2 months ago
2010
ACM
Information retrieval (IR) evaluation scores are generally designed to measure the effectiveness with which relevant documents are identified and retrieved. Many scores have been ...
CISIS
2008
IEEE
14 years 2 months ago
2008
IEEE
Active XML (AXML) systems provide an elegant platform to integrate the power of XML, Web services and Peer to Peer (P2P) paradigms by allowing (active) Web service calls to be emb...
ISPW
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper introduces the concept of an analytic web, a synthesis of three complementary views of a scientific process that is intended to facilitate the conduct of science. These ...