Results for:
"
Gary+Yukl&action
" in Documents
- Caring for the urban American Indian patient.
-
Rating:
Views: (1)
Pages: ()
Uploaded: 1981-5-1
- Leader LPC scores: attitude dimensions and behavioral correlate.
-
Rating:
Views: (2)
Pages: ()
Uploaded: 1970-4-1
- Granulocytes, including neutrophils, synthesize IL-10 after traumatic ...
-
Rating:
Views: (1)
Pages: ()
Uploaded: 2000-1-27
- Transient monocyte release of interleukin-10 in response to traumatic ...
- A significant component of the immune response to trauma results in the systemic presence of cytokines which have the potential to suppress the patient's immune response to infection and contribute to...
-
Rating:
Views: (1)
Pages: ()
Uploaded: 1999-9-1
- Specifying and Verifying Object-Oriented Programs An Overview of the P...
- data types, procedures, functions, and subroutines; F.3.1 [Logics and Meanings of Programs] Specifying and verifying and reasoning about programs --- logics of programs, pre- and post-conditions, spec...
-
Rating:
Views: (1013)
Pages: ()
Uploaded: 13-05-09
- Reasoning About Oject-Oriented Programs That Use Subtypes 1990
- ) Gary T. Leavens and William E. Weihl TR #90-03b March, 1990 (Revised July, 1990) This paper is a revision of TR #90-03. It will appear in the ECOOP/OOPSLA '90 Proceedings. Keywords: verification, sp...
-
Rating:
Views: (1011)
Pages: ()
Uploaded: 13-05-09
- Enhancing the Pre- and Postcondition Technique for More Expressive Spe...
- We describe enhancements to the pre- and postcondition technique that help specifications convey reuse contracts more effectively. Some enhancements also allow one to specify redundant information tha...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Table of Contents 2004
- 2. Capability Maturity Model??????????????????. 3
-
Rating:
Views: (1021)
Pages: ()
Uploaded: 08-04-09