3425 search results - page 209 / 685 » A Model Driven Approach for Software Systems Reliability |
124
click to vote
INFORMATICALT
2006
15 years 3 months ago
2006
The quality of software engineering projects often suffers due to the large gap between the way stakeholders present their requirements and the way analysts capture and express tho...
133
Voted
SIGMETRICS
2002
ACM
15 years 3 months ago
2002
ACM
Being able to model contention for software resources (e.g., a critical section or database lock) is paramount to building performance models that capture all aspects of the delay...
163
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
— With the advent of Model-Driven Engineering (MDE) several model transformation approaches and languages have been developed in the last 5 years. Most of these existing approach...
134
Voted
MASCOTS
2003
15 years 5 months ago
2003
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
148
Voted
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...