6174 search results - page 366 / 1235 » The language of social software |
241
click to vote
ISORC
2005
IEEE
16 years 1 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
201
click to vote
ICAPR
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
178
click to vote
SAC
2004
ACM
16 years 1 months ago
2004
ACM
There is still no standardization of software measures and metrics extraction tools have to be updated frequently to handle the changes. A possible solution is represented by usin...
208
Voted
APSEC
2003
IEEE
16 years 1 months ago
2003
IEEE
The size, complexity and duration of typical software engineering projects means that teams of developers will work on them. However, with the exception of version control systems...
217
click to vote
APSEC
2002
IEEE
16 years 20 days ago
2002
IEEE
We present a discrete simulation model for software projects which explicitly takes a scheduling strategy as input. The model represents varying staff skill levels, component coup...