منابع مشابه
Modelling for Mere Mortals
In the past, attempts to convince practising software engineers to adopt formal methods of software development were generally unsuccessful. The methods were too difficult to learn and use, provided inadequate tool support and did not integrate well into the software development process. In short, they could only be used effectively by the gods who created them! Are we in a better position toda...
متن کاملProof identity for mere mortals
The proof identity problem asks: When are two proofs the same? The question naturally occurs when one reflects on mathematical practice. The problem understandably can be seen as a challenge for mathematical logic, and indeed various perspectives on the problem can be found in the proof theory literature. From the proof theory perspective, the challenge is met by laying down new calculi that el...
متن کاملDeclarative Datalog Debugging for Mere Mortals
Tracing why a “faulty” fact A is in the model M = P (I) of program P on input I quickly gets tedious, even for small examples. We propose a simple method for debugging and “logically profiling” P by generating a provenance-enriched rewriting P̂ , which records rule firings according to the logical semantics. The resulting provenance graph can be easily queried and analyzed using a set of predefi...
متن کاملScientific workflow design for mere mortals
Recent years have seen a dramatic increase in research and development of scientific workflow systems. These systems promise to make scientists more productive by automating data-driven and computeintensive analyses. Despite many early achievements, the long-term success of scientific workflow technology critically depends on making these systems useable by ‘‘mere mortals’’, i.e., scientists wh...
متن کاملeducation and implementing evidence‑based nursing practice for diabetic patients
background: foot ulceration is one of the most common complications associated with diabetes that needs to be managed. in iran, prevalence of diabetes foot ulcer is 3%. according to studies, evidence‑based nursing (ebn) is an effective alternative to facilitate clinical decision making in patient care and may lead to quality improvement in nursing practice. the aims of this study are to assess ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of General Internal Medicine
سال: 2002
ISSN: 0884-8734,1525-1497
DOI: 10.1046/j.1525-1497.2002.10518.x