DocumentCode :
2794530
Title :
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000
fYear :
2000
fDate :
5-8 Dec. 2000
Abstract :
The following topics were dealt with: real-time systems; software engineering education and practice; formal methods; software reliability; systems analysis and design; program testing and verification; component-based development; requirements engineering; UML, Object-Z and Z; software maintenance; software architecture; and software metrics
Keywords :
computer science education; object-oriented programming; program testing; program verification; real-time systems; software engineering; specification languages; systems analysis; Object-Z; UML; Z language; component-based development; formal methods; program testing; program verification; real-time systems; requirements engineering; software architecture; software engineering; software engineering education; software maintenance; software metrics; software reliability; specification languages; system design; systems analysis;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific
Conference_Location :
Singapore
ISSN :
1530-1362
Print_ISBN :
0-7695-0915-0
Type :
conf
DOI :
10.1109/APSEC.2000.896676
Filename :
896676
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2794530
بازگشت