dblp.uni-trier.dewww.uni-trier.de

Albert L. Baker Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
11EEGary 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
9EEGary T. Leavens, Tim Wahls, Albert L. Baker: Formal Semantics for SA Style Data Flow Diagram Specification Languages. SAC 1999: 526-532
8EEGary 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
6EEDavid L. Coleman, Albert L. Baker: Deliberations on Kung's process interface modeling. Journal of Systems and Software 15(2): 193-198 (1991)
1990
5EEAlbert 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
4EEJames 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
3EEJames 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)

Coauthor Index

1James M. Bieman [3] [5]
2Paul N. Clites [3]
3David L. Coleman [6] [7]
4Norman E. Fenton [5]
5David A. Gustafson [3] [5]
6James W. Howatt [4]
7Gary T. Leavens [8] [9] [10] [11]
8Austin Melton [3] [5]
9Clyde Ruby [11]
10Tim Wahls [9] [10]
11Robin W. Whitty (R. W. Whitty) [5]
12Stuart H. Zweben (Stu Zweben) [1] [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)