DocumentCode :
3208918
Title :
Proceedings Eighth IEEE International Conference on Engineering of Complex Computer Systems
fYear :
2002
fDate :
2-4 Dec. 2002
Keywords :
Java; formal specification; formal verification; message passing; object-oriented programming; program testing; software process improvement; distributed JAVA applications; distributed systems; formal approaches; object-oriented software; role-based modelling language; software development; software product lines; specification-based class testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Engineering of Complex Computer Systems, 2002. Proceedings. Eighth IEEE International Conference on
Conference_Location :
Greenbelt, MD, USA
Print_ISBN :
0-7695-1757-9
Type :
conf
DOI :
10.1109/ICECCS.2002.1181490
Filename :
1181490
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3208918
بازگشت