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