In this paper we devise some technical tools for dealing with problems connected with the philosophical view usually called mathematical instrumentalism. These tools are interesting in their own right, independently of their philosophical consequences. For example, we show that even though the fragment of Peano’s Arithmetic known as IΣ1 is a conservative extension of the equational theory of Pr...

For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the combination of the CASE tool AutoFocus with the model checker SMV. AutoFocus provides graphical description techniques for system structure and behavior. In AutoFocus, data types are specified in a functional style, whil...

background: we report the analgesic efficacy of lumbar epidural adenosine injection in reducing the chronic neuropathic pain in a patient with primitive neuroectodermal tumor. report of the case: in this case report a 13-year-old male with primary neuroectodermal tumor (pnet) was administered in epidural space with adenosine to reduce his pain. the patient received 10ml of 0.25% ropivacaine and...

A major beneet of object oriented software development is the support for reuse provided by object oriented and object based languages. Yet, measures and measurement tools that quantify such language supported reuse have been lacking. Comprehensive reuse measures, particularly for reuse with modiications, are necessary to evaluate the status of reuse in an organization and to monitor improvemen...