DSpace Repository

Domain specific language for specifying formal software requirements

Show simple item record

dc.contributor CATRUC, Mariana
dc.contributor.author COLȚA, Maria
dc.contributor.author CREȚU, Cristian
dc.contributor.author GORCEA, Alexandrina
dc.contributor.author NEDEALCOVA, Irina
dc.contributor.author SCHIPSCHI, Daniel
dc.date.accessioned 2024-10-18T08:26:26Z
dc.date.available 2024-10-18T08:26:26Z
dc.date.issued 2024
dc.identifier.citation COLȚA, Maria; Cristian CREȚU; Alexandrina GORCEA; Irina NEDEALCOVA and Daniel SCHIPSCHI. Domain specific language for specifying formal software requirements. In: Conferinţa tehnico-ştiinţifică a studenţilor, masteranzilor şi doctoranzilor = Technical Scientific Conference of Undergraduate, Master and PhD Students, Universitatea Tehnică a Moldovei, 27-29 martie 2024. Chișinău, 2024, vol. 2, pp. 880-884. ISBN 978-9975-64-458-7, ISBN 978 9975-64-460-0 (Vol.2). en_US
dc.identifier.isbn 978-9975-64-458-7
dc.identifier.isbn 978 9975-64-460-0
dc.identifier.uri http://repository.utm.md/handle/5014/28180
dc.description.abstract This article represents a comprehensive analysis of developing a Domain Specific Language for specifying formal software requirements. The paper describes the process of the DSL's creation, focusing on its objectives, key features, and governing principles. This analysis outlines the essential components and capabilities that the DSL incorporates, including syntax, semantics, and the grammar's vocabulary. Through the utilization of the ANTLR tool, a parse tree was constructed that precisely illustrates the DSL's structure, offering a clear view of its configuration. The DSL is crafted to facilitate the expression of both non-functional and functional software requirements, through a structured format that encompasses interfaces, specifications, and detailed requirements and functionalities specifications. This new DSL strives to simplify the specification process, bringing forth innovative methods and perspectives for the effective articulation of software requirements. en_US
dc.language.iso en en_US
dc.publisher Universitatea Tehnică a Moldovei en_US
dc.relation.ispartofseries Conferinţa tehnico-ştiinţifică a studenţilor, masteranzilor şi doctoranzilor = Technical Scientific Conference of Undergraduate, Master and PhD Students: Chişinău, 27-29 martie 2024. Vol. 2;
dc.rights Attribution-NonCommercial-NoDerivs 3.0 United States *
dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/3.0/us/ *
dc.subject domain-specific language en_US
dc.subject requirements en_US
dc.subject software development en_US
dc.title Domain specific language for specifying formal software requirements en_US
dc.type Article en_US


Files in this item

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 United States Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 3.0 United States

Search DSpace


Advanced Search

Browse

My Account