Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Software Engineering Still on the Way to an Engineering Discipline
Proceedings of the International Workshop on Experimental Software Engineering Issues: Critical Assessment and Future Directions
Hi-index | 0.00 |
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.