Albert L. Baker

Publication Activity (10 Years)

Years Active: 1979-2006
Publications (10 Years): 0

Publications

Gary T. Leavens, Albert L. Baker, Clyde Ruby
Preliminary design of JML: a behavioral interface specification language for java. ACM SIGSOFT Softw. Eng. Notes 31 (3) (2006)
Tim Wahls, Gary T. Leavens, Albert L. Baker
Executing Formal Specifications with Concurrent Constraint Programming. Autom. Softw. Eng. 7 (4) (2000)
Gary T. Leavens, Tim Wahls, Albert L. Baker
Formal Semantics for SA Style Data Flow Diagram Specification Languages. SAC (1999)
Gary T. Leavens, Albert L. Baker
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications. World Congress on Formal Methods (1999)
David L. Coleman, Albert L. Baker
Synthesizing Structured Analysis and Object-Based Formal Specifications. Ann. Softw. Eng. 3 (1997)
David L. Coleman, Albert L. Baker
Deliberations on Kung's process interface modeling. J. Syst. Softw. 15 (2) (1991)
Austin C. Melton, David A. Gustafson, James M. Bieman, Albert L. Baker
A mathematical perspective for software measures research. Softw. Eng. J. 5 (5) (1990)
Albert L. Baker, James M. Bieman, Norman E. Fenton, David A. Gustafson, Austin Melton, Robin W. Whitty
A philosophy for software measurement. J. Syst. Softw. 12 (3) (1990)
James W. Howatt, Albert L. Baker
Rigorous definition and analysis of program complexity measures: An example using nesting. J. Syst. Softw. 10 (2) (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. J. Syst. Softw. 8 (1) (1988)
David A. Gustafson, Austin C. Melton, Ying-Chi Chen, Albert L. Baker, James M. Bieman
The software process model. COMPSAC (1988)
Albert L. Baker, Stuart H. Zweben
A Comparison of Measures of Control Flow Complexity. IEEE Trans. Software Eng. 6 (6) (1980)
Albert L. Baker, Stuart H. Zweben
A comparison of measures of control flow complexity. COMPSAC (1979)
Albert L. Baker, Stuart H. Zweben
The Use of Software Science in Evaluating Modularity Concepts. IEEE Trans. Software Eng. 5 (2) (1979)