%A Jiri Demner
%A Jaroslav Kral
%T Towards reliable real-time software
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 1-10

%A J. Nehmer
%A G. Goos
%T Computerized safeguarding of nuclear power plants:
a case for reliable software
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 11-30

%A R. Kurki-Suonio
%T On what should quality software be constructed ?
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 31-35

%A W.M. Turski
%T Software quality control: techniques and users' criteria
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 37-46

%A B.A. Wichmann
%T Some performance aspects of system implementation languages
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 47-62

%A Peter C. Poole
%T Towards improved reliability and efficiency through hybrids
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 63-74

%A J.E.L. Peck
%A G.F. Schrack
%T The portability of quality software: experience with BCPL
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 75-87

%A Sergei Pokrovsky
%T Modularization of a multi-language optimizer
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 89-98

%A A.P. Ershov
%A G.D. Chinin
%T Design specifications for a quality compiler factory
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 99-116

%A Per Holager
%T Generic mode facilities in Mary
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 117-133

%A G.D. Chinin
%T Language stratification without loss of efficiency
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 135-145

%A Vaclav Rajlich
%T Problems of a module interconnection language
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 147-152

%A G. Goos
%A U. Kastens
%T Programming languages and the design of modular programs
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 153-191

%A Y. Bekkers
%A J. Briat
%A J.P. Verjus
%T Construction of a synchronization scheme
by independent definition of parallelism
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 193-205

%A V.E. Kotov
%T Concurrent programming with control types
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 207-228

%A Gregor V. Bochmann
%T Combining assertions and states
for the validation of process communication
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 229-235

%A V.N. Kasyanov
%A I.V. Pottosin
%T Application of optimization techniques to correctness problems
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 237-248

%A Hartmut Feuerhahn
%A Cornelis H.A. Koster
%T Static semantic checks in an open-ended language
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 249-269

%A Lambert Meertens
%T Program text and program structure
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 271-283

%A Jacques Andre
%A Jean Bezivin
%A Jean-Louis Nebut
%A Robert Rannou
%A Stephen A. Schuman
%T Some remarks on software morphology
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 285-310

%A Andrej Mraz
%T An integrated tool for the building of large software systems
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 311-317

%A Ralph L. London
%A Mary Shaw
%A Wm.A. Wulf
%T Abstraction and verification in Alphard: a symbol table example
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 319-351

%A Robert B.K. Dewar
%A Arthur Grand
%A Ssu-Cheng Liu
%A Edmond Schonberg
%A Jacob T. Schwartz
%T SETL as a tool for generation of quality software
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 353-365

%A M. Berthaud
%T Towards a formal language for functional specifications
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 379-396

%A Douglas T. Ross
%T Quality starts with requirements definition
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 397-406

%A Claus H. Correll
%T On a constructive approach
to the architecture of a special purpose operating system
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 407-418

%A D. Bar
%T A methodology for simultaneously developing and verifying
Pascal programs
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 419-448

%A P.R. King
%T On the specification and design of abstract data types
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 449-470

%A Michael Sintzoff
%T Inventing program construction rules
%J Proceedings of the IFIP Working Conference on Constructing Quality Software
%C Novosibirsk, USSR
%E P.G. Hibbard
%E S.A. Schuman
%I North-Holland
%D May 1977
%K cqs
%P 471-502