


default search action
Annals of Software Engineering, Volume 10
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 - (Withdrawn) 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














