10239 search results - page 34 / 2048 » Postmodern Software Development |
LCTRTS
2010
Springer
13 years 6 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
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...