Filters








19 Hits in 5.6 sec

The development, validation and implementation of knowledge-based systems

Robert M. O' Keefe, Alun D. Preece
1996 European Journal of Operational Research  
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

Y. OHGAME
2006 IEICE transactions on information and systems  
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

Zhiming Zhao, Xiaofeng Liao, Doron Goldfarb, Markus Stocker, Siamak Farshidi, Barbara Magagna
2020 Zenodo  
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

Hari Priyai Sekaran, Migara H. Liyanage, Nicholas Krouglicof
2015 2015 IEEE 28th Canadian Conference on Electrical and Computer Engineering (CCECE)  
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

Miguel Morales-Trujillo, Hanna Oktaba, Francisco Hernández-Quiroz, Boris Escalante-Ramírez
2018 Computing and informatics  
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

M.R. Lowry, J. van Baalen
Proceedings 1995 10th Knowledge-Based Software Engineering Conference  
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

T. Menzies, E. Sinsel
2000 Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering  
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

W.C. Sasso, K.M. Banner
Proceedings 1995 10th Knowledge-Based Software Engineering Conference  
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

C.A. Welty
Proceedings 1995 10th Knowledge-Based Software Engineering Conference  
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

J.S. Shirabad, T.C. Lethbridge, S. Matwin
Proceedings IEEE International Conference on Software Maintenance. ICSM 2001  
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

Said Fathalla, Sahar Vahdati, Christoph Lange, Sören Auer
2020 Scientometrics  
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

Eric A. Borm
1994
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

Türem
2014 Indiana Journal of Global Legal Studies  
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

S-I
1997 Polurne   unpublished
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

Pavol Navrat, Cene Bavec, Matjaž Gams
2001 unpublished
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