Author: John R. Callahan

John R. Callahan

John R. Callahan

Publications

Publication period start: 1989
Publication period end: 1998
Number of co-authors: 6

Co-authors

Number of publications with favourite co-authors
Francis Schneider
1
Gerard J. Holzmann
1
Steve M. Easterbrook
2

Productive Colleagues

Most productive colleagues in number of publications
Francis Schneider
1
Gerard J. Holzmann
4
Steve M. Easterbrook
24

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. http://doi.acm.org/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. http://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. http://csdl.computer.org/comp/proceedings/icre/1998/8356/00/83560004abs.htm