2006 |
11 | EE | 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) |
2000 |
10 | | Tim Wahls,
Gary T. Leavens,
Albert L. Baker:
Executing Formal Specifications with Concurrent Constraint Programming.
Autom. Softw. Eng. 7(4): 315-343 (2000) |
1999 |
9 | EE | Gary T. Leavens,
Tim Wahls,
Albert L. Baker:
Formal Semantics for SA Style Data Flow Diagram Specification Languages.
SAC 1999: 526-532 |
8 | EE | Gary T. Leavens,
Albert L. Baker:
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications.
World Congress on Formal Methods 1999: 1087-1106 |
1997 |
7 | | David L. Coleman,
Albert L. Baker:
Synthesizing Structured Analysis and Object-Based Formal Specifications.
Ann. Software Eng. 3: 221-253 (1997) |
1991 |
6 | EE | David L. Coleman,
Albert L. Baker:
Deliberations on Kung's process interface modeling.
Journal of Systems and Software 15(2): 193-198 (1991) |
1990 |
5 | EE | 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) |
1989 |
4 | EE | 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) |
1988 |
3 | EE | 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) |
1980 |
2 | | Albert L. Baker,
Stuart H. Zweben:
A Comparison of Measures of Control Flow Complexity.
IEEE Trans. Software Eng. 6(6): 506-512 (1980) |
1979 |
1 | | Albert L. Baker,
Stuart H. Zweben:
The Use of Software Science in Evaluating Modularity Concepts.
IEEE Trans. Software Eng. 5(2): 110-120 (1979) |