16725 search results - page 2598 / 3345 » Engineering Software Correctness |
175
click to vote
SIGCSE
2002
ACM
15 years 7 months ago
2002
ACM
We adopt the view that CS1 labs are not programming assignments, and that they should not be used for grading students or assessing their level of understanding. Instead, we think...
176
click to vote
TSE
2002
15 years 7 months ago
2002
We propose an approach (GQM/MEDEA) for defining measures of product attributes in software engineering. The approach is driven by the experimental goals of measurement, expressed v...
199
click to vote
SAC
2008
ACM
15 years 7 months ago
2008
ACM
This paper presents the QoS-MO ontology. This ontology enables the specification of QoS requirements for Semantic Web Services and can easily be combined with OWL-S in order to fu...
174
click to vote
SAC
2008
ACM
15 years 7 months ago
2008
ACM
There exists a growing class of distributed applications that require adaptive middleware services, i.e., services that are able to monitor changes in the execution environment an...
189
click to vote
SAC
2008
ACM
15 years 7 months ago
2008
ACM
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...