Albert L. Baker

According to our database, Albert L. Baker authored at least 14 papers between 1979 and 2006.

Collaborative distances:

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

2006

Preliminary design of JML: a behavioral interface specification language for java.

Gary T. Leavens, Albert L. Baker, Clyde Ruby

ACM SIGSOFT Softw. Eng. Notes, 2006

2000

Executing Formal Specifications with Concurrent Constraint Programming.

Tim Wahls, Gary T. Leavens, Albert L. Baker

Autom. Softw. Eng., 2000

1999

Formal Semantics for SA Style Data Flow Diagram Specification Languages.

Gary T. Leavens, Tim Wahls, Albert L. Baker

Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Enhancing the Pre- and Postcondition Technique for More Expressive Specifications.

Gary T. Leavens, Albert L. Baker

Proceedings of the FM'99 - Formal Methods, 1999

JML: A Notation for Detailed Design.

Gary T. Leavens, Albert L. Baker, Clyde Ruby

Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1997

Synthesizing Structured Analysis and Object-Based Formal Specifications.

David L. Coleman, Albert L. Baker

Ann. Softw. Eng., 1997

1991

Deliberations on Kung's process interface modeling.

David L. Coleman, Albert L. Baker

J. Syst. Softw., 1991

1990

A philosophy for software measurement.

Albert L. Baker, James M. Bieman, Norman E. Fenton, David A. Gustafson, Austin Melton, Robin W. Whitty

J. Syst. Softw., 1990

A mathematical perspective for software measures research.

Austin C. Melton, David A. Gustafson, James M. Bieman, Albert L. Baker

Softw. Eng. J., 1990

1989

Rigorous definition and analysis of program complexity measures: An example using nesting.

James W. Howatt, Albert L. Baker

J. Syst. Softw., 1989

1988

A standard representation of imperative language programs for data collection and software measures specification.

James M. Bieman, Albert L. Baker, Paul N. Clites, David A. Gustafson, Austin Melton

J. Syst. Softw., 1988

The software process model.

David A. Gustafson, Austin C. Melton, Ying-Chi Chen, Albert L. Baker, James M. Bieman

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1980

A Comparison of Measures of Control Flow Complexity.

Albert L. Baker, Stuart H. Zweben

IEEE Trans. Software Eng., 1980

1979

The Use of Software Science in Evaluating Modularity Concepts.

Albert L. Baker, Stuart H. Zweben

IEEE Trans. Software Eng., 1979