Shawn Koppenhoefer

Learn More
CONTEXT For evidence-based practice to embed culturally in the workplace, teaching of evidence-based medicine (EBM) should be clinically integrated. In low-middle-income countries (LMICs) there is a scarcity of EBM-trained clinical tutors, lack of protected time for teaching EBM, and poor access to relevant databases in languages other than English. (More)
The concept of event-based behavioral abstraction (EBBA) is shown to facilitate the Design For Testability (DFT) if the set of events is well-chosen. We provide a prede ned set of events which, together with linear-time temporal logic, can be used for expressing behavioral properties in object-oriented distributed systems. This allows automizing several(More)
Until the late 1970’s, introducing new services in a telephone network was a slow and difficult process, requiring the modification of switch’s software spread all over the network. Customers might not have been happy with their dependence on their operator but they had little choice in the matter. The operators may not have been happy with their dependence(More)
In this work we address the problem of supporting the QoS requirements for appli cations while e ciently allocating the network resources We analyse this problem at the source node where the tra c pro le is negotiated with the network and the tra c is shaped according to the contract We advocate VBR renegotiation as an e cient mechanism to accommodate traf(More)
Based on the notion of event-based behavioral abstraction (EBBA) we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are then observed at system run-time and it is checked whether or not the system violates the speciied behavioral constraints. In our approach, several steps in the testing process can(More)
  • 1