img

تفاصيل البطاقة الفهرسية

Program Development by Specification and Transformation

The PROSPECTRA Methodology, Language Family, and System

كتاب من تأليف: Krieg-Bruckner, Bernd ; Hoffmann, Berthold ; نشر في: 1993

ملخص: This volume gives a coherent presentation of the outcome of the project PROSPECTRA PROgram development by SPECification and TRAnsformation that aims to provide a rigorous methodology for developing correct software and a comprehensive support system. The results are substantial: a theoretically well-founded methodology covering the whole development cycle, a very high-level specification and transformation language family allowing meta-program development and formalization of the development process itself, and a prototype development system supporting structure editing, incremental static-semantic checking, interactive context-sensitive transformation and verification, development of transformation meta- programs, version management, and so on, with an initial library of specifications and a sizeable collection of implemented transformations. The intended audience for this documentation is the academic community working in this and related areas and those members of the industria l community interested in the use of formal methods.


طبعة: Heidelberg,New York: Springer-Verlag Springer-Verlag
لغة: إنجليزية
الوصف المادي: xiv, 623 p. ;24 cm
ISBN: 354056733X
الفهرس العشري 621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع الإعلام الآلي

الكلمات الدالة:
Logiciels : Développement

Program Development by Specification and Transformation

الفهرس