274 search results - page 14 / 55 » The Maude Formal Tool Environment |
ICALT
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
JBI
2008
13 years 9 months ago
2008
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
CAD
2004
Springer
13 years 9 months ago
2004
Springer
Joints in product design are common because of the limitations of component geometric configurations and material properties, and the requirements of inspection, accessibility, re...
HCI
2009
13 years 7 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
LPAR
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...