3819 search results - page 567 / 764 » An Outsourcing Model of Software Development |
180
click to vote
FORMATS
2008
Springer
15 years 7 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
164
click to vote
CAD
2005
Springer
15 years 5 months ago
2005
Springer
CAD has been traditionally used to assist in engineering design and modeling for representation, analysis and manufacturing. Advances in Information Technology and in Biomedicine ...
152
Voted
WSC
2000
15 years 7 months ago
2000
Significant advances have been made in the field of construction process modeling. However, no convenient graphical support tools exist that can depict the modeled operations in 3...
169
click to vote
GPCE
2009
Springer
15 years 10 months ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
201
click to vote
FLOPS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...