Results 31 to 40 of about 1,764,289 (298)
Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model
IEEE Access, 2022 The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. To use these formal specifications for model-driven development of control code it is beneficial to ensure their syntactical and semantic ...
Robin Mross +4 more
doaj +1 more source
Rapid Requirements Elicitation of Enterprise Applications Based on Executable Mockups
Applied Sciences, 2021 Software development begins with the requirements. Misunderstandings with customers in this early phase of development result in wasted development time.
Milorad Filipović +3 more
doaj +1 more source
Towards Consistency Management for a Business-Driven Development of SOA [PDF]
, 2013 The usage of the Service Oriented Architecture (SOA) along with the Business Process Management has emerged as a valuable solution for the complex (business process driven) system engineering.
Karim Dahman, Franc¸ois Charoy, Claude Godart
core +1 more source
Model-Driven Engineering for Requirements Analysis [PDF]
11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007 Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem domain for a software system. Several tools and methods exist to perform each of these activities, but they mainly remain separate, making it difficult to capture the global ...
Baudry, Benoit +2 more
openaire +2 more sources
Formal Model-Driven Engineering: Generating Data and Behavioural Components [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Model-driven engineering is the automatic production of software artefacts from abstract models of structure and functionality. By targeting a specific class of system, it is possible to automate aspects of the development process, using model ...
Chen-Wei Wang, Jim Davies
doaj +1 more source
A Sketch of a Model-Driven Approach to Develop Smart Tourism Mobile Applications
Computer Sciences & Mathematics Forum, 2023 Several approaches have been proposed to accelerate software development. Model-driven engineering (MDE) is one approach that aims to abstract and automate the development process using models and transformations as the main artifacts.
Hamza Abdelmalek +3 more
doaj +1 more source
Compositionality and Refinement in Model-Driven Engineering [PDF]
, 2012 Model-driven engineering involves the automatic generation of software artifacts from models of structure and functionality. The use of models as 'source code' has implications for the notions of composition and refinement employed in the modelling language. This paper explores those implications in the context of object-oriented design: establishing a
Jim Davies +3 more
openaire +2 more sources
A Formal Framework for Metamodeling in the Context of MDE [PDF]
Journal of Universal Computer ScienceMetamodeling is a central concept in Model Driven Engineering (MDE). An important consideration in metamodeling is that secure metamodels are a prerequisite for secure software, since errors in a metamodel lead to errors in its instances (models). Formal
Liliana Favre
doaj +3 more sources
Testing M2T/T2M Transformations [PDF]
, 2013 Presentado en: 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). Del 29 de septiembre al 4 de octubre. Miami, EEUU.Testing model-to-model (M2M) transformations is becoming a prominent topic in the current ...
A. García-Domínguez +13 more
core +1 more source
Challenges in Model-Driven Software Engineering [PDF]
, 2009 After more than a decade of research in Model-Driven Engineering (MDE), the state-of-the-art and the state-of-the-practice in MDE has significantly progressed. Therefore, during this workshop we raised the question of how to proceed next, and we identified a number of future challenges in the field of MDE. The objective of the workshop was to provide a
Van Der Straeten, Ragnhild +2 more
openaire +4 more sources