ACM Transactions on Programming Languages and Systems (TOPLAS)
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Aspect-oriented programming: Introduction
Communications of the ACM
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
Flexibility as a Design Driver
Computer
Architectural views of aspects
Proceedings of the 2nd international conference on Aspect-oriented software development
Proceedings of the Workshop on Object-Oriented Technology
Verification of Reactive Systems Using DisCo and PVS
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
On Agility of Formal Specification
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
Hi-index | 0.00 |
Tool support is a major issue for any novel software engineering approach. This is particularly important for introducing new methodological issues, as only with an adequate embedding of new ideas in a practical tool set it is possible to include new facilities in the software development process. In this paper, we provide an insight to the feedback obtained when developing and using a tool set for easing the use of a formal method. The paper begins by introducing the underlying formal method, its language representation, and the tool set that is currently available. Based on them, the core contribution of the paper is constituted by the observations made when the tool set has been used in practice.