Learn More
1. ABSTRACT It is possible to teach architectural-level issues as early as CSl/CS2. But the ultimate success of this approach hinges in part on the availability of appropriate tools to assist students in building the right mental models of the development and composition of software systems. 1.1 Keywords Software engineering education and training, software(More)
AIM Coeliac disease is characterized by oral manifestations, such as dental enamel defects and recurrent oral aphthae. In this study we compared the prevalence of enamel defects and recurrent aphthous stomatitis (RAS) between patients diagnosed with coeliac disease and healthy controls. METHODS A total of 72 patients with coeliac disease were studied(More)
Leukocyte- and platelet-rich fibrin (L-PRF) is a biomaterial commonly used in periodontology and implant dentistry to improve healing and tissue regeneration, particularly as filling material in alveolar sockets to regenerate bone for optimal dental implant placement. The objective of this work was to evaluate the use of L-PRF as a safe filling and(More)
This paper proposes an initial catalog of easy-to-state, relatively simple , and incrementally more and more challenging benchmark problems for the Verified Software Initiative. These benchmarks support assessment of verification tools and techniques to prove total correctness of functionality of sequential object-based and object-oriented software. The(More)
a funder's repository at a funder's request, provided it is not made publicly available until 12 months after publication. Abstract. A central objective of the verifying compiler grand challenge is to develop a pushbutton verifier that generates proofs of correctness in a syntax-driven fashion similar to the way an ordinary compiler generates machine code.(More)
First-year computer science students need to see clearly that computer science as a discipline has an important intellectual role to play and that it offers deep philosophical questions, much like the other hard sciences and mathematics; that CS is not "just programming". An appropriate intellectual focus for CS1/CS2 can be built on the foundations of(More)
When teaching certain CS topics (e.g., abstract data types, operating systems), the instructor tries to make clear the distinction between the "client" perspective and the "implementer" perspective. But when teaching some programming language features and related programming techniques, this dichotomy often is not respected as strongly as it should be. We(More)