James F. Leathrum

16 papers A* 1A 3B 1Misc 4Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2024 Misc conf
Investigating the Use of Generative ai in M&S Education.
WSC
James F. Leathrum, Yuzhong Shen, Masha Sosonkina
2023 Misc conf
Teaching Discrete Event Simulation Software Design in The Context of Computer Engineering.
WSC
James F. Leathrum
2021 Misc conf
A New M&S Engineering Program With A Base In Computer Engineering.
WSC
James F. Leathrum, Yuzhong Shen, Oscar R. González
2021 Misc conf
Increased Need for Data Analytics Education in Support of Verification and Validation.
WSC
Christopher J. Lynch, Ross Gore, Andrew J. Collins, T. Steven Cotter, Gayane Grigoryan, James F. Leathrum
1996 — conf
A formal approach to requirements based testing in open systems standards.
ICRE
James F. Leathrum, K. A. Liburdy
1996 A conf
Issues in the Full Scale Use of Formal Methods for Automated Testing.
ISSTA
James L. Crowley, James F. Leathrum, K. A. Liburdy
1996 B conf
Verification of IEEE Compliant Subtractive Division Algorithms.
FMCAD
Paul S. Miner, James F. Leathrum
1995 J jnl
The unsettled world of testing in open systems standards.
ACM Stand.
James F. Leathrum, K. A. Liburdy
1994 J jnl
Automated testing of POSIX standards.
ACM Stand.
James F. Leathrum, K. A. Liburdy
1994 A* conf
The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report.
ICSE
G. Deshmukh, R. Deshpande, James F. Leathrum, K. A. Liburdy
1993 A conf
Automated Testing of Open Software Standards.
ITC
James F. Leathrum, K. A. Liburdy
1993 A conf
The Evolving Role of Testing in Open Systems Standards.
ITC
James F. Leathrum, K. A. Liburdy
1985 J jnl
Orthogonality of Concerns in Module Closure.
Softw. Pract. Exp.
Geoffrey George, James F. Leathrum
1982 J jnl
A Design Medium for Software.
Softw. Pract. Exp.
James F. Leathrum
1982 J jnl
Efficient Semaphore Management Using Read/Modify/Write Memory Cycles.
ACM SIGOPS Oper. Syst. Rev.
Richard M. Weatherly Jr., James F. Leathrum
1973 — conf
Environment primitive operators in programming languages.
ACM Annual Conference
Richard O. Clark, James F. Leathrum