On the Modularization Theorem for Logical Specifications.

Paulo A. S. Veloso T. S. E. Maibaum

Published in: Inf. Process. Lett. (1995)

Keyphrases

software design
functional requirements
logical formulas
data sets
specification language
concurrent systems
logical representation
neural network
finite state machines
logical operations
delay insensitive
intuitionistic logic