3819 search results - page 251 / 764 » An Outsourcing Model of Software Development |
245
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
181
click to vote
LMO
1996
15 years 7 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
163
click to vote
WCE
2007
15 years 7 months ago
2007
—Use case refactoring is one of the recent software engineering techniques that aimed at synthesising and refining use case models. Two new types of use case refactoring are prop...
206
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Tandem mass spectrometry (MS/MS) has emerged as the leading method for high- throughput protein identification in proteomics. Recent technological breakthroughs have d...
209
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...