1912 search results - page 42 / 383 » XML Technologies and Software Engineering |
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
TOOLS
1999
IEEE
13 years 12 months ago
1999
IEEE
Component-based software engineering (CBSE) spans a range of technologies and engineering practices. Engineering practices for component-based systems (e.g., design, integrate, te...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
This report gives an overview of the 6th ICSE Workshop on Component-Based Software Engineering held at 25th International Conference on Software Engineering. The workshop brought ...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract In this paper we question the problem of a software engineering researcher, who in his daily work, has to deal with researching, teaching and learning activities at the sa...
ATAL
2003
Springer
14 years 28 days ago
2003
Springer
A key question in the field of agent-oriented software engineering is how the kind and extent of autonomy owned by computational agents can be appropriately captured. As long as ...