Issue 4 • Date Dec. 1976
Filter Results
-
IEEE Transactions on Software Engineering - Table of contents
|
PDF (385 KB)
-
IEEE Computer Society
|
PDF (208 KB)
-
Guest Editorial
|
PDF (1464 KB)
-
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs
|
PDF (2496 KB)
-
Induction as the Basis for Program Verification
|
PDF (3984 KB)
-
-
Software Development
|
PDF (4176 KB)
-
Software Engineering and Structured Programming
|
PDF (2096 KB)
-
-
-
On the Automated Generation of Program Test Data
|
PDF (2616 KB)
-
-
A Complexity Measure
|
PDF (2416 KB)
-
-
Acknowledgment of Referees
|
PDF (102 KB)
-
1976 Index IEEE Transactions on Software Engineering Vol. SE-2
|
PDF (605 KB)
-
IEEE Computer Society Publications
|
PDF (152 KB)
-
if your computer engineering library doesn't subscribe to all 3 it's not complete.
|
PDF (1283 KB)
Aims & Scope
The IEEE Transactions on Software Engineering is an archival journal published monthly. We are interested in well-defined theoretical results and empirical studies that have potential impact on the construction, analysis, or management of software.
Meet Our Editors
Editor-in-Chief
Bashar Nuseibeh
Lero - The Irish Software Engineering Research Centre
University of Limerick


