5407 search results - page 134 / 1082 » The Software Engineering Global Model |
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
103
click to vote
WCRE
2002
IEEE
15 years 2 months ago
2002
IEEE
The application of spectral methods to the software clustering problem has the advantage of producing results that are within a known factor of the optimal solution. Heuristic sea...
APSEC
2001
IEEE
15 years 1 months ago
2001
IEEE
As a result of globalization, mergers, acquisitions, and scarce skills, software development is increasingly more distributed. Distribution, however, introduces major communicatio...
Publication
Because of the distance between the dispersed development
locations, Global Software Engineering (GSE) is confronted
with challenges regarding communication, coordination
and co...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...