538 search results - page 76 / 108 » Processing Knowledge to Support Knowledge-based Engineering ... |
CAD
2000
Springer
13 years 7 months ago
2000
Springer
This paper describes our initial efforts to deploy a digital library to support computer-aided collaborative design. At present, this experimental testbed, The Engineering Design ...
EUSFLAT
2009
13 years 5 months ago
2009
The Spanish National Agency for Quality Assessment and Accreditation as part of its evaluation activities has established a procedure for evaluating both teaching and institutions,...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
SAFECOMP
2000
Springer
13 years 11 months ago
2000
Springer
An expert trouble-shooter is a subject who has a great deal of experience in his activity that allows him or her to be very efficient. However, the large amount of problems he or s...
ICSE
1999
IEEE-ACM
14 years 9 days ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...