A Formal Model for Module Interconnection Languages.

Michael D. Rice Stephen B. Seidman

Published in: IEEE Trans. Software Eng. (1994)

Keyphrases

formal model
expressive power
formal models
language independent
multi lingual
databases
cross lingual
predicate calculus
high density
security properties
security patterns
software engineering
text summarization