Sciweavers

643 search results - page 8 / 129
» tools 1998
Sort
View
SIGADA
1998
Springer
13 years 11 months ago
A Specification and Code Generation Tool for Message Translation and Validation
Charles Plinta, Richard D'Ippolito, Roger Van Scoy
SIGADA
1998
Springer
13 years 11 months ago
An ASIS-Based Static Analysis Tool for High-Integrity Systems
William W. Pritchett IV, John D. Riley
FLAIRS
1998
13 years 8 months ago
Tool for Knowledge Acquisition and Knowledge Visualization
Injoo Jeong, Martha W. Evens, Yeong Kwun Kim
IJUFKS
1998
31views more  IJUFKS 1998»
13 years 7 months ago
ICOT: An Integrated C-Object Tool for Knowledge-Based Programming
Hyung Jeong Yang, Jae Dong Yang, Yeongho Kim