1128 search results - page 70 / 226 » Little Engines of Proof |
ISSRE
2008
IEEE
15 years 4 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...
NCA
2008
IEEE
15 years 4 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...
AGILEDC
2007
IEEE
15 years 4 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 4 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....
ISPW
2007
IEEE
15 years 4 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...