Albert L. Baker

15 papers B 2Misc 1Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2006 J jnl
Preliminary design of JML: a behavioral interface specification language for java.
ACM SIGSOFT Softw. Eng. Notes
Gary T. Leavens, Albert L. Baker, Clyde Ruby
2000 J jnl
Executing Formal Specifications with Concurrent Constraint Programming.
Autom. Softw. Eng.
Tim Wahls, Gary T. Leavens, Albert L. Baker
1999 — conf
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications.
World Congress on Formal Methods
Gary T. Leavens, Albert L. Baker
1999 Misc conf
Formal Semantics for SA Style Data Flow Diagram Specification Languages.
SAC
Gary T. Leavens, Tim Wahls, Albert L. Baker
1999 — ch.
JML: A Notation for Detailed Design.
Behavioral Specifications of Businesses and Systems
Gary T. Leavens, Albert L. Baker, Clyde Ruby
1997 J jnl
Synthesizing Structured Analysis and Object-Based Formal Specifications.
Ann. Softw. Eng.
David L. Coleman, Albert L. Baker
1991 J jnl
Deliberations on Kung's process interface modeling.
J. Syst. Softw.
David L. Coleman, Albert L. Baker
1990 J jnl
A mathematical perspective for software measures research.
Softw. Eng. J.
Austin C. Melton, David A. Gustafson, James M. Bieman, Albert L. Baker
1990 J jnl
A philosophy for software measurement.
J. Syst. Softw.
Albert L. Baker, James M. Bieman, Norman E. Fenton, David A. Gustafson, Austin Melton, Robin W. Whitty
1989 J jnl
Rigorous definition and analysis of program complexity measures: An example using nesting.
J. Syst. Softw.
James W. Howatt, Albert L. Baker
1988 J jnl
A standard representation of imperative language programs for data collection and software measures specification.
J. Syst. Softw.
James M. Bieman, Albert L. Baker, Paul N. Clites, David A. Gustafson, Austin Melton
1988 B conf
The software process model.
COMPSAC
David A. Gustafson, Austin C. Melton, Ying-Chi Chen, Albert L. Baker, James M. Bieman
1980 J jnl
A Comparison of Measures of Control Flow Complexity.
IEEE Trans. Software Eng.
Albert L. Baker, Stuart H. Zweben
1979 B conf
A comparison of measures of control flow complexity.
COMPSAC
Albert L. Baker, Stuart H. Zweben
1979 J jnl
The Use of Software Science in Evaluating Modularity Concepts.
IEEE Trans. Software Eng.
Albert L. Baker, Stuart H. Zweben