Program Transformation and Programming Environments
Report on a Workshop, Munich, Germany, 12 to 16 September 1983
1 135 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments
Produktinformation
- Utgivningsdatum:2012-02-29
- Mått:170 x 244 x undefined mm
- Vikt:681 g
- Format:Häftad
- Språk:Engelska
- Serie:NATO ASI Subseries F:
- Antal sidor:380
- Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN:9783642464928
Utforska kategorier
Innehållsförteckning
- 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.
Hoppa över listan









Mer från samma serie
Del 76
Del 89
Mathematical Problem Solving and New Information Technologies
Joao P. Ponte, Joao F. Matos, Jose M. Matos, Domingos Fernandes
Inbunden, 1992
2 262 kr
Logic and Algebra of Specification
Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
Inbunden, 1993
1 649 kr
Communication from an Artificial Intelligence Perspective
Andrew Ortony, Jon Slack, Oliviero Stock
Inbunden, 1992
1 698 kr
Advanced Models of Cognition for Medical Training and Practice
David A. Evans, Vimla L. Patel
Inbunden, 1992
2 262 kr
Recent Developments in Decision Support Systems
Clyde W. Holsapple, Andrew B. Whinston
Inbunden, 1993
2 262 kr
Instructional Models in Computer-Based Learning Environments
Sanne Dijkstra, Hein P.M. Krammer, Jeroen J.G. van Merrienboer
Inbunden, 1992
2 135 kr
Del 103
Parallel Computing on Distributed Memory Multiprocessors
Füsun Özgüner, Fikret Ercal
Inbunden, 1993
1 135 kr