Program Transformation and Programming Environments - Report on a Workshop, Munich, Germany, 12 to 16 September 1983

Sommario

I: Digest of the Discussions.- 0. Introduction: What Industry Needs - What Research Offers.- 1. Life Cycle Models and Programming Environments.- 2. Management & Organization.- 3. Formal Methods In Program Development.- 4. Software Specification.- 5. Program Development by Transformations.- 6. Acceptance of Formal Methods.- 7. Outlook.- 8. Conclusion.- II: Position Statements and Papers.- Coherent Development Methods in an Industrial High-Level Language Environment.- A Systematics of Software Engineering: Structure, Terminology, and Classification of Techniques.- Assessment of Software Quality.- Measuring Software Technology (together with D. N. Card, V. E. Church, G. Page, F. E. McGarry).- Organizational Means to Increase Software Quality.- The Role of Configuration Management.- Understanding and Expressing Software Construction.- Structure-Oriented Programing.- Algebraic Methods for Program Construction: The Project CIP.- Specification and Transformation: Automated Implementation.- Algebraic Techniques for Program Specification.- Verification of Processes Using Program Transformation.- Exception Handling: Formal Specification and Systematic Program Construction (together with M. Bidoit, B. Biebow, C. Gresse, G. Guiho).- Programming with Continuations (together with Ch. T. Haynes, E. Kohlbecker).- Inferential Techniques for Program Development.- Lisp to Fortran - Program Transformation Applied.- Language Comparison by Source-to-Source Translation.- The CIP Transformation System.- Transformation-Based Software Development.- Supercompilers.- Software Development and Inferential Programming.- Program Transformation in the ALICE Project.- From Geological Knowledge to Computational Relationships: A Case Study of the Expertise of Programing (together with R. D. Duffey II).- List of Participants Glossary.

Dettagli sul prodotto

• Con la collaborazione di: F. L. Bauer (Editore), F.L. Bauer (Editore), Friedrich L. Bauer (Editore), L Bauer (Editore), F L Bauer (Editore), Peter Pepper (Editore), H Remus (Editore), H. Remus (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 16.11.2012
• EAN: 9783642464928
• ISBN: 978-3-642-46492-8
• Pagine: 380
• Peso: 680 g
• Illustrazioni: XIV, 380 p.
• Serie: NATO ASI Series F: Computer and Systems Sciences; Nato ASI Subseries F: Nato ASI Series (closed) / Nato ASI Subseries F: (closed); NATO ASI Series; NATO ASI Series F: Computer and Systems Sciences; Nato ASI Subseries F:
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica