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

Publicerad 1983

Software metrics /

av Gilb, Tom
Publicerad 1977

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

Publicerad 1983

Elements of software science /

av Halstead, Maurice H. (Maurice Howard), 1918-
Publicerad 1977

Principles of artificial intelligence and expert systems development /

av Rolston, David W.
Publicerad 1988

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

Publicerad 1988

Artificial intelligence : applications in the future of software engineering /

av Partridge, D. A.
Publicerad 1986

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

Publicerad 1985

MetaSoft primer : towards a metalanguage for applied denotational semantics /

av Blikle, Andrzej
Publicerad 1987

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

Publicerad 1987

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

Publicerad 1988

Software reliability modelling and identification /

Publicerad 1988

Microprocessor software project management /

av Fathi, Eli T.
Publicerad 1985

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

Publicerad 1986

Object-oriented programming an evolutionary approach /

av Cox, Brad J.
Publicerad 1986

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

Publicerad 1984

Computer organization : hardware/software /

av Gorsline, George W.
Publicerad 1986

Empirical foundations of information and software science III /

Publicerad 1987

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

Publicerad 1986

The Software catalog.

Publicerad 1983