Program Transformation and Programming Environments

✍ Scribed by Peter Pepper (auth.), Peter Pepper (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1984
• Tongue: English
• Leaves: 378
• Series: NATO ASI Series 8
• Edition: 1
• Category: Library

✦ Table of Contents

Front Matter....Pages I-XIV
Front Matter....Pages 1-1
Introduction: What Industry Needs - What Research Offers....Pages 3-4
Life Cycle Models and Programming Environments....Pages 5-8
Management & Organization....Pages 9-15
Formal Methods in Program Development....Pages 17-21
Software Specification....Pages 23-47
Program Development by Transformations....Pages 49-67
Acceptance of Formal Methods....Pages 69-77
Outlook....Pages 79-80
Conclusion....Pages 81-81
Front Matter....Pages 83-83
Coherent Development Methods in an Industrial High Level Langage Environment....Pages 85-96
A systematics of software engineering: Structure, terminology and classification of techniques ....Pages 97-125
Assessment of Software Quality....Pages 127-139
Measuring Software Technology....Pages 141-146
Organizational Means to Increase Software Quality....Pages 147-157
The Role of Configuration Management....Pages 159-167
Understanding and Expressing Software Construction....Pages 169-180
Structure-Oriented Programming....Pages 181-198
Algebraic Methods for Program Construction: The Project CIP....Pages 199-222
Specification and Transformation: Automated Implementation....Pages 223-230
Algebraic Techniques for Program Specification....Pages 231-243
Front Matter....Pages 83-83
Verification of Processes Using Program Transformation....Pages 245-250
Exception Handling: Formal Specification and Systematic Program Construction Extended Abstract....Pages 251-261
Programming with Continuations....Pages 263-274
Inferential Techniques for Program Development....Pages 275-290
Lisp to Fortran—Program Transformation Applied....Pages 291-298
Language Comparison and Source-to-Source Translation....Pages 299-304
The CIP Transformation System....Pages 305-322
Transformation-Based Software Development....Pages 323-330
Supercompilers - Extended Abstract....Pages 331-340
Software Development and Inferential Programming....Pages 341-346
Program Transformation in the ALICE Project....Pages 347-353
From Geological Knowledge to Computational Relationships: A Case Study of the Expertise of Programming....Pages 355-372
Back Matter....Pages 373-380

✦ Subjects

Software Engineering