Title :
Selling believable technology
Author :
Debou, Christophe ; Fuchs, Norbert ; Saria, Heinz
Author_Institution :
Alcatel Austrian Res. Center, Vienna, Austria
Abstract :
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.<>
Keywords :
formal specification; research initiatives; software engineering; software metrics; specification languages; ESPRIT; Lotos; RACE; advertising; complexity metrics; formal description language; software engineering; software package; telecommunications system; Automobiles; Computer industry; Gain measurement; Packaging; Productivity; Roads; Software measurement; Software tools; Technology transfer; Testing;
Journal_Title :
Software, IEEE
