Annals of Software Engineering

Editors' introduction: Comparative software engineering: Review and perspectives
pp. 1-10(10)
Authors: Wang Y.; Patel D.

Pinnacles of software engineering: 25 years of formal methods
pp. 11-66(56)
Authors: Bjørner D.

Object modelling languages: An evaluation and some key expectations for the future
pp. 67-101(35)
Authors: Barbier F.; Henderson-Sellers B.

A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering
pp. 103-150(48)
Authors: Ammar H.H.; Cukic B.; Mili A.; Fuhrman C.

From conceptual modelling to requirements engineering
pp. 151-176(26)
Authors: Rolland C.; Prakash N.

Software development cost estimation approaches – A survey
pp. 177-205(29)
Authors: Boehm B.; Abts C.; Chulani S.

A comparative study of formal verification techniques for software architecture specifications
pp. 207-223(17)
Authors: Tsai J.J.P.; Xu K.

Three empirical evaluations of a software reuse reference model
pp. 225-259(35)
Authors: Nada N.; Rine D.C.

Software – A performing science?
pp. 261-271(11)
Author: Humphrey W.S.

Metaphor, myth and mimicry: The bases of software engineering
pp. 273-292(20)
Author: Bryant A.

Software is different
pp. 293-310(18)
Author: Beizer B.

Are software engineers true engineers?
pp. 311-328(18)
Authors: Lewerentz C.; Rust H.

An approach for pattern oriented software development based on a design handbook
pp. 329-358(30)
Authors: Janaki Ram D.; Anantharaman K.N.; Guruprasad K.N.; Sreekanth M.; Raju S.V.G.K.; Rao A.A.

Quality technique transfer: Manufacturing and software
pp. 359-372(14)
Author: King G.A.

Mapping software: Are we nearing standardization?
pp. 373-387(15)
Author: Banerjee B.