Qualified Data Flow Problems
- L. Howard Holley
- Barry K. Rosen
- 1981
- IEEE Transactions on Software Engineering
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
97 results at IEEE Transactions on Software Engineering
Communication Issues in the Design and Analysisof Parallel Algorithms
- Tilak Agerwala
- 1981
- IEEE Transactions on Software Engineering
Formal Grammar and Human Factors Design of an Interactive Graphics System
- Phyllis Reisner
- 1981
- IEEE Transactions on Software Engineering
Collision-Free Access Control for Computer Communication Bus Networks
- Gerald S. Shedler
- V. Carl Hamacher
- 1981
- IEEE Transactions on Software Engineering
An alternative to the rayleigh curve model for software development effort
- F.N. Parr
- 1980
- IEEE Transactions on Software Engineering
Subsystems of processes with deadlock avoidance
- David B. Lomet
- 1980
- IEEE Transactions on Software Engineering
Program Correctness: On Inductive Assertion Methods
- James C. King
- 1980
- IEEE Transactions on Software Engineering