8627 search results - page 173 / 1726 » Software Engineering Using RATionale |
137
Voted
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
Software engineering community has proposed several methods to evaluate software architectures with respect to desired quality attributes such as maintainability, performance, and...
114
Voted
EUROMICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
Critical to any successful performance improvement initiative is to achieve a state of continuous or institutionalized improvement. Some improvement can happen quickly, but long-t...
98
Voted
FATES
2003
Springer
15 years 7 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
141
Voted
EUROMICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
One area of the web services architecture yet to be standardised is that of fault tolerance for services. At the same time, WS-BPEL is moving from a de facto standard to an OASIS ...
127
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...