|
Search the dblp DataBase
James F. Leathrum:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Paul S. Miner, James F. Leathrum
Verification of IEEE Compliant Subtractive Division Algorithms. [Citation Graph (0, 0)][DBLP] FMCAD, 1996, pp:64-78 [Conf]
- James F. Leathrum, K. A. Liburdy
A formal approach to requirements based testing in open systems standards. [Citation Graph (0, 0)][DBLP] ICRE, 1996, pp:94-101 [Conf]
- G. Deshmukh, R. Deshpande, James F. Leathrum, K. A. Liburdy
The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report. [Citation Graph (0, 0)][DBLP] ICSE, 1994, pp:233-240 [Conf]
- James L. Crowley, James F. Leathrum, K. A. Liburdy
Issues in the Full Scale Use of Formal Methods for Automated Testing. [Citation Graph (0, 0)][DBLP] ISSTA, 1996, pp:71-78 [Conf]
- James F. Leathrum, K. A. Liburdy
The Evolving Role of Testing in Open Systems Standards. [Citation Graph (0, 0)][DBLP] ITC, 1993, pp:273-274 [Conf]
- James F. Leathrum, K. A. Liburdy
Automated Testing of Open Software Standards. [Citation Graph (0, 0)][DBLP] ITC, 1993, pp:854-858 [Conf]
- Richard M. Weatherly Jr., James F. Leathrum
Efficient Semaphore Management Using Read/Modify/Write Memory Cycles. [Citation Graph (0, 0)][DBLP] Operating Systems Review, 1982, v:16, n:1, pp:10-13 [Journal]
- Geoffrey George, James F. Leathrum
Orthogonality of Concerns in Module Closure. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1985, v:15, n:2, pp:119-130 [Journal]
- James F. Leathrum
A Design Medium for Software. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1982, v:12, n:6, pp:497-503 [Journal]
Search in 0.002secs, Finished in 0.003secs
|