3819 search results - page 386 / 764 » An Outsourcing Model of Software Development |
160
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
179
click to vote
ICRE
2000
IEEE
15 years 10 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...
171
click to vote
UML
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...
179
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
A program’s object model captures the essence of its design. For some programs, no object model was developed during design; for others, an object model exists but may be out-of...
177
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Models abstract reality. Although abstract, such models can capture the essence of real world phenomena as long as they are sufficiently accurate. The development of new techni...