Simple Framework for Efficient Development of the Functional Requirement Verification-specific Language

Simple Framework for Efficient Development of the Functional Requirement Verification-specific Language

This paper presents the framework for the creation of various domain-specific languages for verification of the functional requirements. When it comes to Requirement Engineering and the process of Validation and Verification of the requirements, there are plenty of tools for modeling, analyzing, a...

Full description

Bibliographic Details
Main Authors: POPIC, S., TESLIC, N., BJELICA, M. Z.
Format: Article
Language:English
Published: Stefan cel Mare University of Suceava 2021-08-01
Series:Advances in Electrical and Computer Engineering
Subjects:
computer languages
formal verification
formal languages
requirement engineering
programming environments
Online Access:http://dx.doi.org/10.4316/AECE.2021.03002

Similar Items

Similar Items