6079 search results - page 1046 / 1216 » Aspect-Oriented Process Engineering |
ADBIS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Quality of software has growing role of the modern software engineering work. Typical current trends in the development process are the dominating role of quality systems...
AIED
2005
Springer
14 years 3 months ago
2005
Springer
Abstract: The problem of modeling and assessing an individual’s ability level is central to learning environments. Numerous approaches exists to this end. Computer Adaptive Testi...
AOSE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
The number of web pages available on Internet increases day after day, and consequently finding relevant information becomes more and more a hard task. However, when we consider ...
CHARME
2005
Springer
14 years 3 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...