3801 search results - page 402 / 761 » An Approach to Modeling Software Safety |
186
click to vote
HASKELL
2006
ACM
16 years 23 days ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
157
click to vote
ICMT
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
222
click to vote
SQJ
2010
15 years 5 months ago
2010
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
191
click to vote
CONTEXT
2003
Springer
16 years 10 hour ago
2003
Springer
We describe a software development approach for vision that enhances robustness by making novel use of context. Conventional approaches to most image understanding problems suffe...
173
click to vote
CONCURRENCY
2006
15 years 6 months ago
2006
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...