DocumentCode :
2811157
Title :
Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference
fYear :
1997
fDate :
5-5 Dec. 1997
Abstract :
The following topics were dealt with: software metrics and quality assurance; formal methods; knowledge and logic based systems; object oriented methods; program validation and verification; distributed and mobile systems; software design methodology; software process; user interaction; program testing; software development environments; and concurrency
Keywords :
distributed processing; knowledge based systems; object-oriented methods; parallel programming; program testing; program verification; programming environments; software engineering; user interfaces; concurrency; distributed systems; formal methods; knowledge based systems; logic based systems; mobile systems; object oriented methods; program testing; program validation; program verification; software design methodology; software development environments; software metrics; software process; software quality assurance; user interaction;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Conference, 1997. Asia Pacific ... and International Computer Science Conference 1997. APSEC '97 and ICSC '97. Proceedings
Conference_Location :
Hong Kong
Print_ISBN :
0-8186-8271-X
Type :
conf
DOI :
10.1109/APSEC.1997.640155
Filename :
640155
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2811157
بازگشت