1782 search results - page 34 / 357 » Tool Support for Proof Engineering |
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
ICEIS
2008
IEEE
14 years 3 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...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Cases are widely used in professional education to engage learners with examples of real world practices. Collaboration in casebased learning can add to the authenticity of the ex...
CLEIEJ
2004
13 years 8 months ago
2004
Process integration in Software Engineering Environments (SEE) is very important to allow tool integration. In this paper, we present a knowledge-based approach to improve process...
JOT
2007
13 years 8 months ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...