ملخص: This volume constitutes the proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems DISCO '93, held in Gmunden, Austria, in September 1993. The growing importance of systems for symbolic computation has greatly influenced the decision of organizing this third conference in the series: DISCO '93 focuses mainly on the most innovative methodological and technological aspects of the design and implementation of hardware and software systems for symbolic and algebraic computation, automated reasoning, geometric modeling and computation, and automatic programming. The general objective of DISCO '93 is to present an up-to-date view of the field and to serve as a forum in symbolic computation for the scientific exchange among academic, industrial and user communities. Besides invited talks by Buchberger, Monagan, Omodeo and Hong, the volume contains 28 contributions, carefully selected by a highly competent international program committee from a total of 56 submissions.

طبعة: Heidelberg,New York: Springer-Verlag Springer-Verlag
لغة: إنجليزية
الوصف المادي: 384p. ;24 cm
ISBN: 9783540479857
الفهرس العشري 005.12 .هندسة البرمجيات (تحليل احتياجات المستخدم الأولية لتطوير نظام برمجيات الإجابة لهذه الاحتياجات ، وتحليل وتصميم البرمجيات ، وتحليل وتصميم نظم البرمجيات ، والتصميم البرامج ، وإعداد مواصفات تصميم البرنامج وأنواع أخرى من الوثائق الفنية لتصميم البرنامج)
الموضوع الإعلام الآلي

الكلمات الدالة:
Génie logiciel
Informatique
Langages de programmation
Systèmes, Conception de
Intelligence artificielle