4 Hits in 1.1 sec

Automated Prototype Generation from Formal Requirements Model [article]

Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke, Quan Zu, Xiaohong Chen
2018 arXiv   pre-print
In this paper, we present an approach with a developed tool to automatic generation of prototypes from formal requirements models.  ...  Prototyping is an effective and efficient way of requirement validation to avoid introducing errors in the early stage of software development.  ...  In practice, it is very desirable to have a tool that generates prototypes directly from requirements automatically.  ... 
arXiv:1808.10657v1 fatcat:rr2e64vafjfu7c3jtpva5fvy34

Automated Enterprise Applications Generation from Requirements Model [article]

Yilong Yang
2022 arXiv   pre-print
In practice, it is very desirable to have an approach that can automatically generate standardized enterprise applications directly from the validated requirements models.  ...  Enterprise applications can be automatically generated from a sophisticated OO design model based on model-driven approach.  ...  prototype. but both rCOS and AutoPA are not separate logic responsibilities from entity class, generation business logic only from precondition or postcondition, and AutoPA does not support textual requirement  ... 
arXiv:1609.09656v2 fatcat:5gpauy77a5b5hnhegm6tks2og4

Prototyping System Requirements Model

Xiaoshan Li, Zhiming Liu
2008 Electronical Notes in Theoretical Computer Science  
In this paper, we present a tool for automatic prototype generation and analysis (AutoPA2.0) that implements the transformations from UML system requirements models to executable prototypes with the function  ...  A UML system requirements model consists of a use-case model and a conceptual class model.  ...  Percy Loi, Yining Wei, and Jicong Liu for their hard work on implementing this prototype generator tool.  ... 
doi:10.1016/j.entcs.2008.03.083 fatcat:73zrefsofrarvmz5ji2yjcrocq

Evaluation of the Contract-Aware Software Development Process in a Controlled Experiment [chapter]

A. Derezińska, P. Ołtarzewski
2014 Lecture Notes in Electrical Engineering  
Models with contracts are automatically transformed into C# code. In the experiment different development phases and their products were evaluated.  ...  The evidences stressed very high requirements on the tool support, and some inconveniences that still limit widespread application of the MDE paradigm.  ...  In [12] business rules associated with models and written in OCL are statically validated using the Octopus/OCL tool and transformed into Java code by a prototype generation tool -AutoPA.  ... 
doi:10.1007/978-3-319-06764-3_45 fatcat:snc5mf522vdl3aqrmxl4pazisi