6751 search results - page 972 / 1351 » Engineering Quality Requirements Using Quality Models |
166
click to vote
IJCNN
2006
IEEE
16 years 23 days ago
2006
IEEE
—Computational models of development aim to describe the mechanisms that underlie the acquisition of new skills or the emergence of new capabilities. The strength of a model is j...
194
click to vote
APSEC
1996
IEEE
15 years 11 months ago
1996
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as aformula of "adom...
194
click to vote
ISSTA
1998
ACM
15 years 11 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
163
Voted
CSMR
2007
IEEE
15 years 7 months ago
2007
IEEE
We have performed an empirical case study, investigating defect-density and change-density of a reusable framework compared with one application reusing it over time at a large Oi...
121
click to vote
ECAI
2004
Springer
16 years 4 days ago
2004
Springer
This paper presents the engineering and development process of a software tool (APPROACH) that is designed for decentralised rotation planning for container barges in the port of R...