Title :
Proceedings. IEEE International Conference on Software - Science, Technology and Engineering. SwSTE ´05
Abstract :
The following topics are dealt with: software architecture, software design, software process improvement, software testing, software verification, software modelling.
Keywords :
formal specification; formal verification; object-oriented programming; program testing; software architecture; software process improvement; software architecture; software design; software modelling; software process improvement; software testing; software verification;
Conference_Titel :
Software - Science, Technology and Engineering, 2005. Proceedings. IEEE International Conference on
Conference_Location :
Herzlia, Israel
Print_ISBN :
0-7695-2335-8
DOI :
10.1109/SWSTE.2005.21