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.
Filters
The development, validation and implementation of knowledge-based systems
1996
European Journal of Operational Research
Preserved Fulltext
Some ideas about where KBS "fits in" to the array of tools, techniques and methodologies available to the modern analyst and system developer are presented. ...
The paper reviews progress in understanding and using development methodologies, validation methods (now generally considered as crucial to technical success) and implementation. ...
In a subsequent paper (O'Keefe, Belton and Ball, 1986) , reporting the experiences of a research project that attempted to use expert systems from an OR perspective, one of us wrote: "We hope that ultimately ...
doi:10.1016/0377-2217(96)00005-7
fatcat:dmgfu2h7g5dfdjd733mkosqwg4
Design and Implementation of a Software Inspection Support System for UML Diagrams
2006
IEICE transactions on information and systems
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 2019; you can also visit the original URL.
The file type is application/pdf.
Acknowledgements The authors would like to thank anonymous reviewers for their comments to improve this paper. This study is partially supported by grant aid (c) of Tokyo Gakugei University. ...
Evaluation This section clarifies usefulness of our system through some experiments. We conducted two comparative studies. ...
Table 3 3 Tasks in the experiment. ...
doi:10.1093/ietisy/e89-d.4.1327
fatcat:i35ueyaefneytnif5ldw5hxjf4
ENVRI-FAIR D7.3: ENVRI-FAIR Knowledge Base for RI Service Interoperation and Competence
2020
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 2020; you can also visit the original URL.
The file type is application/pdf.
The overarching goal of ENVRI-FAIR is for all participating RIs to improve their FAIRness and prepare the connection of their data repositories and services to the European Open Science Cloud (EOSC). ...
the entire cluster), providing more efficient services for researchers and policy makers.This deliverable introduces the building of the Knowledge Basein the ENVRI-FAIR context, describes the approach ...
The Knowledge Base team also closely interacts with semantic search work groups in sub domains, e.g., a semantic search use case in ACTRIS 46 , reported in the Semantic Search Working Group Final Report ...
doi:10.5281/zenodo.4311046
fatcat:ozlqx3wqazbp3kqwwakznwxu6u
Optimization of controller gains for FPGA-based multivariable motion controller using response surface methodology
2015
2015 IEEE 28th Canadian Conference on Electrical and Computer Engineering (CCECE)
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.
It uses Design of Experiments (DoE) techniques for obtaining optimal gain values. ...
This study details the development of a cascaded type Proportional-Derivative (PD) controller for an inverted pendulum system implemented on a single FPGA device. ...
The development tool is used to design the system using Hardware Description Languages or block diagrams provided by Altera. ...
doi:10.1109/ccece.2015.7129467
dblp:conf/ccece/SekaranLK15
fatcat:pysywnqn4zaztk5ziyxbn52iia
Towards a Formalization of a Framework to Express and Reason about Software Engineering Methods
2018
Computing and informatics
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.
The formalization is based on KUALI-BEH, which is a normative kernel extension of ESSENCE formal specification, and consists of three parts: an ontology to share a common representation of knowledge * ...
However, a large part of this knowledge exists in a tacit form and depends on practitioners. Therefore defining a mechanism to transform tacit knowledge into explicit one is of upmost importance. ...
Acknowledgment The authors thank Pascual Julian Iranzo, Ph.D. for his expert advice in Description Logics. ...
doi:10.4149/cai_2018_1_109
fatcat:bthswioiorfzhopqqbr7y2ia44
META-AMPHION: synthesis of efficient domain-specific program synthesis systems
Proceedings 1995 10th Knowledge-Based Software Engineering 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 2009; you can also visit the original URL.
The file type is application/pdf.
consist of time-system constants, program input variables, and applications of convert-time. The decision procedure automatically simplifies nested applications of convert-time. ...
The final step in DSDRAT's analysis of coordinate-totime is to add the instantiated theories from TableGraph and Connected Groupoid to the cumulative set of axioms for instantiated decision procedures. ...
Acknowledgments Sincere thanks to the anonymous reviewers and our colleagues Arthur Reyes, Lise Geetoor, Thomas Pressburger and Steven Roach for their helpful comments. ...
doi:10.1109/kbse.1995.490113
dblp:conf/kbse/LowryB95
fatcat:it4kml5puvc5njku3uobgiaqjm
Practical large scale what-if queries: case studies with software risk assessment
2000
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering
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.
The TARZAN system can poll the ensemble looking for majority conclusions regarding what factors change the classifications of the data. ...
TARZAN can succinctly present the results from very large what-if queries. For example, in one of the studies presented here, we can view on ...
Josephson first proposed that we run a small number of randomly selected inputs to the system. ...
doi:10.1109/ase.2000.873661
dblp:conf/kbse/MenziesS00
fatcat:lyrhkpyztvbthdmmu75iqkctci
An empirical evaluation of KBSA technology
Proceedings 1995 10th Knowledge-Based Software Engineering 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 2019; you can also visit the original URL.
The file type is application/pdf.
the data needed, and completing and reviewing the collection of information. ...
Public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining ...
Sites Identified and Results Reported In this section we will summarize the panelists' reports of how KBSE technology has been used in actual software development projects. ...
doi:10.1109/kbse.1995.490121
dblp:conf/kbse/SassoB95
fatcat:gh6k7dahorh2jkltuljm5heb64
Towards an epistemology for software representations
Proceedings 1995 10th Knowledge-Based Software Engineering 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 2017; you can also visit the original URL.
The file type is application/pdf.
While the wealth of modeling activities have, necessarily, been founded on first order logic based representations, this paper reports on research into Software Information Systems that has found the domain ...
The KBSE community is actively engaged in finding ways to represent software and the activities that relate to various stages in its lifecycle. ...
Acknowledgments My thanks to Dave Ferrucci whose initial idea about multiple levels of instantiation (described in [Welty and Ferrucci, 1994 ]) led to the crystallization of these ideas regarding software ...
doi:10.1109/kbse.1995.490130
dblp:conf/kbse/Welty95
fatcat:r3ji5pypifdnjdstcap26isafm
Supporting software maintenance by mining software update records
Proceedings IEEE International Conference on Software Maintenance. ICSM 2001
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.
Finding existing relations between source code components is a difficult task, especially in the case of legacy systems. ...
Those relationships are partly reflected in system documentation at its different levels, but more often than not are never made explicit and become part of the expertise of system maintainers. ...
In summary, most KBSE systems employ some sort of knowledge repository. ...
doi:10.1109/icsm.2001.972708
dblp:conf/icsm/ShirabadLM01
fatcat:m4wkulzmbngk7luubalibhmdiq
Scholarly event characteristics in four fields of science: a metrics-based analysis
2020
Scientometrics
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.
This analysis is based on a systematic approach using descriptive statistics as well as exploratory data analysis. ...
In order to obtain a better understanding of scholarly event characteristics in four fields of science, we analyzed the metadata of scholarly events of four major fields of science, namely Computer Science ...
Part of this work has been funded by ...
doi:10.1007/s11192-020-03391-y
fatcat:m7rhd4dlurfazai24y7shi6kre
Enhancing case tool support for analysis through formal logic utilities
1994
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 support of this, a theorem prover for the formal logic, NaDSet, has been implemented in the commercial CASE tool, the Software Refinery. ...
Modern CASE tools are the product of many years of experience with developing software systems and provide a great deal of assistance with overcoming the organizational barriers to constructing large software ...
Therefore, this condition is both necessary and sufficient for a database of formulas expressing the equivalent of a closed semantic tree. Q.E.D.
Bibliography ...
doi:10.14288/1.0051228
fatcat:zn6o42efzzcahnmsyp6k4b6yva
Competition Law Reform in Turkey: Actors, Networks, Translations
2014
Indiana Journal of Global Legal Studies
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 2019; you can also visit the original URL.
The file type is application/pdf.
Translation is used as an analytic to capture the complex processes of such a shift. ...
The article argues that this shift can be explained first by the broad turn toward the U.S. as a source of state expertise and knowledge production in the context of the Cold War. ...
What can be generalized from this thick description? The answer is offered in the body of the text in bits and pieces, but I would like to offer a very brief sketch of it below. ...
doi:10.2979/indjglolegstu.21.1.159
fatcat:pk4hvlovnfef5iit43fa5xnfau
Inform atica An International Journal of Computing and Informatics Simulation Modelling Methodology and Education O t~ I Oi i t
1997
Polurne
unpublished
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 2018; you can also visit the original URL.
The file type is application/pdf.
Acknowledgements The čase study work described in this paper was partially funded by Johnson & Johnson Hellas S.A. as part of a wider Business Process Re-engineering project undertaken by the Electronic ...
Commerce/EDI research group of the Athens University of Economics and Busi ness. ...
The use of the logical calculus in the description of neural netvvorks on the one hand, and in cybernetic models on the other, shovvs that such a programme is not out of the question (Piaget 1958, p. ...
fatcat:sk3xo32wengjljexw23a3ugv4a
Inform atica
2001
unpublished
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 2018; you can also visit the original URL.
The file type is application/pdf.
Acknovvledgement The vi'ork reported in this paper was supported by the Slovenian Ministry of Education, Science and Šport. ...
Acknowledgements The work reported in this paper was supported by the Slovenian Ministry of Education, Science and Šport. ...
Based on the experience from the previous experiments where difficulties vvith wording of skill description revealed, in this čase we used graphical presentation of qualitative characteristics of the skill ...
fatcat:77obuhlo2bazdjm74cuxiprf5a
« Previous
Showing results 1 — 15 out of 19 results