1128 search results - page 70 / 226 » Little Engines of Proof |
123
Voted
ISSRE
2008
IEEE
15 years 7 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
95
Voted
NCA
2008
IEEE
15 years 7 months ago
2008
IEEE
QSM is a multicast engine designed to support a style of distributed programming in which application objects are replicated among clients and updated via multicast. The model req...
82
Voted
AGILEDC
2007
IEEE
15 years 7 months ago
2007
IEEE
As academic institutions become more reliant on Information Technology for everyday work and learning, Harvard Business School needed to find a better way to meet the ever-increas...
ICSM
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper explores how software developers debug integrated systems, where they have little or no access to the source code of the third-party software the system is composed of....
76
Voted
ISPW
2007
IEEE
15 years 7 months ago
2007
IEEE
Current software development methodologies (such as agile and RUP) are largely management-centred, macro-process life-cycle models. While they may include some fine-grained micro-p...