The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Albert L. Baker: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Albert L. Baker, Stuart H. Zweben
    The Use of Software Science in Evaluating Modularity Concepts. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1979, v:5, n:2, pp:110-120 [Journal]
  2. Albert L. Baker, Stuart H. Zweben
    A Comparison of Measures of Control Flow Complexity. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1980, v:6, n:6, pp:506-512 [Journal]
  3. Gary T. Leavens, Albert L. Baker
    Enhancing the Pre- and Postcondition Technique for More Expressive Specifications. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1087-1106 [Conf]
  4. Gary T. Leavens, Tim Wahls, Albert L. Baker
    Formal Semantics for SA Style Data Flow Diagram Specification Languages. [Citation Graph (0, 0)][DBLP]
    SAC, 1999, pp:526-532 [Conf]
  5. David L. Coleman, Albert L. Baker
    Synthesizing Structured Analysis and Object-Based Formal Specifications. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1997, v:3, n:, pp:221-253 [Journal]
  6. Tim Wahls, Gary T. Leavens, Albert L. Baker
    Executing Formal Specifications with Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2000, v:7, n:4, pp:315-343 [Journal]
  7. Albert L. Baker, James M. Bieman, Norman E. Fenton, David A. Gustafson, Austin Melton, Robin W. Whitty
    A philosophy for software measurement. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1990, v:12, n:3, pp:277-281 [Journal]
  8. 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. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1988, v:8, n:1, pp:13-37 [Journal]
  9. David L. Coleman, Albert L. Baker
    Deliberations on Kung's process interface modeling. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1991, v:15, n:2, pp:193-198 [Journal]
  10. James W. Howatt, Albert L. Baker
    Rigorous definition and analysis of program complexity measures: An example using nesting. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1989, v:10, n:2, pp:139-150 [Journal]

Search in 0.013secs, Finished in 0.014secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002