A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
An ontology knowledge inspection methodology for quality assessment and continuous improvement
2021
Data & Knowledge Engineering
Preserved Fulltext
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2021
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2021
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2007
Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
2014 IEEE 23rd International WETICE Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2019
Journal of engineering design
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2020
Information
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2018
University of Sindh Journal of Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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