|
Journals in DBLP
- Alan M. Davis, Peter Freeman
Guest Editors' Introduction Requirements Engineering. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1991, v:17, n:3, pp:210-211 [Journal]
- Pamela Zave
An Insider's Evaluation of PAISLey. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1991, v:17, n:3, pp:212-225 [Journal]
- Howard B. Reubenstein, Richard C. Waters
The Requirements Apprentice: Automated Assistance for Requirements Acquisition. [Citation Graph (5, 0)][DBLP] IEEE Trans. Software Eng., 1991, v:17, n:3, pp:226-240 [Journal]
- Matthew S. Jaffe, Nancy G. Leveson, Mats Per Erik Heimdahl, Bonnie E. Melhart
Software Requirements Analysis for Real-Time Process-Control Systems. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1991, v:17, n:3, pp:241-258 [Journal]
- Bernard Berthomieu, Michel Diaz
Modeling and Verification of Time Dependent Systems Using Time Petri Nets. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1991, v:17, n:3, pp:259-273 [Journal]
- Farhad S. Etessami, Gurdeep S. Hura
Rule-Based Design Methodology for Solving Control Problems. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1991, v:17, n:3, pp:274-282 [Journal]
- Dewayne E. Perry, Gail E. Kaiser
Models of Software Development Environments. [Citation Graph (1, 0)][DBLP] IEEE Trans. Software Eng., 1991, v:17, n:3, pp:283-295 [Journal]
- Ghassan Z. Qadah, Lawrence J. Henschen, Jung J. Kim
Efficient Algorithms for the Instantiated Transitive Closure Queries. [Citation Graph (7, 0)][DBLP] IEEE Trans. Software Eng., 1991, v:17, n:3, pp:296-309 [Journal]
- Fevzi Belli, Piotr Jedrzejowicz
An Approach to the Reliability Optimization of Software with Redundancy. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1991, v:17, n:3, pp:310-312 [Journal]
|