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
