DocumentCode :
2298376
Title :
Proceedings of 1993 15th International Conference on Software Engineering
fYear :
1993
fDate :
17-21 May 1993
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering, 1993. Proceedings., 15th International Conference on
Conference_Location :
Baltimore, MD, USA
ISSN :
0270-5257
Print_ISBN :
0-8186-3700-5
Type :
conf
DOI :
10.1109/ICSE.1993.346061
Filename :
346061
Link To Document :
بازگشت