2558 search results - page 170 / 512 » Model Composition Contracts |
142
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
150
click to vote
CSMR
2004
IEEE
15 years 8 months ago
2004
IEEE
Outsourcing has become common practice in the software industry. Organizations routinely subcontract the maintenance of their software assets to specialized companies. A great cha...
121
click to vote
ICMCS
1997
IEEE
15 years 8 months ago
1997
IEEE
– Video is a powerful medium for disseminating news as information. Like any other information, techniques are required to help search and locate interesting video content. In th...
169
click to vote
MBEES
2008
15 years 5 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
145
click to vote
MCS
2007
Springer
15 years 4 months ago
2007
Springer
In this project, nonlinear characteristics on the rolling interface of a linear guide were studied by the finite element analysis and experimental verification. Contact of the b...