80
Voted
ICSE
2004
IEEE-ACM
16 years 2 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...
111
Voted
ICSE
2004
IEEE-ACM
2004
IEEE-ACM
Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow
16 years 2 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...
122
Voted
ICSE
2004
IEEE-ACM
16 years 2 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...
81
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
102
Voted
ICSE
2004
IEEE-ACM
16 years 2 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...
112
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
62
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
88
Voted
ICSE
2004
IEEE-ACM
16 years 2 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 ...
103
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
85
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM