This text comprises proceedings from the 12th Knowledge-based Software Engineering Conference of 1997. The contents include information on synthesis, verification and validation, knowledge-based environments and reverse engineering.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.