SDL-TRAN - An interactive generator for formal description language SDL.

Yaoxue Zhang Hua Chen Yue Zhang Guoli Liu

Published in: J. Comput. Sci. Technol. (1996)

Keyphrases

description language
software architecture
web services
description languages
action language
specification language
artificial intelligence
search algorithm
object oriented
real world
high level
data structure
lower bound
dynamic programming