1782 search results - page 34 / 357 » Tool Support for Proof Engineering |
129
click to vote
DATE
2008
IEEE
15 years 9 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...
142
click to vote
ICEIS
2008
IEEE
15 years 9 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...
124
click to vote
HICSS
2008
IEEE
15 years 9 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...
116
click to vote
CLEIEJ
2004
15 years 2 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...
157
click to vote
JOT
2007
15 years 3 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...