Software engineering as the design theoretic transformation of software problems Jon G. HallLucia Rapanotti Original Paper 29 December 2011 Pages: 175 - 193
Invariant relations, invariant functions, and loop functions Lamia Labed JilaniAsma LouhichiAli Mili Original Paper 14 August 2012 Pages: 195 - 212
Risk identification and scoring in early-lifecycle concurrent engineering teams Jairus HihnDebarati ChattopadhyayRobert Shishko Original Paper 25 August 2012 Pages: 213 - 221
A real-time virtual machine implementation for small microcontrollers W. Roger DavisPhillip A. LaplanteBo I. Sandén Original Paper 12 August 2012 Pages: 223 - 241