Program Transformation and Programming Environments - Info and Reading Options

Open Data:

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

Search for “Program Transformation and Programming Environments” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Program Transformation and Programming Environments” in Libraries Near You:

Read or borrow “Program Transformation and Programming Environments” from your local library.

• The WorldCat Libraries Catalog: Find a copy of “Program Transformation and Programming Environments” at a library near you.