RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings /

Published 1983

Software metrics /

by Gilb, Tom
Published 1977

Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings /

Published 1983

Elements of software science /

by Halstead, Maurice H. (Maurice Howard), 1918-
Published 1977

Principles of artificial intelligence and expert systems development /

by Rolston, David W.
Published 1988

VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /

Published 1988

Artificial intelligence : applications in the future of software engineering /

by Partridge, D. A.
Published 1986

Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings /

Published 1985

MetaSoft primer : towards a metalanguage for applied denotational semantics /

by Blikle, Andrzej
Published 1987

Foundations of software technology and theoretical computer science : seventh conference, Pune, India, December 17-19, 1987 : proceedings /

Published 1987

Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings /

Published 1988

Software reliability modelling and identification /

Published 1988

Microprocessor software project management /

by Fathi, Eli T.
Published 1985

RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan /

Published 1986

Object-oriented programming an evolutionary approach /

by Cox, Brad J.
Published 1986

Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983 /

Published 1984

Computer organization : hardware/software /

by Gorsline, George W.
Published 1986

Empirical foundations of information and software science III /

Published 1987

Software system design methods : the challenge of advanced computing technology /

Published 1986

The Software catalog.

Published 1983