Josep Díaz, Fernando Orejas
Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development
TAPSOFT, Vol.2: AS, 1989.

@proceedings{AS-v2-1989,
	doi           = "10.1007/3-540-50940-2",
	editor        = "Josep Díaz and Fernando Orejas",
	isbn          = "3-540-50940-2",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development}",
	volume        = 352,
	year          = 1989,
}

Contents (4 items)

AS-1989-Bjorner #aspect-oriented #development #specification #towards #tutorial

Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial) (DB), pp. 1–35.

AS-1989-Krieg-Bruckner #algebra #development #metaprogramming #specification

Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development (BKB), pp. 36–59.

AS-1989-VissersSSB #design #distributed #on the #using

On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract) (CAV, GS, MvS, EB), p. 60.

AS-1989-Wing #specification

Specifying Avalon Objects in Larch (JMW), pp. 61–80.