Found 5 results
Filters: Author is James Kirby Jr  [Clear All Filters]
2007
Kirby, Jr, J., A Unified Specification of Behavior for Requirements and Design, , no. NRL/MR/5540--007-9094, Washington, D.C., Naval Research Laboratory, 2007. PDF icon Kirby2007.pdf (1018.32 KB)
2006
Kirby, Jr, J., "Model-Driven Agile Development of Reactive Multi-Agent Systems", 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), Chicago, Illinois, 2006. PDF icon Kirby2006.pdf (319.81 KB)
2002
Kirby, Jr, J., "Rewriting Requirements for Design", IASTED International Conference on Software Engineering and Applications (SEA) 2002, Cambridge, Massachusetts , 2002. PDF icon Kirby2002.pdf (274.15 KB)
1998
Heitmeyer, C. L., J. Kirby, Jr, B. Labaw, and R. Bharadwaj, "SCR*: A Toolset for Specifying and Analyzing Software Requirements", Computer-Aided Verification, 10th Ann. Conf. (CAV'98), Vancouver, BC, Canada, 1998. PDF icon Heitmeyer etal1998.pdf (154.77 KB)
Heitmeyer, C. L., J. Kirby, Jr, B. Labaw, M. Archer, and R. Bharadwaj, "Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications", IEEE Transactions on Software Engineering, vol. 24, issue 11, 1998. PDF icon Heitmeyer etal1998b.pdf (897.72 KB)