Old Web
English
Sign In
Acemap
>
Paper
>
A Formal Approach to Design Pattern Definition Application
A Formal Approach to Design Pattern Definition Application
1995
Paulo S. C. Alencar
Donald D. Cowan
Daniel M. German
Kurt Lichtner
Carlos Lucena
L. C. M. Nova
Keywords:
Formal system
Systems engineering
Formal methods
Design pattern
Interaction design pattern
Specification pattern
Formal specification
Formal verification
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
5
Citations
NaN
KQI
[]