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