4166 search results - page 416 / 834 » Automating the constraining process |
125
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
The process of creating e-learning contents using reusable learning objects (LOs) can be broken down in two sub-processes: LOs finding and LO sequencing. Although semiautomatic to...
170
click to vote
ICEIS
2008
IEEE
15 years 11 months ago
2008
IEEE
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...
131
click to vote
ECBS
2007
IEEE
15 years 11 months ago
2007
IEEE
Automated diagnosis of errors detected during software testing can improve the efficiency of the debugging process, and can thus help to make software more reliable. In this pape...
124
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
118
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
One recent change in software development is developers starting to take responsibility for the quality of their work by writing and executing automated tests. As with any new act...