Filters








73,691 Hits in 9.9 sec

Research Questions for Validation and Verification in the Context of Model-Based Engineering

Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter
2013 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
In model-based engineering (MBE), the abstraction power of models is used to deal with the ever increasing complexity of modern software systems.  ...  As models play a central role in MBE-based development processes, for the adoption of MBE in practical projects it becomes indispensable to introduce rigorous methods for ensuring the correctness of the  ...  Research Questions for Validation and Verification in the Context of Model-Based Engineering  ... 
dblp:conf/models/DuboisFGNOSV13 fatcat:jg66xwxpdrafjcc7vnbfibrh7e

MoDeVVa Workshop Summary [chapter]

Levi Lúcio, Stephan Weißleder
2010 Lecture Notes in Computer Science  
The objective of the workshop on model-driven engineering, verification and validation (MoDeVVa) in 2009 was to offer a forum for researchers and practitioners who are working on V&V and MDE.  ...  Most important, there is crucial need for verification and validation (V&V) techniques in the context of MDE.  ...  Most important, there is crucial need for verification and validation (V&V) techniques in the context of MDE.  ... 
doi:10.1007/978-3-642-12261-3_15 fatcat:m4jmezy36bdpre2ujva3yblgwu

Domain Ontology for Requirements Classification in Requirements Engineering Context

Hala Alrumaih, Abdulrahman Mirza, Hessah Alsalamah
2020 IEEE Access  
Research in recent years has shown a merge between the areas of requirements engineering and semantic technologies.  ...  The validation test included the evaluation of content and competency questions, while the verification test included the evaluation of taxonomy and the implementation of the FOCA method.  ...  The developed ontology was successfully evaluated using validation and verification tests. First, the validation test involves the evaluation of content and competency questions.  ... 
doi:10.1109/access.2020.2993838 fatcat:vbyapg3aavavjgiwl3n4yklb6a

ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems

Mauro Caporuscio, Antinisca Di Marco, Leonardo Mariani, Henry Muccini, Andrea Polini, Onn Shehory
2008 2008 23rd IEEE/ACM International Conference on Automated Software Engineering  
In particular, the main objective is to analyze such topics from three different, but correlated, perspectives: verification and validation of evolving at run-time systems, automatic context management  ...  , and self-healing solutions for engineering such systems. 978-1-4244-2188-6/08/$25.00 ©2008 IEEE  ...  Acknowledgements We would like to thank the authors of accepted papers and also all submitters, and all PC members, who actively contributed to the ARAMIS call and reviewed with accuracy the papers under  ... 
doi:10.1109/ase.2008.99 dblp:conf/kbse/CaporuscioMMMPS08 fatcat:oj7qvwmmgncilejqynkenpddeq

Model-based Software Design and Testing in Blockchain Smart Contracts: a Systematic Literature Review

N. Sanchez-Gomez, J. Torres-Valderrama, J.A. Garcia-Garcia, J.J. Gutierrez, M.J. Escalona
2020 IEEE Access  
.: Preparation of Papers for IEEE TRANSACTIONS and JOURNALS TABLE 1. Research Questions (RQ) RQ1 Are there approaches in the literature that promote the application of a SDLC?  ...  The purpose of this RQ is to identify the techniques and guidelines applied in the different proposals, all in the context of blockchain smart contract RQ2.1 Does the study apply model-based software engineering  ...  Model-based tools can also improve the verification/validation of smart contract code through the application of testing techniques right from the early stages of the SDLC.  ... 
doi:10.1109/access.2020.3021502 fatcat:7heozxvgmbgmbnbf432x5mfc7u

00.05: Validation and verification in design of structural steel connections

František Wald, Lukáš Gödrich, Marta Kurejková, Luboš Šabatka, Jaromír Kabeláč, Drahoš Kojala
2017 ce/papers  
Participants of European COST Action TU0904 Integrated Fire Engineering and Response prepared for validation and verification Benchmark studies based on their national projects.  ...  They are intended to help European researchers, educators and design engineers with their application of advanced numerical modelling for fire engineering.  ...  VALIDATION AND VERIFICATION The process of verification and validation of engineering models and their results has been an integral part of advanced structural design practice and research for some years  ... 
doi:10.1002/cepa.45 fatcat:itcb5brnxbeyphxetqfuv7cnai

The Need for Verifiable Visualization

R.M. Kirby, C.T. Silva
2008 IEEE Computer Graphics and Applications  
As increasingly more science and engineering practitioners advocate the use of computer simulation for analyzing and predicting physical and biological phenomena, the computational science and engineering  ...  Furthermore, there is a real need to look at this visualization error budget in the context of the error that the rest of the computational pipeline generated and how it impacts visualization algorithms  ...  Acknowledgments We thank our colleagues and students, and in particular, David Koop  ... 
doi:10.1109/mcg.2008.103 pmid:18753037 fatcat:l6chydxtzfcybk25uhc4saumv4

On the Lamb vector divergence in Navier–Stokes flows

CURTIS W. HAMMAN, JOSEPH C. KLEWICKI, ROBERT M. KIRBY
2008 Journal of Fluid Mechanics  
As increasingly more science and engineering practitioners advocate the use of computer simulation for analyzing and predicting physical and biological phenomena, the computational science and engineering  ...  Furthermore, there is a real need to look at this visualization error budget in the context of the error that the rest of the computational pipeline generated and how it impacts visualization algorithms  ...  Acknowledgments We thank our colleagues and students, and in particular, David Koop  ... 
doi:10.1017/s0022112008002760 fatcat:aegq4i3gorg25bjzvhj3v2bpq4

YOU NEED TO FOCUS TO VALIDATE

O. Isaksson, C. Eckert, M. Panarotto, J. Malmqvist
2020 Proceedings of the Design Society: DESIGN Conference  
This paper argues that a key to successful validation of design research lies in the ability to focus on what to validate in advance of how to validate.  ...  AbstractMany research students find challenges when validating their research. Especially when they have expectations to contribute to both practice and the research body of knowledge.  ...  Based on a sample of 71 paper published in Research in Engineering Design, Barth et al. (2011) have shown that 37% of the articles had no validation at all and 46% had no industrial application.  ... 
doi:10.1017/dsd.2020.116 fatcat:do7kpb2xjvfdbcgymscomuv5h4

Workshop on modeling in software engineering at ICSE 2009

Robert Baillargeon, Robert France, Steffen Zschaler, Bernhard Rumpe, Steven Völkel, Geri Georg
2009 Software engineering notes  
The 2009 MiSE workshop provided a venue for presentation and discussion of eleven papers in the five areas of model evolution, domain specific languages, verification and validation, model transformation  ...  The Modeling in Software Engineering (MiSE) workshop series provides a forum for discussing the challenges associated with modeling software and with incorporating modeling practices into the software  ...  direction for future research on modeling in software engineering.  ... 
doi:10.1145/1543405.1543432 fatcat:odrubwdeajbtnmhujiiopcpkge

Challenges in Aligning Requirements Engineering and Verification in a Large-Scale Industrial Context [chapter]

Giedre Sabaliauskaite, Annabella Loconsole, Emelie Engström, Michael Unterkalmsteiner, Björn Regnell, Per Runeson, Tony Gorschek, Robert Feldt
2010 Lecture Notes in Computer Science  
[Question/problem] Our research question is: what are the current challenges in aligning the requirements and verification processes?  ...  Researchers can also benefit from our results by focusing their research on the areas that are the most challenging. The results are valid in the context of the company under investigation.  ...  Many thanks to the anonymous interviewees for their dedicated participation in this study, and reviewers of the paper for their valuable comments.  ... 
doi:10.1007/978-3-642-14192-8_14 fatcat:ladv2r2wlzgdji6hqgb5qtphaa

The Conundrum of Verification and Validation of Social Science-based Models

Heidi Ann Hahn
2013 Procedia Computer Science  
Because systems engineers may encounter social-science based models either in the context of system design or verification, where they may be used as substitutes for human operators or users, or when they  ...  In the systems engineering lexicon, definitions for the terms "verification" and "validation" are settled; consistent with the definitions promulgated by the Department of Defense (DoD) [1]; and quite  ...  Keywords: Verification and validation; social science-based models Verification and Validation -Definitions and Overview In the systems engineering lexicon, definitions for the terms "verification" and  ... 
doi:10.1016/j.procs.2013.01.092 fatcat:4bevxp2grvh5dndcxnue2nb77a

Validation and Verification of Temporal Knowledge as an Important Aspect of Implementing a Temporal Knowledge Base System Supporting Organizational Creativity

Maria Mach-Król, Krzysztof Michalik
2015 Proceedings of the 2015 Federated Conference on Computer Science and Information Systems  
The motivation for implementing a temporal knowledge base system is presented, the implementation methodology is outlined, and the V&V (validation&verification) process is described in detail, using an  ...  The paper is devoted to the problem of temporal knowledge validation and verification during the process of implementing a system supporting organizational creativity.  ...  Such a system contains not only fact base, rule base, and inference engine, but also directly addresses the question of time.  ... 
doi:10.15439/2015f78 dblp:conf/fedcsis/Mach-KrolM15 fatcat:ulglmfaupvhdliikfwr6ku5nbe

Applying Systems Engineering to Survey Research

Clement Smartt, Susan Ferreira
2013 Procedia Computer Science  
case study survey are examined in the context of systems engineering technical and management processes, methods and tools.  ...  The current state of survey research literature is examined, and recommendations for how systems engineering can improve survey research are discussed.  ...  Methods and tools are also discussed in the context of these systems engineering processes.  ... 
doi:10.1016/j.procs.2013.01.116 fatcat:qxnkfc7u75gvpgx4rpvfqf35oe

Evaluating Verification and Validation Methods in Knowledge Engineering [chapter]

Alun Preece
2001 Industrial Knowledge Management  
Verification and validation (V&V) techniques have always been an essential part of the knowledge engineering process, because they offer the only way to judge the success (or otherwise) of a knowledge  ...  For the knowledge management practitioner, this paper offers guidance and recommendations for the use of V&V techniques; for researchers in knowledge management, the paper offers pointers to areas where  ...  The Importance of Validation and Verification Validation and verification (V&V) comprise a set of techniques used in software engineering (and, therefore, in knowledge engineering) to evaluate the quality  ... 
doi:10.1007/978-1-4471-0351-6_6 fatcat:7jdx4rwi6fdvfmc77x4oen2fym
« Previous Showing results 1 — 15 out of 73,691 results