Process Specification Generation from Communications Service Specifications.

Akira Takura Keizo Kawata Tadashi Ohta

Published in: Autom. Softw. Eng. (1995)

Keyphrases

protocol specification
generation process
high level
mobile devices
software systems
conceptual model
data flow
specification language
reactive systems