|
Journals in DBLP
- Christopher A. Welty, Michael R. Lowry, Yves Ledru
Guest Editorial. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 1999, v:6, n:4, pp:327-328 [Journal]
- Alessandro Armando, Alan Smaill, Ian Green
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 1999, v:6, n:4, pp:329-356 [Journal]
- Jean-Francois Girard, Rainer Koschke, Georg Schied
A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 1999, v:6, n:4, pp:357-386 [Journal]
- Houari A. Sahraoui, Hakim Lounis, Walcélio L. Melo, Hafedh Mili
A Concept Formation Based Approach to Object Identification in Procedural Code. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 1999, v:6, n:4, pp:387-410 [Journal]
- Renaud Marlet, Scott Thibault, Charles Consel
Efficient Implementations of Software Architectures via Partial Evaluation. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 1999, v:6, n:4, pp:411-440 [Journal]
- David Stuart Robertson
Desert Island Column: The Books Don't Work. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 1999, v:6, n:4, pp:441-443 [Journal]
|