DocumentCode
1648620
Title
Formal Specification of Design Patterns and Their Instances
Author
Taibi, Toufik ; Taibi, Fathi
fYear
2006
fDate
3/8/2006 12:00:00 AM
Firstpage
33
Lastpage
36
Keywords
Collaboration; Design methodology; Educational institutions; Formal specifications; Information technology; Logic; Software quality; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Systems and Applications, 2006. IEEE International Conference on.
Print_ISBN
1-4244-0211-5
Type
conf
DOI
10.1109/AICCSA.2006.205064
Filename
1618329
Link To Document