Results 11 to 20 of about 1,058,068 (314)
Model transformations in MT [PDF]
Science of Computer Programming, 2007 Model transformations are recognised as a vital aspect of Model Driven Development, but current approaches cover only a small part of the possible spectrum. In this paper I present the MT model transformation which shows how a QVT-like language can be extended with novel pattern matching constructs, how tracing information can be automatically ...
Laurence Tratt, Tratt, Laurence
openaire +5 more sources
TRANSFORMING SOFTWARE REQUIREMENTS INTO TEST CASES VIA MODEL TRANSFORMATION [PDF]
, 2023 <p>Executable test cases originate at the onset of testing as abstract requirements that represent system behavior. Their manual development is time-consuming, susceptible to errors, and expensive.
TRANSFORMING SOFTWARE REQUIREMENTS INTO TEST CASES VIA MODEL TRANSFORMATION
core +1 more source
Jordanian Journal of Computers and Information Technology, 2020 This paper deals with modeling and verification of software systems by combining UML diagrams and Pi-calculus. UML 2.0 Activity diagrams are used for modeling the behavior of software systems, while Pi-calculus is used for semantic and verification ...
Raida Elmansouri +4 more
doaj +1 more source
Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities [PDF]
, 2022 S.19-34Refinements are model transformations that leave large parts of the source models unchanged. Therefore, if refinements are executed outplace, model elements need to be copied to the target model.
Gerking, C., Schubert, D., Budde, I.
core +1 more source
An Automated Model-Based Approach for Developing Mobile User Interfaces
IEEE Access, 2021 The ever-increasing number of mobile platforms constitutes a challenge for application developers, who must develop efficient mobile applications for multiple platforms.
Lassaad Ben Ammar
doaj +1 more source
Estimating log models: to transform or not to transform? [PDF]
Journal of Health Economics, 2001 Health economists often use log models to deal with skewed outcomes, such as health utilization or health expenditures. The literature provides a number of alternative estimation approaches for log models, including ordinary least-squares on ln(y) and generalized linear models.
Willard G. Manning, John Mullahy
openaire +2 more sources
Interoperability: A Data Conversion Framework to Support Energy Simulation
Proceedings, 2017 In this paper an interoperability solution is proposed, aiming to go from (building) construction models to energy simulation. Moreover, the energy simulation results will feed the KPI’s analysis of a designed building. The proposed solution will be used
Luís Paiva +7 more
doaj +1 more source
MDA-Based Approach for Blockchain Smart Contract Development
Applied Sciences, 2022 Blockchain smart contracts can support the decentralisation of business processes, but due to smart contracts’ specifics, their development is a complicated process.
Mantas Jurgelaitis +4 more
doaj +1 more source
A transformation definition metamodel for model transformation [PDF]
International Conference on Information Technology: Coding and Computing (ITCC'05) - Volume II, 2005 Automated model transformation from PIMs to PSMs is a pivotal challenge of model driven development. Since models are usually represented in a graphic manner of class diagram (CD), current graphic-transformation based approach seems to be a natural approach. To overcome deficiencies of this approach, i.e.
Jin Liu +4 more
openaire +1 more source
Model transformations in Converge [PDF]
Model transformations are currently the focus of much interest and research due to the OMG’s QVT initiative. Current proposals for model transformation languages\ud can be divided into two main camps: those taking a ‘declarative’ approach, and those opting for an ‘imperative’ approach.
Tratt, Laurence, Clark, Tony
openaire +2 more sources