1912 search results - page 42 / 383 » XML Technologies and Software Engineering |
91
Voted
CAISE
2005
Springer
15 years 6 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, ...
118
Voted
TOOLS
1999
IEEE
15 years 4 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
16 years 21 days 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 ...
49
Voted
CAISE
2005
Springer
15 years 6 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...
109
click to vote
ATAL
2003
Springer
15 years 5 months 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 ...