10241 search results - page 35 / 2049 » Goal-Driven Software Development |
IEEEICCI
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper explores the nature of software and software development, discusses the importance of specialization in software development, and infers that separation of design and i...
JUCS
2010
13 years 3 months ago
2010
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...
STTT
2010
13 years 3 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
AOSD
2011
ACM
13 years 4 months ago
2011
ACM
The domain of operating systems has often been mentioned as an “ideal candidate” for the application of AOP; fundamental policies we find in these systems, such as synchroniz...
COMPSAC
2008
IEEE
14 years 3 months ago
2008
IEEE
Reliability-aware software architecture development has recently been gaining growing attention among software architects. This paper tackles the issue by introducing an ontology-...