1376 search results - page 17 / 276 » Model-Driven Software Verification |
121
click to vote
ADAEUROPE
2010
Springer
14 years 11 months ago
2010
Springer
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
95
Voted
CAV
2007
Springer
15 years 5 months ago
2007
Springer
al Abstraction of Software Verification Conditions Domagoj Babi
124
click to vote
JODS
2006
15 years 1 months ago
2006
W3C's Semantic Web provides a common framework that allows data to be shared and reused across application and enterprise. As the Semantic Web shapes the future of the Web, it...
154
Voted
JCSS
2011
14 years 8 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
120
click to vote
ICSEA
2008
IEEE
15 years 8 months ago
2008
IEEE
In order to increase efficiency, enterprises support their business processes by information technology (IT). The majority of business processes requires human interaction. By mea...