1 Models, Proofs and the Engineering of Computer‐Based Systems: A Reality Check
Gérard Le Lann · INCOSE International Symposium · 1999
ABSTRACT The need for drastic reductions in budgeting and durations of projects that involve computer‐based systems, as well as the increasing pressure to field systems that function satisfactorily, have fostered the need for more rigorous system engineering methods. Via case studies, we report on why models and proofs, which are at the core of emerging methods, are indeed instrumental in slashing costs, by avoiding project setbacks, operational mishaps or failures, and by permitting correct diagnoses when necessary. The perspectives offered by such methods help to understand better what is missing with existing COTS products, as well as what is the borderline between software engineering and system engineering.