DocumentCode :
3112108
Title :
Proceedings. 2004 1st International Workshop on Model, Design and Validation. SIVOES - MoDeVa 2004 (IEEE Cat. No.04EX984)
fYear :
2004
fDate :
2-2 Nov. 2004
Abstract :
The following topics are dealt with: software testing; program verification; formal specification; object-oriented programming; UML.
Keywords :
Unified Modeling Language; formal specification; program testing; UML; formal specification; object-oriented programming; program verification; software testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Model, Design and Validation, 2004. Proceedings. 2004 First International Workshop on
Conference_Location :
Rennes, France
Print_ISBN :
0-7803-8852-6
Type :
conf
DOI :
10.1109/MODEVA.2004.1425810
Filename :
1425810
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3112108
بازگشت