Editors' introduction: Comparative software engineering: Review and perspectives Yingxu WangDilip Patel OriginalPaper Pages: 1 - 10
Pinnacles of software engineering: 25 years of formal methods Dines Bjørner OriginalPaper Pages: 11 - 66
Object modelling languages: An evaluation and some key expectations for the future Franck BarbierBrian Henderson-Sellers OriginalPaper Pages: 67 - 101
A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering Hany H. AmmarBojan CukicCris Fuhrman OriginalPaper Pages: 103 - 150
From conceptual modelling to requirements engineering Colette RollandNaveen Prakash OriginalPaper Pages: 151 - 176
Software development cost estimation approaches — A survey Barry BoehmChris AbtsSunita Chulani OriginalPaper Pages: 177 - 205
A comparative study of formal verification techniques for software architecture specifications Jeffrey J.P. TsaiKuang Xu OriginalPaper Pages: 207 - 223
Three empirical evaluations of a software reuse reference model Nader NadaDavid C. Rine OriginalPaper Pages: 225 - 259
Metaphor, myth and mimicry: The bases of software engineering Antony Bryant OriginalPaper Pages: 273 - 292
RETRACTED ARTICLE: Software is different Boris Beizer OriginalPaper 30 September 2004 Pages: 293 - 310
An approach for pattern oriented software development based on a design handbook D. Janaki RamK.N. AnantharamanA. Ananda Rao OriginalPaper Pages: 329 - 358