1508 search results - page 48 / 302 » Toward Software Plug-and-Play |
CSMR
2000
IEEE
14 years 1 months ago
2000
IEEE
The assessment of the changeability of software systems is of major concern for buyers of the large systems found in fast-moving domains such as telecommunications. One way of app...
COMPSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
Global software development challenges traditional techniques of software engineering, such as peer reviews or teamwork. Effective teamwork and coaching of engineers highly contri...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program devel...
AMAST
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...