A logical framework for evolving software systems Paulo S. C. AlencarCarlos J. P. de Lucena OriginalPaper 21 April 2015 Pages: 3 - 46
Semantics of under-determined expressions Peter Gorm LarsenBo Stig Hansen OriginalPaper 21 April 2015 Pages: 47 - 66
Structured development of a virtual shared memory system Karen SeidelPaul Gardiner OriginalPaper 21 April 2015 Pages: 67 - 85
An approach to literate and structured formal developments Martin SimonsMatthias Weber OriginalPaper 21 April 2015 Pages: 86 - 107
The co-invariant generator: An aid in deriving loop bodies David BillingtonR. Geoff Dromey OriginalPaper 21 April 2015 Pages: 108 - 126