Found 5 results
Filters: Author is James Kirby Jr  [Clear All Filters]
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. Kirby2007.pdf (1018.32 KB)
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. Kirby2006.pdf (319.81 KB)
Kirby, Jr, J., "Rewriting Requirements for Design", IASTED International Conference on Software Engineering and Applications (SEA) 2002, Cambridge, Massachusetts , 2002. Kirby2002.pdf (274.15 KB)
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. 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. Heitmeyer etal1998b.pdf (897.72 KB)