, Dilip Patel
: Editors' introduction: Comparative software engineering: Review and perspectives.
: Pinnacles of software engineering: 25 years of formal methods.
Jeffrey J. P. Tsai
, Kuang Xu
: A comparative study of formal verification techniques for software architecture specifications.
: Metaphor, myth and mimicry: The bases of software engineering.
Graham A. King
: Quality technique transfer: Manufacturing and software.
: Mapping software: Are we nearing standardization?