Title :
Proceedings. 12th Asia-Pacific Software Engineering Conference
Abstract :
The following topics are dealt with: requirements engineering; formal method; service-oriented computing; software architecture; software measurement; object-oriented technology; formal verification; agent-based software engineering; software quality management; component-based software engineering; software refactoring; software process improvement.
Keywords :
formal specification; formal verification; object-oriented programming; quality management; software agents; software architecture; software process improvement; software quality; agent-based software engineering; component-based software engineering; formal method; formal verification; object-oriented technology; requirements engineering; service-oriented computing; software architecture; software measurement; software process improvement; software quality management; software refactoring;
Conference_Titel :
Software Engineering Conference, 2005. APSEC '05. 12th Asia-Pacific
Conference_Location :
Taipei, Taiwan
Print_ISBN :
0-7695-2465-6
DOI :
10.1109/APSEC.2005.2