Annals of Software Engineering, Volume 10

Volume 10, 2000

• Yingxu Wang, Dilip Patel: Editors' introduction: Comparative software engineering: Review and perspectives. 1-10 BibTeX
• Dines Bjørner: Pinnacles of software engineering: 25 years of formal methods. 11-66 BibTeX
• Franck Barbier, Brian Henderson-Sellers: Object modelling languages: An evaluation and some key expectations for the future. 67-101 BibTeX
• Hany H. Ammar, Bojan Cukic, Ali Mili, Christopher P. Fuhrman: A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering. 103-150 BibTeX
• Colette Rolland, Naveen Prakash: From conceptual modelling to requirements engineering. 151-176 BibTeX
• Barry W. Boehm, Chris Abts, Sunita Chulani: Software development cost estimation approaches - A survey. 177-205 BibTeX
• Jeffrey J. P. Tsai, Kuang Xu: A comparative study of formal verification techniques for software architecture specifications. 207-223 BibTeX
• Nader Nada, David C. Rine: Three empirical evaluations of a software reuse reference model. 225-259 BibTeX
• Watts S. Humphrey: Software - A performing science? 261-271 BibTeX
• Antony Bryant: Metaphor, myth and mimicry: The bases of software engineering. 273-292 BibTeX
• Boris Beizer: Software is different. 293-310 BibTeX
• Claus Lewerentz, Heinrich Rust: Are software engineers true engineers? 311-328 BibTeX
• D. Janaki Ram, K. N. Anantharaman, K. N. Guruprasad, M. Sreekanth, S. V. G. K. Raju, A. Ananda Rao: An approach for pattern oriented software development based on a design handbook. 329-358 BibTeX
• Graham A. King: Quality technique transfer: Manufacturing and software. 359-372 BibTeX
• Bakul Banerjee: Mapping software: Are we nearing standardization? 373-387 BibTeX