ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
SLAng is an XML language for defining service level agreements, the part of a contract between the client and provider of an Internet service that describes the quality attributes...
ICSE
2004
IEEE-ACM
2004
IEEE-ACM
Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow
14 years 11 months ago
Although object-oriented languages can improve programming practices, their characteristics may introduce new problems for software engineers. One important problem is the presenc...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Software architectural modeling is crucial to the development of high-quality software. Software engineering tool support is required for this activity, so that models can be deve...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
The theme and title for this panel is inspired by Donald Sch?n's writings about the reflective practitioner in which he describes professional practice as being a process of ...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM