3819 search results - page 375 / 764 » An Outsourcing Model of Software Development |
169
Voted
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Many of the problems that occur in long-running systems involve the way that the system uses memory. We have developed a framework for extracting and building a model of the heap ...
172
click to vote
FSTTCS
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Hybrid knowledge bases (HKB’s) [11] were developed to provide formal models for the mediation of data and knowledge bases [14,15]. They are based on Generalized Annotat...
157
click to vote
APSEC
2003
IEEE
15 years 10 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...
212
click to vote
HICSS
2005
IEEE
16 years 11 days ago
2005
IEEE
Prior characterizations of open source projects have been based on the model of a community-founded project. More recently, a second model has emerged, where organizations spinout...
159
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
It is impossible to implement one tool that supports all activities in software development. Thus, it is important to focus on integration of different tools, ideally giving devel...