Filters








10,299 Hits in 6.2 sec

Considerations about quality in model-driven engineering

Fáber D. Giraldo, Sergio España, Óscar Pastor, William J. Giraldo
2016 Software quality journal  
Considerations about quality in model-driven engineering. Software Quality Journal. 1-66. Abstract The virtue of quality is not itself a subject; it depends on a subject.  ...  applications of the model-driven initiatives.  ...  Acknowledgements F.G, would like to thank COLCIENCIAS (Colombia) for funding this work through the Colciencias Grant call 512-2010.  ... 
doi:10.1007/s11219-016-9350-6 fatcat:fu3jgqpjlzg75maj5vnl3tfrny

From Model Driven Engineering to Verification Driven Engineering [chapter]

Fabrice Kordon, Jérôme Hugues, Xavier Renault
2008 Lecture Notes in Computer Science  
In this paper, we claim that MDE is incomplete: it is "just" an implementation framework to support advanced model-based techniques, verification of systems non-functional properties, code generation,  ...  Hence, there is a trend to move away from programming languages to models on which one can reason: model-driven engineering. Yet, this remains a complex task: one need to master many techniques.  ...  Verification Driven Engineering Sections 2 listed requirements for integrated verification in a MDE framework.  ... 
doi:10.1007/978-3-540-87785-1_34 fatcat:tofm3g6sq5gxvjf6bokvobar5e

Integrating Formal Methods with Model-Driven Engineering

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2009 2009 Fourth International Conference on Software Engineering Advances  
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development.  ...  We also propose an inthe-loop integration which allows the development of a general framework for software engineering where rigorousness and preciseness of formal methods are combined with flexibility  ...  Here, we also propose an inthe-loop integration that allows the development of a general framework for software engineering where rigorousness and preciseness of FMs (in our case, ASMs) are combined with  ... 
doi:10.1109/icsea.2009.22 dblp:conf/icsea/GargantiniRS09 fatcat:u37ur6iy7baw3pmhorwac2ieue

On marrying ontological and metamodeling technical spaces

Fernando Silva Parreiras, Steffen Staab, Andreas Winter
2007 The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering companion papers - ESEC-FSE companion '07  
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established practice.  ...  Ontologies constitute domain models formalized using expressive logic languages for class definitions and rules.  ...  model-driven software engineering.  ... 
doi:10.1145/1295014.1295017 fatcat:jxvlqaigq5fivo22b23u5qip2q

On marrying ontological and metamodeling technical spaces

Fernando Silva Parreiras, Steffen Staab, Andreas Winter
2007 Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07  
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established practice.  ...  Ontologies constitute domain models formalized using expressive logic languages for class definitions and rules.  ...  model-driven software engineering.  ... 
doi:10.1145/1287624.1287687 dblp:conf/sigsoft/ParreirasSW07 fatcat:4x7jfna74fadlhyfjcf2wqq2bi

The Theoretical Framework of Cognitive Informatics

Yingxu Wang
2007 International Journal of Cognitive Informatics and Natural Intelligence  
The structure of the theoretical framework of CI is described encompassing the Layered Reference Model of the Brain (LRMB), the OAR model of information representation, Natural Intelligence (NI) vs.  ...  A wide range of applications of CI in cognitive psychology, computing, knowledge engineering, and software engineering has been identified and discussed.  ...  ACKNowLEdGMENT The author would like to acknowledge the Natural Science and Engineering Council of Canada (NSERC) for its support to this work.  ... 
doi:10.4018/jcini.2007010101 fatcat:lgpvrvlfafazdbrhkavrxbakoi

Interplay of Security&Dependability and Resource Using Model-Driven and Pattern-Based Development

Brahim Hamid
2015 2015 IEEE Trustcom/BigDataSE/ISPA  
In this work, we propose a modeling environment which associates model-driven paradigms with security and dependability patterns to ensure that the combination of security and dependability solutions fit  ...  In addition, we provide an architecture for development tools to support the design and the analysis of pattern-based secure and dependable applications.  ...  Model-based system engineering and Model-Driven Engineering (MDE) promote the integration of S&D issues into the complete engineering process [4] .  ... 
doi:10.1109/trustcom.2015.382 dblp:conf/trustcom/Hamid15 fatcat:pwqpvz5pxfdslkthfgtoq4iolu

Model-based Framework for Change Management and Integrated Devlopment of Information Security

Anna Medve
2018 INTERNATIONAL JOURNAL OF MANAGEMENT & INFORMATION TECHNOLOGY  
The framework supports MDE process of enterprise architecture re-engineering integrating the development of information security.  ...  This paper introduces a business process-based goal-oriented framework which consists of generic and specific model repositories, and of methodology for integrated change management of business and IT  ...  ACKNOWLEDGEMENTS The author is grateful to Atilla Steszli CIO for industrial experimentation at Sonepar Magyarország Ltd. SME. This research work was supported by TÁMOP-4.2.1/B-09/1/KMR-2010-0003.  ... 
doi:10.24297/ijmit.v5i3.759 fatcat:i5cmugreafhoboonymrdjrm4ie

Model-based Framework for Change Management and Integrated Development of Information Security

Anna Medve
2013 INTERNATIONAL JOURNAL OF MANAGEMENT & INFORMATION TECHNOLOGY  
The framework supports MDE process of enterprise architecture re-engineering integrating the development of information security  ...  This paper introduces a business process-based goal-oriented framework which consists of generic and specific model repositories, and of methodology for integrated change management of business and IT  ...  ACKNOWLEDGEMENTS The author is grateful to Atilla Steszli CIO for industrial experimentation at Sonepar Magyarország Ltd. SME. This research work was supported by TÁMOP-4.2.1/B-09/1/KMR-2010-0003.  ... 
doi:10.24297/ijmit.v5i3.4225 fatcat:iwwe3qdvbve75ntjjpcev4mqw4

The Role of Software Engineering in Future Automotive Systems Development

Siobhán Clarke, Brian Fitzgerald, Paddy Nixon, Klaus Pohl, Kevin Ryan, David Sinclair, Steffen Thiel
2008 SAE International Journal of Passenger Cars - Electronic and Electrical Systems  
DOMAIN-ORIENTED SOFTWARE ENGINEERING Software Engineering is a broad, dynamic and multifaceted field, where research can vary from highly theoretical, abstract models, through the development of numerous  ...  A large part of the functionality of these units is driven by software.  ...  Graph theory provides a rich description notation with transformation and grammar aspects as well as algebraic and category-theoretic foundations [27] .  ... 
doi:10.4271/2008-01-1450 fatcat:sqnxjapxmnahnbg3cpdngt37zy

A Manifesto for Applicable Formal Methods [article]

Mario Gleirscher and Jaco van de Pol and Jim Woodcock
2021 arXiv   pre-print
Our hypothesis is that formal methods still seem not to be applicable enough or ready for their intended use. In critical software engineering, what do we mean when we speak of a formal method?  ...  Formal methods were frequently shown to be effective and, perhaps because of that, practitioners are interested in using them more often.  ...  structured development, model-based engineering, assertion-based programming, test-driven development), specification and modelling notations (e.g., UML, SysML), programming languages, and 4 For example  ... 
arXiv:2112.12758v1 fatcat:3lr5bewqnrdidf7flj7b6eptmi

Goal-Oriented Requirements Engineering: State of the Art and Research Trend

Rosa Delima, Retantyo Wardoyo, Khabib Mustofa
2021 Jurnal Informatika  
The Goal-Oriented Requirements Engineering (GORE) is one approach that is widely used for the early stages of software development. This method continues to develop in the last three decades.  ...  Based on the analysis, it is known that most research focuses on improving GORE for an automated and reliable RE process, developing new models/frameworks/methods originating from GORE, and implementing  ...  for publishing this article.  ... 
doi:10.30595/juita.v9i1.9827 fatcat:lg2lxl7wtbg6tlboy44wj6gjna

Aspect-oriented model-driven code generation: A systematic mapping study

Abid Mehmood, Dayang N.A. Jawawi
2013 Information and Software Technology  
firm foundations for aspect-oriented model-driven code generation.  ...  Context: Model-driven code generation is being increasingly applied to enhance software development from perspectives of maintainability, extensibility and reusability.  ...  The same criterion was used for other concepts such as code generation and model-driven engineering as well.  ... 
doi:10.1016/j.infsof.2012.09.003 fatcat:tssayag3brfujkbhwzbarju6fq

Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study [article]

Atif Mashkoor, Alexander Egyed, Robert Wille
2020 arXiv   pre-print
This paper presents a systematic mapping study on the model-driven engineering of safety and security concerns in systems.  ...  Integrated modeling and development of both safety and security concerns is an emerging field of research. Our mapping study provides an overview of the current state-of-the-art in this field.  ...  (BMVIT), the Federal Ministry for Digital and Economic Affairs (BMDW), and the Province of Upper Austria in the frame of the COMET -Competence Centers for Excellent Technologies -program managed by the  ... 
arXiv:2004.08471v1 fatcat:yd2swzwgjbgwtil4j4ng3mlxvu

Tool Support of Formal Methods for Privacy by Design [article]

Sibylle Schupp
2019 arXiv   pre-print
Formal methods are, in principle, suited for supporting the recent paradigm of privacy by design, but no overview is available that summarizes which particular approaches have been investigated, for which  ...  Using the techniques of search-based literature review and snowballing this paper answers those questions for a selected set of research papers.  ...  I also owe to the participants of the Dagstuhl seminar 18471, "Next Generation Domain Specific Conceptual Modeling: Principles and Methods", and to the Dagstuhl library for granting access to all literature  ... 
arXiv:1903.11092v1 fatcat:6mnlr5w5bna77bnphxe7yzzxku
« Previous Showing results 1 — 15 out of 10,299 results