An overview of HATS: A language independent high assurance transformation system

Proceedings - 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology, ASSET 1999

Volumn , Issue , 1999, Pages 222-229

  Winter, Victor L ^a  

^a SANDIA NATIONAL LABORATORIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

AUTOMATED TRANSFORMATIONS; HIGH ASSURANCE SYSTEMS; LANGUAGE INDEPENDENTS; REWRITING SYSTEMS; SANDIA NATIONAL LABORATORIES; SPECIFIC PROBLEMS; TRANSFORMATION SYSTEMS; TRANSFORMATIONAL APPROACH;

APPLICATION PROGRAMS;

EID: 84949047184     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASSET.1999.756772     Document Type: Conference Paper

References (9)

1. C. M. Holloway. Why Engineers Should Consider Formal Methods. Proceedings of the 16th Digital Avionics Systems Conference, October 1997.
2. M.Mehlich andI.Baxter. Mechanical Tool Support for High Integrity Software Development. Procced-ings of the IEEE High Integerity Software Conference, 1997.
3. J.M.Morris. Programs from Specifications.InEds-ger W. Dijkstra (editor), Formal Development of Programs and Proofs, pp. 81-115, Addison-Wesley, 1990.
4. Carroll Morgan. Programming from Specifications. Prentice Hall International Series in Computer Science, 1990.
5. H. Partsch and R. Steinbruggen. Program Transformation Systems. ACM Computing Surveys, Vol. 15, No. 3, pp 199-236, Sept 1983.
6. P. Pepper. Program Transformation and Programming Environments. Springer-Verlag, 1984.
7. J. Rushby. Formal Methods and their Role in the Certiication ofCritical Systems. Technical Report CSL-95-1, SRI International.
8. S. Stepney. High Integrity Compilation: A Case Study. Prentice Hall, 1993.
9. M. Ward. Speciications and Programs in the Wide Spectrum Language. Durham University, Technical Report, Durham, 1991.