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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1648620
بازگشت