DocumentCode
2241997
Title
Proceedings of 8th Knowledge-Based Software Engineering Conference
fYear
1993
fDate
20-23 Sept. 1993
Abstract
The following topics are dealt with: validation and verification; synthesis; scheduling and rescheduling; maintenance; evolving specifications; requirements and bounded obligations; software reuse; knowledge-based software tools; and object modeling
Keywords
artificial intelligence; computer aided software engineering; formal specification; program verification; scheduling; software development management; software engineering; software maintenance; software reusability; bounded obligations; evolving specifications; knowledge based software engineering; knowledge-based software tools; maintenance; object modeling; requirements; rescheduling; scheduling; software reuse; synthesis; validation; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Knowledge-Based Software Engineering Conference, 1993. Proceedings., Eighth
Conference_Location
Chicago, IL, USA
ISSN
1068-3062
Print_ISBN
0-8186-4100-2
Type
conf
DOI
10.1109/KBSE.1993.341203
Filename
341203
Link To Document