Albert L. Baker

Gary T. Leavens, Albert L. Baker, Clyde Ruby: Preliminary design of JML: a behavioral interface specification language for java. ACM SIGSOFT Software Engineering Notes 31(3): 1-38 (2006)

Tim Wahls, Gary T. Leavens, Albert L. Baker: Executing Formal Specifications with Concurrent Constraint Programming. Autom. Softw. Eng. 7(4): 315-343 (2000)

Gary T. Leavens, Albert L. Baker: Enhancing the Pre- and Postcondition Technique for More Expressive Specifications. World Congress on Formal Methods 1999: 1087-1106

Gary T. Leavens, Tim Wahls, Albert L. Baker: Formal Semantics for SA Style Data Flow Diagram Specification Languages. SAC 1999: 526-532

David L. Coleman, Albert L. Baker: Synthesizing Structured Analysis and Object-Based Formal Specifications. Ann. Software Eng. 3: 221-253 (1997)

David L. Coleman, Albert L. Baker: Deliberations on Kung's process interface modeling. Journal of Systems and Software 15(2): 193-198 (1991)

Albert L. Baker, James M. Bieman, Norman E. Fenton, David A. Gustafson, Austin Melton, Robin W. Whitty: A philosophy for software measurement. Journal of Systems and Software 12(3): 277-281 (1990)

James W. Howatt, Albert L. Baker: Rigorous definition and analysis of program complexity measures: An example using nesting. Journal of Systems and Software 10(2): 139-150 (1989)

James M. Bieman, Albert L. Baker, Paul N. Clites, David A. Gustafson, Austin Melton: A standard representation of imperative language programs for data collection and software measures specification. Journal of Systems and Software 8(1): 13-37 (1988)

Albert L. Baker, Stuart H. Zweben: A Comparison of Measures of Control Flow Complexity. IEEE Trans. Software Eng. 6(6): 506-512 (1980)

Albert L. Baker, Stuart H. Zweben: The Use of Software Science in Evaluating Modularity Concepts. IEEE Trans. Software Eng. 5(2): 110-120 (1979)