James Kirby Jr.

According to our database, James Kirby Jr. authored at least 4 papers between 1992 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Evidence-based software production.

James Kirby Jr., David M. Weiss, Robyn R. Lutz

Proceedings of the Workshop on Future of Software Engineering Research, 2010

2006

Model-Driven Agile Development of Reactive Multi-Agent Systems.

James Kirby Jr.

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

1999

Applying Formal Methods to an Information Security Device: An Experience Report.

James Kirby Jr., Myla Archer, Constance L. Heitmeyer

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1992

The Core Method for Real-Time Requirements.

Stuart R. Faulk, John W. Brackett, Paul Ward, James Kirby Jr.

IEEE Softw., 1992