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.