ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING

Authors

  • Arslan Enikeev Kazan Federal University, Russian Federation
  • Mahfoodh Bilal Ahmed Mohammed Kazan Federal University, Russian Federation
  • Elina Stepanova Kazan Federal University, Russian Federation

Abstract

This 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.

Downloads

Download data is not yet available.

Downloads

Published

2015-11-13

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 https://test.eujournal.org/index.php/esj/article/view/6478

Issue

ESJ OCTOBER 2015 /SPECIAL/ EDITION VOL.2

Section

Articles

License

This work is licensed under a Creative Commons Attribution 4.0 International License.