538 search results - page 69 / 108 » Processing Knowledge to Support Knowledge-based Engineering ... |
151
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
144
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
143
Voted
CISIS
2007
IEEE
15 years 2 months ago
2007
IEEE
Problem determination in today's computing environments consumes between 30 and 70% of an organization’s IT resources and represents from one third to one half of their tot...
124
click to vote
COBUILD
1998
Springer
15 years 6 months ago
1998
Springer
In the CLear project we develop a cooperative learning system for supporting learning and training processes of co-located and distributed groups. One of the fundamental concepts o...
131
click to vote
ACMDIS
2000
ACM
15 years 6 months ago
2000
ACM
Contextual development differs from traditional user interface development in several ways: It focuses on the context of usage and the user population rather than on the technical...