8627 search results - page 473 / 1726 » Software Engineering Using RATionale |
194
click to vote
MOMPES
2008
IEEE
16 years 1 months ago
2008
IEEE
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...
191
click to vote
ISSRE
2003
IEEE
16 years 5 days ago
2003
IEEE
Many architecture–based software reliability models were proposed in the past. Regardless of the accuracy of these models, if a considerable uncertainty exists in the estimates ...
173
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Software engineering activities in the Industry has come a long way with various improvements brought in various stages of the software development life cycle. The comple...
177
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...
169
click to vote
ISSTA
2006
ACM
16 years 25 days ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...