2835 search results - page 323 / 567 » Imperfect Requirements in Software Development |
179
click to vote
ICONS
2008
IEEE
16 years 29 days ago
2008
IEEE
Missing or faulty exception handling has caused a number of spectacular system failures and is a major cause of software failures in extensively tested critical systems. Prior wor...
160
click to vote
ASWEC
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
182
click to vote
JCDL
2006
ACM
16 years 14 days ago
2006
ACM
Digital library interoperability for both documents and metadata is a critical and complex issue. Although many relevant standards have been developed, and continue to evolve, in ...
186
click to vote
ECBS
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper describes SOPA, a component framework that is an essential part of the lecture recording system E-Chalk. It envisages a general processing and streaming architecture fe...
189
click to vote
HICSS
2005
IEEE
16 years 4 days ago
2005
IEEE
The complex business environment requires managing business processes with the ability to adapt to changes and to collaborate in activities. Conventional workflow approaches based...