Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Proceedings of the 25th International Conference on Software Engineering
The XIS Generative Programming Techniques
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Hi-index | 0.00 |
Requirements engineering is widely considered to be an essential activity for the successful development of information systems. This paper briefly presents a new initiative called “ProjectIT-Requirements” and describes the results achieved in the definition of a requirements specification language, called “ProjectIT-RSL”, and the implementation of a prototype using VisualStudio.NET. This is the first step of a process that will enable the automatic generation of UML models and programming code, based on the MDD approach.