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

V. L. Winter, S. Roach, G. Wickstrom

Research output: Contribution to journalArticle

4 Citations (Scopus)
Original languageEnglish (US)
Pages (from-to)49-117
Number of pages69
JournalADVANCES IN COMPUTERS
Volume58
StatePublished - Jan 1 2003

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Transformation-Oriented Programming : A Development Methodology for High Assurance Software. / Winter, V. L.; Roach, S.; Wickstrom, G.

In: ADVANCES IN COMPUTERS, Vol. 58, 01.01.2003, p. 49-117.

Research output: Contribution to journalArticle

Winter, V. L. ; Roach, S. ; Wickstrom, G. / Transformation-Oriented Programming : A Development Methodology for High Assurance Software. In: ADVANCES IN COMPUTERS. 2003 ; Vol. 58. pp. 49-117.
@article{3429b3e7fb0a43ee85f68278b2202c8a,
title = "Transformation-Oriented Programming: A Development Methodology for High Assurance Software",
author = "Winter, {V. L.} and S. Roach and G. Wickstrom",
year = "2003",
month = "1",
day = "1",
language = "English (US)",
volume = "58",
pages = "49--117",
journal = "Advances in Computers",
issn = "0065-2458",
publisher = "Academic Press Inc.",

}

TY - JOUR

T1 - Transformation-Oriented Programming

T2 - A Development Methodology for High Assurance Software

AU - Winter, V. L.

AU - Roach, S.

AU - Wickstrom, G.

PY - 2003/1/1

Y1 - 2003/1/1

UR - http://www.scopus.com/inward/record.url?scp=0348224974&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0348224974&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0348224974

VL - 58

SP - 49

EP - 117

JO - Advances in Computers

JF - Advances in Computers

SN - 0065-2458

ER -