Filters








461 Hits in 4.4 sec

An ontology knowledge inspection methodology for quality assessment and continuous improvement

Gabriela R. Roldán-Molina, David Ruano-Ordás, Vitor Basto-Fernandes, José R. Méndez
2021 Data & Knowledge Engineering  
The proposed methodology is based on the Deming cycle and is grounded on quality standards that proved effective in the software engineering domain and present high potential to be extended to knowledge  ...  Despite the initial appeal of these methods, automatically generated ontologies may have errors, inconsistencies, and a poor design quality, all of which must be manually fixed, in order to maintain the  ...  Additionally, this work was partially funded by Consellería de Educación, Universidades e Formación Profesional (Xunta de Galicia), Spain under the scope of the strategic funding of ED431C2018/55-GRC Competitive  ... 
doi:10.1016/j.datak.2021.101889 fatcat:7s2jbyeopzezdfr3lxep72cbuq

Refactoring the Whitby Intelligent Tutoring System for Clean Architecture [article]

Paul S. Brown, Vania Dimitrova, Glen Hart, Anthony G. Cohn, Paulo Moura
2021 arXiv   pre-print
Whitby is the server-side of an Intelligent Tutoring System application for learning System-Theoretic Process Analysis (STPA), a methodology used to ensure the safety of anything that can be represented  ...  In this paper the architectures of two iterations of Whitby are evaluated with respect to the motivations behind the refactor: clean architecture enabling code reuse and extensibility.  ...  The fourth author is partially funded by the EU AI4EU project (825619) and is a Fellow of the Alan Turing Institute.  ... 
arXiv:2108.04621v1 fatcat:y546grtmdvembohkmnlav2pgee

RASAECO: Requirements Analysis of Software for the AECO Industry [article]

Marko Ristin
2021 arXiv   pre-print
The viability of our approach is demonstrated on an ontology of 20 practical scenarios from a large project aiming to develop a digital twin of a construction site.  ...  We introduce a common scenario space, propose a novel choice of an ubiquitous language well-suited for this particular industry and develop a systematic way to refine the scenario ontologies based on the  ...  ACKNOWLEDGEMENT This work is part of the BIMprove Project, an initiative funded by the European Union's Horizon 2020 Research and Innovation programme under grant agreement N°958450, with Focus Area Building  ... 
arXiv:2106.08644v1 fatcat:nhngqkoskbf7jhgkhgdwxqu76m

Tests of Robustness in Peer Review

Jeremy Leipzig, Jane Greenberg, Gail Rosen, Xiaohua; Hu, Karthik Ram, Erjia Yan
2021 Zenodo  
Of particular interest are refactors, in which an existing analysis with abstract methods is reimplemented by a third party, and robustness tests, which involve the manipulation of tools, parameters, and  ...  data to assess the scientific validity of an analysis.  ...  An elegant portal and API for the discovery of omics that utilizes this ontology, bio.tools, allows tool developers to annotate their tools according to common topics, operations, types of data, and data  ... 
doi:10.5281/zenodo.6403281 fatcat:q4pq3fnchzat7jvzl2lnhpyopi

Refactoring the Whitby Intelligent Tutoring System for Clean Architecture

PAUL S. BROWN, VANIA DIMITROVA, GLEN HART, ANTHONY G. COHN, PAULO MOURA
2021 Theory and Practice of Logic Programming  
Whitby is the server-side of an Intelligent Tutoring System application for learning System-Theoretic Process Analysis (STPA), a methodology used to ensure the safety of anything that can be represented  ...  In this paper the architectures of two iterations of Whitby are evaluated with respect to the motivations behind the refactor: clean architecture enabling code reuse and extensibility.  ...  The fourth author is partially funded by the EU AI4EU project (825619) and is a Fellow of the Alan Turing Institute.  ... 
doi:10.1017/s1471068421000326 fatcat:gwkn46svcrbtjbg5v7f46xp5ii

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach [chapter]

Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesing
2016 Lecture Notes in Computer Science  
ecosystem of open-source mathematical software systems.  ...  This is the mission of the integration work package (WP6). We report on experiments and future plans with the Math-in-the-Middle approach.  ...  Acknowledgements The authors gratefully acknowledge the other participants of the St Andrews workshop, in particular John Cremona, Luca de Feo, Steve Linton, and Viviane Pons, for discussions and experimentation  ... 
doi:10.1007/978-3-319-42547-4_9 fatcat:oqnuhg6jcbhv7b4ssks2rhz2uq

Refactoring-based support for binary compatibility in evolving frameworks

Ilie Şavga, Michael Rudolf
2007 Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07  
Many different quantitative usability assessment models have been proposed to measure and report the usability of a general software product.  ...  Therefore, an integrated, consolidated and quantitative usability assessment model is required, to provide an entire construct of usability and to provide an improved estimation of the usability sample  ...  Acknowledgements This work was supported in part by NSF grant CCF-0546550, DARPA contract HR00110710019, the Department of Defense, and the Software Industry Center at CMU and its sponsors, especially  ... 
doi:10.1145/1289971.1290000 dblp:conf/gpce/SavgaR07 fatcat:2ej6z6njl5da3a5t3ytrlufmvi

A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis

Giuseppe De Ruvo, Antonella Santone
2014 2014 IEEE 23rd International WETICE Conference  
As well as software grows, decays and needs refactoring, the organic growth of a wiki inevitably leads to its degradation.  ...  We propose a novel methodology based on formal methods to analyse and verify the architecture of wikis. Formal verification helps to perform refactoring.  ...  The method is built upon a software refactoring method which exploits the dominance relations on the analysed software system call graph.  ... 
doi:10.1109/wetice.2014.25 dblp:conf/wetice/RuvoS14a fatcat:35gtfwejurcztn7v6w4vyvus7e

Refactoring Software Packages via Community Detection from Stability Point of View [article]

Mohammad Raji
2018 arXiv   pre-print
In this thesis, the subject of refactoring software packages using community detection algorithms is discussed, with a focus on the notion of package stability.  ...  For evaluating the proposed algorithm, a tool for live analysis of software packages is implemented, and two software systems are tested.  ...  Mehrdad Ahmadzadeh, my mother and my wife, Sara who have been the most supportive, through thick and thin and have helped me in the difficulties of the paths I have taken.  ... 
arXiv:1811.10171v1 fatcat:l5m3phopqzfbhlkb4rizjukaku

Towards an Interaction-based Integration of MKM Services into End-User Applications [article]

Constantin Jucovschi
2014 arXiv   pre-print
After an analysis of the underlying problems, I present an augmented version of the SAlly architecture that addresses these issues and opens new opportunities for document type agnostic MKM services.  ...  The architecture presented in the original paper proved to be quite resilient as it is still used today with only minor changes.  ...  One of the main purposes of MKM User-Service Interactions is to support the process of aligning document content with concepts in some ontology.  ... 
arXiv:1403.5058v1 fatcat:tfr2pfycbvg5les32ggasj5pyy

Interoperability of disparate engineering domain ontologies using basic formal ontology

Thomas J. Hagedorn, Barry Smith, Sundar Krishnamurty, Ian Grosse
2019 Journal of engineering design  
Method (DAMM), which we believe can support the design of innovative products with semantically enhanced ideation tools and enhanced access to application domain knowledge.  ...  This paper demonstrates how the use of a top-level ontology, specifically the Basic Formal Ontology (BFO), greatly facilitates interoperability of multiple engineering-related ontologies.  ...  Aided by domain specific knowledge about types of surgical tool and domain agnostic information about AM features, the student was able to develop a new device concept that differed significantly from  ... 
doi:10.1080/09544828.2019.1630805 fatcat:c7o73vu5irfzzbruqswebvh7pm

The application of artificial intelligence in software engineering: a review challenging conventional wisdom [article]

Feras A. Batarseh, Rasika Mohod, Abhinav Kumar, Justin Bui
2021 arXiv   pre-print
Similarly, AI has evidently been proved useful to software engineering (SE).  ...  The field of artificial intelligence (AI) is witnessing a recent upsurge in research, tools development, and deployment of applications.  ...  The use cases obtained were crisp and consistent, irrespective of the size of requirements text. R-Tool, NL-OOPS, CM-BUILDER are few other NLP based computer aided software engineering tools [37] .  ... 
arXiv:2108.01591v1 fatcat:5vmh7wa6mnaotdlcmzm56uunga

Formal Ontologies in Information Systems Development: A Systematic Review

Husáková, Bureš
2020 Information  
Specific online databases were used to identify studies focused on the interconnections between ontologies and systems engineering.  ...  One-hundred eighty-seven studies were found during the first phase of the investigation. Twenty-seven studies were examined after the elimination of duplicate and irrelevant documents.  ...  The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.  ... 
doi:10.3390/info11020066 fatcat:4h2xq2uapjf2ngzmwi4332tas4

Composition of a New Process to Meet Agile Needs Using Method Engineering [chapter]

Massimo Cossentino, Valeria Seidita
2005 Lecture Notes in Computer Science  
The need of developing a new software engineering process (SEP) that could allow the quick prototyping of some robotic applications and meet the requests coming from some companies for a development process  ...  that was shorter than PASSI, gave us the opportunity of applying our studies on the assembling of a new SEP by reusing parts (called method fragments) from other processes.  ...  The composition of the new SEP is performed under the assistance of some specific software tool, called CAPE (Computer Aided Process Engineering) or CAME (Computer Aided Method Engineering) depending on  ... 
doi:10.1007/978-3-540-31846-0_3 fatcat:dmvy5qmrnbdfnguwuaw2mhwvsi

Information Retrieval based requirement traceability recovery approaches- A systematic literature review

MUHAMMAD SALEEM, Nasir Mehmood Minhas
2018 University of Sindh Journal of Information and Communication Technology  
Abstract: The term traceability is an important concept regarding software development. It enables software engineers to trace requirements from their origin to fulfillment.  ...  A visible number of IR based traceability techniques have been proposed in the literature, but the adoption of these techniques in the industry is limited.  ...  In semi-automated refactoring, software engineer carries out the activities like locating entities while applying transformations with the help of automated tools.  ... 
doaj:791015d8a53749a1ad9148dd33333d19 fatcat:qfw5jcpl3feojcz3y5tj2yufzy
« Previous Showing results 1 — 15 out of 461 results