|
Journals in DBLP
- Angelo Gargantini, Angelo Morzenti
Automated deductive requirements analysis of critical systems. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 2001, v:10, n:3, pp:255-307 [Journal]
- Dewayne E. Perry, Harvey P. Siy, Lawrence G. Votta
Parallel changes in large-scale software development: an observational case study. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 2001, v:10, n:3, pp:308-337 [Journal]
- Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann
Reasoning about code mobility with mobile UNITY. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 2001, v:10, n:3, pp:338-395 [Journal]
|