Issue 8 • Date Aug. 1985
Filter Results
-
IEEE Transactions on Software Engineering - Table of contents
|
PDF (486 KB)
-
IEEE Computer Society
|
PDF (208 KB)
-
-
Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
|
PDF (4120 KB)
-
-
Extending State Transition Diagrams for the Specification of Human–Computer Interaction
|
PDF (3976 KB)
-
-
-
-
Towards a Theory of Forward Error Recovery
|
PDF (3336 KB)
-
-
-
Synthesizing Code for Resource Controllers
|
PDF (3352 KB)
-
Symbolic Semantics and Program Reduction
|
PDF (3168 KB)
-
-
-
-
-
Correction to "A Concurrency Measure"
|
PDF (224 KB)
-
Call for papers
|
PDF (131 KB)
-
Tutorial Week Washington 1985
|
PDF (224 KB)
-
IEEE Computer Society Publications
|
PDF (240 KB)
-
Beyond the Basics: A Software Publication Series for Successful Computer Professionals From the IEEE Computer Society
|
PDF (1072 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


