1376 search results - page 223 / 276 » Model-Driven Software Verification |
139
Voted
ICST
2009
IEEE
15 years 19 days ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
147
click to vote
IHI
2010
14 years 9 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
117
click to vote
EUROSYS
2007
ACM
16 years 9 hour ago
2007
ACM
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
114
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
142
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Software fails and fixing it is expensive. Research in failure prediction has been highly successful at modeling software failures. Few models, however, consider the key cause of ...