A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
Software engineering and automated deduction
2014
Proceedings of the on Future of Software Engineering - FOSE 2014
Preserved Fulltext
Then we consider some of the current and future trends in software engineering and the type of advances it may require from automated deduction. ...
advances in automated deduction are also driven by software engineering requirements. ...
Deduction with Interaction Automation is critical to many of the applications of logic in computing mentioned above. ...
doi:10.1145/2593882.2593899
dblp:conf/icse/VisserBS14
fatcat:cdgga6syovar5hr4mfzjyyi4se
Engineering problems in machine learning systems
[article]
2019
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.
Other Versions
Fatal accidents are a major issue hindering the wide acceptance of safety-critical systems that employ machine learning and deep learning models, such as automated driving vehicles. ...
The key to using a machine learning model in a deductively engineered system is decomposing the data-driven training of machine learning models into requirement, design, and verification, particularly ...
Machine learning models are becoming indispensable components even of systems that require safety-critical environmental perception and decision-making such as automated-driving systems [48] . ...
arXiv:1904.00001v2
fatcat:tpip4cek6zgldetgtoipiv5plm
Engineering problems in machine learning systems
2020
Machine Learning
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.
Fatal accidents are a major issue hindering the wide acceptance of safety-critical systems that employ machine learning and deep learning models, such as automated driving vehicles. ...
The key to using a machine learning model in a deductively engineered system is decomposing the data-driven training of machine learning models into requirement, design, and verification, particularly ...
Machine learning models are becoming indispensable components even of systems that require safety-critical environmental perception and decision-making such as automated-driving systems . ...
doi:10.1007/s10994-020-05872-w
fatcat:wyewopy73ffjxbddrgaydygopy
Integrated Matrix-based Fault Tree Generation and Evaluation
2015
Procedia 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 2019; you can also visit the original URL.
The file type is application/pdf.
Thus, it facilitates the efficient identification of safety critical elements and the assessment and comparison of alternative system architecture concepts. ...
As methods of safety analysis, i.e. fault tree analyses require immense manual efforts and expert knowledge, the efficiency of these analyses has to be improved. ...
These phases are system definition, information acquisition, deduction of dependencies, structure analysis and application on product design 1 . ...
doi:10.1016/j.procs.2015.03.027
fatcat:dqvoqkyglranngzlv7lmvbqg6q
The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge
[chapter]
2011
FORMS/FORMAT 2010
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 proposed methodology has been implemented in a prototype toolchain and applied to a simple lane departure warning system as an example assistance and automation system. ...
This paper proposes a methodology to guide the safety related requirements engineering process by means of OWL (Web Ontology Language) ontologies. ...
In this case, a sample requirement of the system design phase would be the system design verification for compliance and completeness, which involves deductive analysis, highly recommended for ASIL B obligation ...
doi:10.1007/978-3-642-14261-1_21
dblp:conf/forms/GacnikJKF10
fatcat:wx36dxlcobhgfkhp3dvveydsz4
Location context for knowledge management in healthcare
2010
International Journal of Healthcare Technology and Management
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.
of patients. ...
of healthcare processes. ...
The resulting knowledge and analysis has provided a useful foundation for our research in context based knowledge management systems. ...
doi:10.1504/ijhtm.2010.033271
fatcat:e33aadctnjds7ixly4cbnt6g2y
A Survey of Automated Deduction
[chapter]
1999
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 2017; you can also visit the original URL.
The file type is application/pdf.
Automated deduction seemed a very good candidate for the automation of commonsense reasoning. ...
A Potted History of Early Automated Deduction Deduction is the branch of reasoning formalised by and studied in mathematical logic. ...
Work on automated deduction was subject to a lot of criticism in the early 1970s. ...
doi:10.1007/3-540-48317-9_6
fatcat:r7kti6fn2bcjbodyatqdq64wu4
Bi-directional fault analysis of evaporator inspection system
2012
International journal of advanced smart convergence
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 analysis results indicate the possibility of searching and summarizing fault patterns for future reusability. ...
In this paper, we have performed a safety analysis on an automotive evaporator inspection system. We performed the bi-directional analysis on the manufacturing line. ...
Failure modes, effects, and criticality analysis (FMECA) is FMEA with a more detailed analysis of the criticality of the failure. ...
doi:10.7236/jasc2012.1.1.11
fatcat:gqcuj33brvchdladn56qn6nplm
Critical Computation: Digital Automata and General Artificial Thinking
2019
Theory, Culture and Society. Explorations in Critical Social 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.
Since the 1980s, computational systems of information processing have evolved to include not only deductive methods of decision, whereby results are already implicated in their premises, but have crucially ...
newly formed space between critical reasoning, logical inference, and sheer calculation. ...
(and are thus not to be simply addressed as a sort of it may be useful here to add that a critical engagement with this phase of automation of automation requires that the Scientific Image of intelligence ...
doi:10.1177/0263276418818889
fatcat:jb3nk7tdafairgmmtztpbntr6i
Improving Usability of Software Refactoring Tools
2007
Australian Software Engineering Conference : Proceedings
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 2008; you can also visit the original URL.
The file type is application/pdf.
Post-deployment maintenance and evolution can account for up to 75% of the cost of developing a software system. ...
Based on the analysis, we have selected a subset of the requirements that will be incorporated into a prototype refactoring tool intended to address the full refactoring process. ...
(Department of Education, Science and Training). ...
doi:10.1109/aswec.2007.24
dblp:conf/aswec/MealyCSW07
fatcat:5ofjscflojhjzdnjkzxgskykyu
Should Robots Pay Taxes? Tax Policy in the Age of Automation
2017
Social Science Research Network
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.
Existing technologies can already automate most work functions, and the cost of these technologies is decreasing at a time when human labor costs are increasing. ...
automation. ...
This concept is discussed in tax policy analysis as the "tax incidence" of capital taxation. 25 Tax is thus critically important to the automation debate. ...
doi:10.2139/ssrn.2932483
fatcat:qwbwubfrsvbeloq2dtq6a6tvte
Reasoning processes in clinical reasoning: from the perspective of cognitive psychology
2019
Korean Journal of Medical Education
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.
In this paper, two types of reasoning process required for critical thinking are discussed: inductive and deductive. ...
To properly use clinical reasoning, one requires not only domain knowledge but also structural knowledge, such as critical thinking skills. ...
Conflicts of interest: No potential conflict of interest relevant to this article was reported. Author contributions: All work was done by HS. ...
doi:10.3946/kjme.2019.140
pmid:31813196
pmcid:PMC6900348
fatcat:igbtabqttvffffirbon3hdnyiu
A Review of Computerized Payroll System
IJARCCE - Computer and Communication Engineering
2015
IJARCCE
IJARCCE - Computer and Communication 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 2018; you can also visit the original URL.
The file type is application/pdf.
Hence if this process is automated, it would be of great benefit as it would require less time to calculate the salary of the employees. ...
It involves keeping track of hours worked and is capable of keeping a record of employee data including their pay, allowances, deductions and taxes on monthly bases so that fresh definitions are reflected ...
The steps given below describe implementation of proposed system: 1) System Analysis: Analysis involves a detailed study of the current clipper based system, leading to specifications of a new computer ...
doi:10.17148/ijarcce.2015.4113
fatcat:cvjqfj2hofd55oimune37etuae
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools
[chapter]
2019
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.
to highly automated proofs of complex library or system code written in mainstream languages. ...
We take stock of the state-of-art and give a list of the most important challenges for the further development of the field of deductive software verification. ...
Many thanks to Richard Bubel for help with the preparation of the example in Sect. 2. ...
doi:10.1007/978-3-319-91908-9_18
fatcat:t3verkvbx5givfekzmbpiw6zla
Trustworthy Self-Integrating Systems
[chapter]
2015
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 2016; you can also visit the original URL.
The file type is application/pdf.
Thus, trustworthy self-integration requires autonomous adaptation, synthesis, and verification at integration time, and this means that embedded automated deduction (i.e., theorem provers) will be the ...
Each is a self-contained system that operates in ignorance of the others, and their integrated operation as a system of systems that delivers coherent therapy is performed by doctors and nurses. ...
Many of the ideas assembled here originated in discussions with Dave Hanz of SRI, who also provided helpful comments on the paper. ...
doi:10.1007/978-3-319-28034-9_3
fatcat:sn2qmb45bnaeblyfthgkpvnibq
« Previous
Showing results 1 — 15 out of 27,595 results