1733 search results - page 38 / 347 » On the naturalness of software |
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
As computational devices continue to advance, there are reasons to examine their foundations a little more deeply, and to ask whether there may not be something more to be found. ...
HICSS
1999
IEEE
14 years 2 months ago
1999
IEEE
The architecture is the fundamental framework for designing and implementing large scale software, and the ability to trace and control its evolution is essential. However, many t...
KBSE
1998
IEEE
14 years 1 months ago
1998
IEEE
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
SETP
2008
13 years 11 months ago
2008
Software cost estimation is known to be a challenging task at best, and these challenges are increased for programmers operating outside the support of an established team program...