Transformation-Oriented Programming: A Development Methodology for High Assurance Software

Victor L. Winter, Steve Roach, Greg Wickstrom

Research output: Contribution to journalReview article

1 Scopus citations

Abstract

A software development paradigm known as Transformation-Oriented Programming (TOP) is introduced. In TOP, software development consists of constructing a sequence of transformations capable of systematically constructing a software implementation from a given formal specification. As such TOP falls under the category of formal methods. The general theory and techniques upon which TOP is built is presented. The High Assurance Transformation System (HATS) is described. The use of the HATS tool to implement a portion of the functionality of a classloader needed by the Sandia Secure Processor (SSP) is described.

Original languageEnglish (US)
Pages (from-to)47-116
Number of pages70
JournalADVANCES IN COMPUTERS
Volume58
Issue numberC
DOIs
StatePublished - 2003

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Transformation-Oriented Programming: A Development Methodology for High Assurance Software'. Together they form a unique fingerprint.

  • Cite this