Abstract

HUANCA, Germán. Relational language software for verifying. Rev Inv Tec [online]. 2014, vol.3, n.1, pp. 2-5. ISSN 2306-0522.

With increasing complexity of new software systems application development aspects that until then had not been taken into account, at least one explicitly arise. Thus, the development process has been gradually becoming a work of engineering, where new tasks such as the development of specifications, system design, prototyping, integration and testing, management configuration and many others have been gain in importance with the work program which was initially prevailed. Software Engineering has responded to this situation with the development ofnew models, notations, techniques and methods. This paper proposes an alternative form of systems for allowing verification prove with certainty that the developed system performs the requiredfunctions, i.e. meets certain specifications.

Keywords : specification; engineering; software; systems; verification.