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

Victor L. Winter, Steve Roach, Greg Wickstrom

Research output: Contribution to journalReview articlepeer-review

1 Scopus citations


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
Issue numberC
StatePublished - 2003
Externally publishedYes

ASJC Scopus subject areas

  • Computer Science(all)


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

Cite this