Past Issues

Studies in Informatics and Control
Vol. 1, No. 1, 1992

THE IMPORTANCE OF FORMAL METHODS IN ADVANCED SOFTWARE DEVELOPMENT ENVIRONMENTS

ILEANA RABEGA
Abstract

The use of formal methods in advanced software development environments is presented; generic advanced software development environments architecture is introduced and examples of such environments are given.

Keywords

advanced software development environments, formal methods/languages, operational life cycle

View full article


SIC

8-10, Maresal Averescu Avenue, Sector 1
011455, Bucharest, Romania

sic@ici.ro

Useful Links
National Institute for Research & Development in Informatics – ICI Bucharest Romanian Academy Romanian Journal of Information Technology and Automatic Control – RRIA Romanian Cyber Security Journal – ROCYS International Journal of Cyber Diplomacy – IJCD
Useful Info
Terms and Conditions GDPR Policy

All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).

© | Studies in Informatics and Control – SIC. All Right Reserved.