1. TAPSOFT 1985:
Berlin, Germany
Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher (Eds.):
Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE).
Lecture Notes in Computer Science 186 Springer 1985, ISBN 3-540-15199-0 BibTeX
@proceedings{DBLP:conf/tapsoft/1985-2,
editor = {Hartmut Ehrig and
Christiane Floyd and
Maurice Nivat and
James W. Thatcher},
title = {Mathematical Foundations of Software Development, Proceedings
of the International Joint Conference on Theory and Practice
of Software Development (TAPSOFT), Berlin, Germany, March 25-29,
1985, Volume 2: Colloquium on Software Engineering (CSE)},
booktitle = {TAPSOFT, Vol.2},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {186},
year = {1985},
isbn = {3-540-15199-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Introduction
Advanced Seminar on the Role of Semantics in Software Development
Colloquium on Software Engineering
Concepts and Methods in Software Development
Tools and Environments
Rigorous Approaches to Programming
Abstract Data Types in Software Development
Views of Concurrency
Industrial Experience
Copyright © Sat May 16 23:43:33 2009
by Michael Ley (ley@uni-trier.de)
