ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING
AbstractThis paper presents an overview of different approaches to a creation of the technique of software application development based on the integrated development environment which contains a model and tools for its implementation. Our results in this field are also presented. We study a formal model specification and analysis tools which may have potential for the software application development.
Download data is not yet available.
Metrics Loading ...
How to Cite
Enikeev, A., Mohammed, M. B. A., & Stepanova, E. (2015). ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING. European Scientific Journal, ESJ, 11(10). Retrieved from http://eujournal.org/index.php/esj/article/view/6478