Abstract
Software development tools need to support more and more phases of the entire development process, because applications must be developed more correctly and efficiently. The tools therefore need to integrate sophisticated checkers, generators and transformations. A feasible approach to ensure high quality of such add-ins is to base them on sound formal foundations. In order to know where such add-ins will fit, we investigate the use of an existing successful commercial tool and identify suitable places for adding formally supported checking, transformation and generation modules. The paper concludes with a discussion of feasibility of developing the proposed add-ins and how to give conditions such that they will actually be used.
Original language | English |
---|---|
Title of host publication | Proceedings of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : ISoLA 2006 |
Number of pages | 12 |
Publisher | University of Cyprus |
Publication date | 2006 |
Publication status | Published - 2006 |
Event | ISoLA 2006 - Paphos, Cyprus Duration: 15 Nov 2006 → 19 Nov 2006 |
Conference
Conference | ISoLA 2006 |
---|---|
Country/Territory | Cyprus |
City | Paphos |
Period | 15/11/2006 → 19/11/2006 |
Bibliographical note
An extended version is found as UNU-IIST Technical Report 335, August 2006.Keywords
- software development
- Software technology