1804 search results - page 176 / 361 » Use Cases in Model-Driven Software Engineering |
112
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
141
click to vote
WCRE
2002
IEEE
15 years 9 months ago
2002
IEEE
Software inspection is a known technique for improving software quality. It involves carefully examining the code, the design, and the documentation of software and checking these...
155
click to vote
SEW
2005
IEEE
15 years 10 months ago
2005
IEEE
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
123
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Many software engineers consider usability testing as one of the more expensive, tedious and least rewarding tests to implement. Making usability testing less expensive and more r...
122
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Although a software application always executes within a particular environment, current testing methods have largely ignored these environmental factors. Many applications execut...