Search Results - "Rosenblum, D S"
-
1
A practical approach to programming with assertions
Published in IEEE transactions on software engineering (01-01-1995)“…Embedded assertions have been recognized as a potentially powerful tool for automatic runtime detection of software faults during debugging, testing,…”
Get full text
Journal Article -
2
Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis
Published in IEEE transactions on software engineering (01-01-2013)“…Scalability is a critical concern for many software systems. Despite the recognized importance of considering scalability from the earliest stages of…”
Get full text
Journal Article -
3
Using coverage information to predict the cost-effectiveness of regression testing strategies
Published in IEEE transactions on software engineering (01-03-1997)“…Selective regression testing strategies attempt to choose an appropriate subset of test cases from among a previously run test suite for a software system,…”
Get full text
Journal Article -
4
Yeast: a general purpose event-action system
Published in IEEE transactions on software engineering (01-10-1995)“…Distributed networks of personal workstations are becoming the dominant computing environment for software development organizations. Many cooperative…”
Get full text
Journal Article -
5
Health status and quality of life following cardiac transplantation
Published in Archives of physical medicine and rehabilitation (01-05-1993)“…There is little information regarding the functional status and quality of life of cardiac transplant patients. This investigation is the largest study…”
Get more information
Journal Article -
6
Sequential Expression of New Gene Programs in Inducer T-Cell Clones
Published in Proceedings of the National Academy of Sciences - PNAS (01-07-1983)“…We have prepared a cDNA probe that detects genes that are rapidly and abundantly expressed after exposure of inducer T-lymphocyte clones to antigen or mitogen…”
Get full text
Journal Article -
7
An architecture-based approach to self-adaptive software
Published in IEEE intelligent systems & their applications (01-05-1999)“…Self-adaptive software requires high dependability robustness, adaptability, and availability. The article describes an infrastructure supporting two…”
Get full text
Journal Article -
8
Specifying concurrent systems with TSL
Published in IEEE software (01-05-1991)“…The Task Sequencing Language (TSL), which lets programmers specify constraints on the behavior of concurrent programs, is described. The constraints, specified…”
Get full text
Journal Article -
9
Adolescents and popular culture. A psychodynamic overview
Published in The Psychoanalytic study of the child (1999)“…Adolescents occupy a difficult and seemingly elusive developmental space, which makes them enigmas to most adults, including psychotherapists. Building upon…”
Get more information
Journal Article -
10
Dural spinal cord arteriovenous malformation
Published in Archives of physical medicine and rehabilitation (01-03-1991)“…After multiple hospital admissions and an inpatient rehabilitation stay, a 68-year-old woman was transferred to our rehabilitation facility with a paraparesis…”
Get more information
Journal Article -
11
A Methodology for the Design of Ada Transformation Tools in a DIANA Environment
Published in IEEE software (01-03-1985)“…Implementing and testing transformations incrementally makes DIANA-based Ada software tools easier to debug and more efficient…”
Get full text
Journal Article -
12
Correction to 'A Practical Approach to Programming with Assertions'
Published in IEEE transactions on software engineering (01-03-1995)Get full text
Journal Article -
13
Integrating architecture description languages with a standard design method
Published in Proceedings / International Conference on Software Engineering (1998)“…Software architecture descriptions are high-level models of software systems. Some researchers have proposed special-purpose architectural notations that have…”
Get full text
Conference Proceeding Journal Article -
14
Guest editors' introduction: 1999 international conference on software engineering
Published in IEEE transactions on software engineering (01-02-2001)Get full text
Journal Article -
15
Neuraxial Hematoma and Paralysis After Enoxaparin Administration 3 Days After Attempted Spinal Anesthesia for Total Knee Arthroplasty
Published in The Journal of arthroplasty (01-10-2010)“…Abstract A 69-year-old man underwent a total knee arthroplasty. Spinal anesthesia was attempted, but when unsuccessful, a general anesthesia was given. The…”
Get full text
Journal Article -
16
Poster 12: Lance-Adams Syndrome: Effective Treatment and Functional Improvement with Phenytoin. A Case Report
Published in PM & R (01-09-2009)Get full text
Journal Article -
17
Poster 374: Zoledronic Acid in the Treatment of Immobilization Hypercalcemia in Spinal Cord Injury: A Case Report
Published in PM & R (01-09-2009)Get full text
Journal Article -
18
Towards a method of programming with assertions
Published in International Conference on Software Engineering (01-06-1992)“…Embedded assertions have long been recognized as a Po- tentially powerful tool for automatic runtime detection of software faults during debugging, testing and…”
Get full text
Conference Proceeding -
19
ATLANTO-OCCIPITAL CEREBROSPINAL FLUID COLLECTION IN MACAQUES
Published in Toxicology methods (01-01-1999)“…Cerebrospinal fluid (CSF) evaluation can yield important information in behavioral, pharmacologic, and toxic assessment of the nervous system. Recently…”
Get full text
Journal Article