|
Journals in DBLP
- Dennis K. Peters, David Lorge Parnas
Using Test Oracles Generated from Program Documentation. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1998, v:24, n:3, pp:161-173 [Journal]
- Alistair G. Sutcliffe, Neil A. M. Maiden
The Domain Theory for Requirements Engineering. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1998, v:24, n:3, pp:174-196 [Journal]
- Stan Jarzabek
Design of Flexible Static Program Analyzers with PQL. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1998, v:24, n:3, pp:197-215 [Journal]
- Arcot Sowmya, S. Ramesh
Extending Statecharts with Temporal Logic. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1998, v:24, n:3, pp:216-231 [Journal]
|