Filters








27,595 Hits in 3.7 sec

Software engineering and automated deduction

Willem Visser, Nikolaj Bjørner, Natarajan Shankar
2014 Proceedings of the on Future of Software Engineering - FOSE 2014  
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]

Hiroshi Kuwajima, Hirotoshi Yasuoka, Toshihiro Nakae
2019 arXiv   pre-print
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

Hiroshi Kuwajima, Hirotoshi Yasuoka, Toshihiro Nakae
2020 Machine Learning  
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

Michael Roth, Moritz Wolf, Udo Lindemann
2015 Procedia Computer Science  
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]

Jan Gačnik, Henning Jost, Frank Köster, Martin Fränzle
2011 FORMS/FORMAT 2010  
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

Kamran Ahsan, Hanifa Shah, Paul Kingston
2010 International Journal of Healthcare Technology and Management  
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]

Alan Bundy
1999 Lecture Notes in Computer Science  
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

Dae-Ki Kang, Jeong-Jin Kang
2012 International journal of advanced smart convergence  
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

Luciana Parisi
2019 Theory, Culture and Society. Explorations in Critical Social Science  
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

Erica Mealy, David Carrington, Paul Strooper, Peta Wyeth
2007 Australian Software Engineering Conference : Proceedings  
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

Ryan Abbott, Bret Bogenschneider
2017 Social Science Research Network  
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

Hyoung Seok Shin
2019 Korean Journal of Medical Education  
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

Kritika Mahajan, Shilpa Shukla, Nitasha Soni
2015 IJARCCE  
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]

Reiner Hähnle, Marieke Huisman
2019 Lecture Notes in Computer Science  
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]

John Rushby
2015 Lecture Notes in Computer Science  
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