Title :
Proceedings of 1993 15th International Conference on Software Engineering
Abstract :
The following topics are dealt with: formal methods; metrics; software processes; reverse engineering; testing; requirements engineering; design methods; specification methods; software engineering environments; software reuse; and tools
Keywords :
formal specification; formal verification; program testing; software engineering; software metrics; software reusability; software tools; design methods; formal methods; metrics; requirements engineering; reverse engineering; software engineering environments; software processes; software reuse; specification methods; testing;
Conference_Titel :
Software Engineering, 1993. Proceedings., 15th International Conference on
Conference_Location :
Baltimore, MD, USA
Print_ISBN :
0-8186-3700-5
DOI :
10.1109/ICSE.1993.346061