Title :
Proceedings 25th International Conference on Software Engineering
Abstract :
The following topics are dealt with: software components; software testing; formal methods; software design; program analysis; software architecture; software engineering education; software fault correction.
Keywords :
computer science education; formal specification; object-oriented programming; program diagnostics; program testing; program verification; software architecture; software quality; software reliability; formal methods; program analysis; software architecture; software components; software design; software engineering education; software fault correction; software testing; Computer science education; Object oriented programming; Software fault diagnosis; Software quality; Software reliability; Software requirements and specifications; Software testing; Software verification and validation;
Conference_Titel :
Software Engineering, 2003. Proceedings. 25th International Conference on
Conference_Location :
Portland, OR, USA
Print_ISBN :
0-7695-1877-X
DOI :
10.1109/ICSE.2003.1201182