1579 search results - page 169 / 316 » A software development process supporting non-functional pro... |
147
Voted
APAQS
2000
IEEE
15 years 9 months ago
2000
IEEE
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...
138
Voted
BCSHCI
2007
15 years 6 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
141
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
134
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
150
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...