Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher
Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on the Role of Semantics in Software Development
TAPSOFT, Vol.2: AS, 1985.

@proceedings{AS-v2-1985,
	doi           = "10.1007/3-540-15199-0",
	editor        = "Hartmut Ehrig and Christiane Floyd and Maurice Nivat and James W. Thatcher",
	isbn          = "3-540-15199-0",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on the Role of Semantics in Software Development}",
	volume        = 186,
	year          = 1985,
}

Contents (5 items)

AS-1985-Horning #algebra #specification

Combining Algebraic and Predicative Specifications in Larch (JJH), pp. 12–26.

AS-1985-Jones #design #proving

The Role of Proof Obligations in Software Design (CBJ), pp. 27–41.

AS-1985-GannonHM #functional #semantics

Functional Semantics of Modules (JDG, RGH, HDM), pp. 42–59.

AS-1985-Naur #development

Intuition in Software Development (PN), pp. 60–79.

AS-1985-ParnasC #design #how #process #why

A Rational Design Process: How and Why to Fake It (DLP, PCC), pp. 80–100.