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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2241997
بازگشت