Selling believable technology
Christophe Debou, Norbert E. Fuchs, Heinz Saria · IEEE Software · 1993
A general framework that enables software developers to more effectively and objectively package and advertise their products is presented. Key to the framework is the formation and testing of verifiable hypotheses. The framework is used to measure the pros and cons of introducing two technologies to developers. The first involved introducing complexity metrics to the maintainers of a telecommunications system. The second involved introducing Lotos, a formal description language, to industrial developers. In both applications, tools and techniques from ESPRIT and RACE projects were used.>