Author: John R. Callahan
Publication Overview
Publication period start: 1998
Number of co-authors: 6
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Callahan,
John R.,
Khatsuriya,
Reshma R.,
Hefner,
Randy
(1998):
Web-Based Issue Tracking for Large Software-Projects.
In
IEEE Internet Computing,
2
(5)
pp. 25-33.
Purtilo,
James M.,
Callahan,
John R.
(1989):
Parse Tree Annotations.
In
Communications of the ACM,
32
(12)
pp. 1467-1477.
https://dl.acm.org/doi/10.1145/76380.76387
Easterbrook,
Steve M.,
Callahan,
John R.
(1997):
Formal Methods for V&V of Partial Specifications: An Experience RSeport.
In:
3rd IEEE International Symposium on Requirements Engineering RE97
January 5-8,
1997,
Annapolis, MD, USA.
pp. 160-168.
https://csdl.computer.org/comp/proceedings/re/1997/7740/00/77400160abs.htm
Schneider,
Francis,
Easterbrook,
Steve M.,
Callahan,
John R.,
Holzmann,
Gerard J.
(1998):
Validating Requirements for Fault Tolerant Systems using Model Checking.
In:
3rd International Conference on Requirements Engineering ICRE 98, Putting Requirements Engineering to Practice, April 6-10, 1998, Colorado Springs, CO, USA, Proceedings
,
1998,
.
pp. 4-13.
https://csdl.computer.org/comp/proceedings/icre/1998/8356/00/83560004abs.htm