• The Software articles aim to make practitioners aware of research ideas that they might be able to apply. These articles don't communicate the research results as completely as a normal research paper would.
• The TSE papers do communicate the research results. We considered a paper to make a valid contribution if it showed how to apply known results to the problem of inspecting software for suitability (fitness for use). The papers are intended for people who are willing to read detailed, careful research papers.
• Nothing is overlooked
• The inspected components' correctness implies the whole product's correctness
• You can inspect the code itself, not just abstract models of it.
• Inspection doesn't require as substantial a training investment as verification.
• Inspection doesn't require the time and the formula manipulation ability that verification of typical programs does.
David L. Parnas is the director of the Software Quality Research Laboratory, a Science Foundation Ireland Fellow, and a professor of software engineering at the University of Limerick. He is also on leave from McMaster University. He is interested in most aspects of computer system design. He received his PhD in electrical engineering from Carnegie Mellon University and is licensed as a professional engineer in Ontario, Canada. He is a fellow of the Royal Society of Canada and of the ACM, a senior member of the IEEE, and a member of the IEEE Computer Society. Contact him at the Dept. of Computer Science and Information Systems, Univ. of Limerick, Limerick, Ireland; email@example.com.
Mark Lawford is an assistant professor in McMaster University's Department of Computing and Software, where he is helping to develop and teach the software engineering programs. His research interests include discrete-event systems and the practical application of formal methods to real-time systems. He received his PhD in electrical and computer engineering from the University of Toronto. He is a member of the IEEE Control Systems Society and the IEEE Computer Society. Contact him at the Software Quality Research Laboratory, Dept. of Computing and Software, McMaster Univ., 1280 Main St. West, Hamilton, ON L8S 4K1, Canada.