3425 search results - page 144 / 685 » A Model Driven Approach for Software Systems Reliability |
161
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
Today's requirements engineering approaches focus on notation and techniques for modeling the intended functionality and qualities of a software system. Little attention has ...
155
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
In many distributed computing paradigms, especially sensor networks and ubiquitous computing but also grid computing and web services, programmers commonly tie their application to...
155
click to vote
KBSE
2007
IEEE
16 years 20 days ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
155
click to vote
CASES
2006
ACM
16 years 10 days ago
2006
ACM
This paper considers the efficient parallel implementation of control constructs and expressions written in a common software programming language and synthesised to FPGA platform...
171
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...