Results 211 to 220 of about 1,621,811 (255)
Some of the next articles are maybe not open access.
Reporting on individual experience
Communication & Medicine, 2021This paper proposes a new model for a patient-centred medical case report. Patient-centred approaches adopt the patient's perspective and emphasise the individual's experience of illness, and are intended to answer criticisms that medical texts for professionals, by focusing solely on a disease phenomenon presented within a framework of biomedical ...
openaire +2 more sources
Introduction: Experience Reports
Agile 2007 (AGILE 2007), 2007Experience reports are written by agile practitioners to share their project stories with the wider agile community. Our authors explain - what they tried, how their teams battled with obstacles along the way and summarize their lessons learned. You will find that reports presented here offer unique insights on how agile methods can be applied in a ...
Rachel Davies, Angela Martin
openaire +1 more source
ACM SIGPLAN Notices, 2009
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. The verification connects an abstract operational specification in the theorem prover Isabelle/HOL to a C implementation of the microkernel. We describe how this project differs from other efforts, and examine the effect
Gerwin Klein +2 more
+4 more sources
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. The verification connects an abstract operational specification in the theorem prover Isabelle/HOL to a C implementation of the microkernel. We describe how this project differs from other efforts, and examine the effect
Gerwin Klein +2 more
+4 more sources
The Altering of Reported Experiences
Journal of the American Academy of Child & Adolescent Psychiatry, 2000The unreliability of human memory is well documented in the literature, yet psychiatrists and other mental health care professionals rely on patient self-report in history-taking. This study provides new evidence from a longitudinal study of autobiographical memory and discusses implications for the development and implementation of appropriate ...
D, Offer +3 more
openaire +2 more sources
ACM SIGPLAN Notices, 2010
A student learning how to program learns best when the programming language and programming environment cater to her specific needs. These needs are different from the requirements of a professional programmer. Consequently, the design of teaching languages poses challenges different from the design of professional languages.
Marcus Crestani, Michael Sperber
+4 more sources
A student learning how to program learns best when the programming language and programming environment cater to her specific needs. These needs are different from the requirements of a professional programmer. Consequently, the design of teaching languages poses challenges different from the design of professional languages.
Marcus Crestani, Michael Sperber
+4 more sources
Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, 2000
Academic research sometimes suffers from the “ivory tower” problem: ideas that sound good in theory do not necessarily work well in practice. An example of research that potentially could impact practice over the next few years is a novel set of component-based software engineering design principles, known as the RESOLVE ...
Joseph E. Hollingsworth +2 more
openaire +1 more source
Academic research sometimes suffers from the “ivory tower” problem: ideas that sound good in theory do not necessarily work well in practice. An example of research that potentially could impact practice over the next few years is a novel set of component-based software engineering design principles, known as the RESOLVE ...
Joseph E. Hollingsworth +2 more
openaire +1 more source
1999
PVS is a comprehensive interactive tool for specification and verification combining cui expressive specification language with an integrated suite of tools for theorem proving and model checking. PVS has many academic and industrial users and has been applied to a wide range of verification tjisks. In this note, we summarize some of its applications.
Sam Owre +3 more
openaire +1 more source
PVS is a comprehensive interactive tool for specification and verification combining cui expressive specification language with an integrated suite of tools for theorem proving and model checking. PVS has many academic and industrial users and has been applied to a wide range of verification tjisks. In this note, we summarize some of its applications.
Sam Owre +3 more
openaire +1 more source
ACM SIGPLAN Notices, 2014
We report on our experience teaching a Haskell-based functional programming course to over 1100 students for two winter terms. The syllabus was organized around selected material from various sources. Throughout the terms, we emphasized correctness through QuickCheck tests and proofs by induction.
Jasmin Christian Blanchette +4 more
openaire +1 more source
We report on our experience teaching a Haskell-based functional programming course to over 1100 students for two winter terms. The syllabus was organized around selected material from various sources. Throughout the terms, we emphasized correctness through QuickCheck tests and proofs by induction.
Jasmin Christian Blanchette +4 more
openaire +1 more source
Introduction: Experience Reports
AGILE 2006 (AGILE'06), 2006I love stories. I love hearing them; I love telling them. Stories connect me to ideas in a way that dry recitals of facts and findings never could. Perhaps its my love of stories that makes the experience reports track my favorite at conferences. A great experience report is a story: a personal account of what somebody experienced while trying an idea.
openaire +1 more source
Computer Networks and ISDN Systems, 1986
Abstract NTT has been undertaking thorough studies aimed at the establishment of a new comprehensive telecommunications network for the 21st century, called the Information Network System (INS). The INS is expected to play an important role in the infrastructure of the advanced information society of the future.
openaire +1 more source
Abstract NTT has been undertaking thorough studies aimed at the establishment of a new comprehensive telecommunications network for the 21st century, called the Information Network System (INS). The INS is expected to play an important role in the infrastructure of the advanced information society of the future.
openaire +1 more source