Journals in DBLP
Perry Alexander , Pierre Flener Guest Editorial: ASE 2000 Special Issue. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 2003, v:10, n:2, pp:119-120 [Journal ] Robert J. Hall A Supermodel Framework Supporting Validated Upgrading of Reactive Systems. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 2003, v:10, n:2, pp:121-155 [Journal ] H. M. Harmain , Robert J. Gaizauskas CM-Builder: A Natural Language-Based CASE Tool for Object-Oriented Analysis. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 2003, v:10, n:2, pp:157-181 [Journal ] Guido Malpohl , James J. Hunt , Walter F. Tichy Renaming Detection. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 2003, v:10, n:2, pp:183-202 [Journal ] Willem Visser , Klaus Havelund , Guillaume P. Brat , Seungjoon Park , Flavio Lerda Model Checking Programs. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 2003, v:10, n:2, pp:203-232 [Journal ] Gerhard Fischer Desert Island: Software Engineering - A Human Activity. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 2003, v:10, n:2, pp:233-237 [Journal ]