Volume 10, 2000
- Yingxu Wang, Dilip Patel:
Editors' introduction: Comparative software engineering: Review and perspectives.
1-10

- Dines Bjørner:
Pinnacles of software engineering: 25 years of formal methods.
11-66

- Franck Barbier, Brian Henderson-Sellers:
Object modelling languages: An evaluation and some key expectations for the future.
67-101

- 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

- Colette Rolland, Naveen Prakash:
From conceptual modelling to requirements engineering.
151-176

- Barry W. Boehm, Chris Abts, Sunita Chulani:
Software development cost estimation approaches - A survey.
177-205

- Jeffrey J. P. Tsai, Kuang Xu:
A comparative study of formal verification techniques for software architecture specifications.
207-223

- Nader Nada, David C. Rine:
Three empirical evaluations of a software reuse reference model.
225-259

- Watts S. Humphrey:
Software - A performing science?
261-271

- Antony Bryant:
Metaphor, myth and mimicry: The bases of software engineering.
273-292

- Boris Beizer:
Software is different.
293-310

- Claus Lewerentz, Heinrich Rust:
Are software engineers true engineers?
311-328

- 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

- Graham A. King:
Quality technique transfer: Manufacturing and software.
359-372

- Bakul Banerjee:
Mapping software: Are we nearing standardization?
373-387

Last update Sat May 18 20:02:28 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page