1. Parnas, D.L., Licensing Software
Engineers in Canada, Communications of the ACM,
45 11, November 2002, pp.96-98.
2. Parnas, D.L., "Give Meaning to the
Status of Software Engineer" (Forum letter), Communications
of the ACM, vol. 46 No. 3, March 2003, pp.12-13.
3. Parnas, D.L., "Structured Programming:
A Minor Part of Software Engineering" in J. Madey
(ed.), Proceedings of an International Workshop: "Structured
Programming: The Hard Core Software Engineering",
ETAPS'03, Warsaw, 6 April 2003.
4. Parnas, D.L., Lawford, M., "Inspection's
Role in Software Quality Assurance", IEEE Software,
Focus - Guest Editor's Introduction, Vol. 20, No. 4, July/August
2003, pp. 16-20. Linked to item 5.
5. Parnas, D.L, Lawford, M., "The Role
of Inspection in Software Quality Assurance", IEEE
Transactions on Software Engineering, - Guest Editor's
Introduction, Vol. 29. No. 8, August 2003, pp. 674-676.
Linked to item 4.
6. Parnas, D.L., The Limits of Empirical
Studies of Software Engineering, Proceedings of the 2003
International Symposium of Empirical Software Engineering,
IEEE Computer Society, pp. 2-5, 30 September 2003.
7. Parnas, D.L., "Structured Programming:
A Minor Part of Software Engineering", Information
Processing Letters (Elsevier) 88 (2003) pp. 55-58. Revised
version of item 3.
8. Hodnigg, K., Clermont M., and Mittermeir,
R. "Computational Models of Spreadsheet-Development
as a Basis for Educational Approaches", Proceedings
of the 4th Annual Conference of the EUSPRIG, Klagenfurt,
pp. 153-168, July 2004.
9. Clermont, M., "A Toolkit for Scalable
Spreadsheet Visualization", Proceedings of the 4th
Annual Conference of the EUSPRIG, Klagenfurt, pp. 95-106,
July 2004.
10. Dragomiroiu, M., Parnas, D.L., and Clermont,
M., "On Variabilities in Program Families", Proceedings of the First International Product Line Young
Researchers Workshop, Boston, pp. 20-29, August 2004.
11. Krishna, A., Ghose, A. K., Vilkomir,
S., "Co-Evolution of Complementary Formal and Informal
Requirements", Proceedings of 7th International Workshop
on Principles of Software Evolution (IWPSE'04), September
06 - 07, 2004, Kyoto, Japan, pp. 159-164.
12. Hong, D., "A Comparative Study of Pre/Post Condition and Relational Approaches to Program Development", December 2004, SQRL Report No. 24.
13. Xiao-Hui J., "Use Of Tabular Expressions in the Inspection of Concurrent Programs", December 2004, SQRL Report No. 25, 2005.
14. Baber, R., Parnas, D., Vilkomir, S.,
Harrison, P., O'Connor, T., "Disciplined
Methods of Software Specifications: A Case Study", Proceedings of the International Conference on Information
Technology Coding and Computing (ITCC 2005), April 4-6,
2005, Las Vegas, NV, USA, IEEE Computer Society.
15. Clermont, M., David L. Parnas, "Using Information about Functions in Selecting Test Cases", ICSE 2005 Workshop on Advances in Model-Based Software Testing (A-MOST) St. Louis, Missouri - USA, May 15-16, 2005, IEEE Computer Society.
16. Clermont, M., "Heuristics for the Automatic identification of Irregularities in Spreadsheets", Proceedings of the First Workshop on End-User Software Engineering (WEUSE 2005) in conjunction with ICSE, St. Louis, Missouri - USA, May 21st, 2005, IEEE Computer Society.
17. Rusovan, S., Lawford M., Parnas, D.L., "Open Source Software Development: Future or Fad?", in Feller, J. Fitzgerald, B, Hissan, S.A., Lakhami, K.R. (eds.) Perspectives on Free and Open Source Software, MIT Press, 2005, Cambridge, Massachusetts, USA.
18. Baber, Robert L., "Practical Guidelines for Constructing and Simplifying Tables for Finite State Machines (FSMs) and Trace Functions (TFs)", SQRL Paper, June 14 2005.
19. Krishna, A., Ghose, A., Vilkomir, S.,"'Loosely-coupled' Consistency Between Agent-oriented Conceptual Models and Z Specifications", Proceedings of the Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE '05), July 14-16, 2005, Taipei, Taiwan, Republic of China.
20. Vilkomir, S.A., Parnas, D.L., Mendiratta, V.B., Murphy, E., "Availability Evaluation of Hardware/software Systems with Several Recovery Procedures", Proceedings of the International Computer Software and Applications Conference (COMPSAC), Edinburgh, Scotland, July 25-28, 2005, IEEE Computer Society, pp. 473-478.
21. Parnas, D.L., "A Family of Mathematical Methods for Professional Software Documentation", Integrated Formal Methods:Proceedings of the 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November/December 2005.
22. Mittermeir, R. T., Clermont, M., Hodnigg, K., "Protecting
Spreadsheets Against Fraud", Proceedings of the 5th Annual
Conference of the EUSPRIG, Greenwich, 2005.
23. Vilkomir, S., A., Tips, P., Parnas, D, L., Monahan, J., O'Connor, T., "Evaluation of Automated Testing Coverage: a Case Study of Wireless Secure Connection Software Testing", Proceedings of the 16th IEEE International Symposium on
Software Engineering Reliability (ISSRE 2005), November 8-11, 2005, Chicago,
Illinois, USA, pp. 3.123-3.134.
24. Vilkomir, S., A., Parnas, D., L., Mendiratta, V., B., Murphy E.,Segregated Failure Model for Availability Evaluation of Fault-Tolerant Systems",Proceedings of the 29th Australasian Computer Science Conference (ACSC 2006), Tasmania, Hobart, Australia, January 16 - 19, 2006, CRPIT vol. 48, ACS, pp. 55-61.
25. Sergiy A. Vilkomir and Jonathan P. Bowen. "From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria", Formal Aspects of Computing, Vol. 18, Num. 1, March 2006, pp. 42-62. DOI: 10.1007/s00165-005-0084-7
26. Vera Pantelic (Master's Thesis under Supervisor Prof. David Parnas), 'Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking' McMaster University, Canada, 2006.
27. Parnas, D. L., Dragomiroiu, M., "Module Interface Documentation - Using the Trace Function Method (TFM)", SQRL Paper, 2006, available for review.
28. Balaban, A., Bane, D., Jin, Y., Parnas, D.L. "Mathematical Model of Tabular Expressions", SQRL Paper, 2006, available for review.
29. Sergiy Vilkomir, Jonathan Bowen and Aditya Ghose. "Formalization and assessment of regulatory requirements for safety-critical software. Innovations in Systems and Software Engineering - A NASA Journal, Volume 2, Number 3, September 2006.
30. Sergiy Vilkomir, Jonathan Bowen and Aditya Ghose. "Formalization and assessment of regulatory requirements for safety-critical software. Innovations in Systems and Software Engineering - A NASA Journal, Volume 2, Numbers 3 - 4, December 2006, pp. 165-178.
31. Colm Quinn, Sergiy Vilkomir, David Parnas and Srdjan Kostic. Specification of Software Component Requirements Using the Trace Function Method. Proceeding of the International Conference on Software Engineering Advances (ICSEA 2006), October 29 - November 1, 2006, Tahiti, French Polynesia.
32. Sergiy A. Vilkomir. Using MC/DC and RC/DC criteria for specification-based testing of safety-critical software. Radio-electronic and Computer Systems journal (Ukraine), Vol. 6 (18), 2006, pp. 130-135.
33. V. Pantelic, X. Jin, M. Lawford, and D. Parnas, "Inspection of concurrent systems: Combining tables, theorem proving and model checking," in SERP'06: Proceedings of the International Conference on Research and Practice, vol. 2, (Las Vegas, Nevada, USA), pp. 629-635, 2006.
34. Parnas, D.L. Component Interface Documentation-What do we Need and Why do we Need it, New Trends in Software Methodologies, Tools and Techniques, Edited by Hamido Fujita and Mohamed Mejri, ISO Press 2006, pp.3-21
35. Colm Quinn, Sergiy Vilkomir, David Parnas and Srdjan Kostic. "Specification of Software Component Requirements Using the Trace Function Method."Processing of the International Conference on Software Engineering Advances (ICSEA 2006), October 29-November 1, 2006, Tahiti, French Polynesia.
36. Parnas, D.L., Agile Methods and GSD: "The Wrong Solution to an Old but Real Problem" Communications of the ACM, VOL. 49, No.10, Octover 2006, pg. 19.
37. Parnas, D.L., "Software Product Lines: What To Do When Enumeration Won't Work" Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, January 16-18 2007, Limerick, Ireland.
38. Baltasar Trancon y Widemann, David Lorge Parnas. Tabular Expressions and Total Functional Programming. 25th Workshop "GI - Fachgruppe Programmiersprachen" '07, Bad Honnef, Germany.
39. Sergiy A. Vilkomir and Jonathan P. Bowen. From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria in Formal methods and testing”. Springer-Verlag, LNCS, 2007.
40. R. M. Hierons, K. Bogdanov, J. P. Bowen, R. Cleaveland, J. Derrick, J. Dick, M. Gheorghe, M. Harman, K. Kapoor, P. Krause, G. Luettgen, A. J. H. Simons, S. A. Vilkomir, M. R. Woodward and H. Zedan. Working Together: Formal Methods and Testing, to appear in ACM Computing Surveys, 2007.
41. Parnas, D.L., Vilkomir, S.A,. Using Precise Documentation to Improve the Trustworthiness of Critical Software. "Radioelectronic and Computer Systems"journal (Ukraine), Vol. 8 (27), 2007, pp. 163-172.
42. Arbuckle, T. Balaban, A., Lawford, M. and Peters, D. K. Studying Software Evolution by Measuring Similarity, Int'l Workshop On Principles of Software Evolution (http://iwpse2007.inf.unisi.ch/).
43. Dennis Peters, Mark Lawford, Baltasar Trancon y Widemann, "Software Specification Using Tabular Expressions and OMDoc", Mathematical Knowledge Management 2007, RISC, Hagenberg, Austria 27-30 June 2007.
44. Tom Arbuckle, Adam Balaban, Dennis K. Peters, and Mark Lawford, "Software Documents: Comparison and Measurement" SEKE'2007: The Nineteenth International Conference on Software Engineering and Knowledge Engineering, Hyatt Harborside at Logan Int'l Airport, Boston, USA July 9 - July 11, 2007.
45. Dennis K. Peters, Mark Lawford, Baltasar Trancon y Widemann,"An IDE for Software Development Using Tabular Expressions", CASCON 2007, Sheraton Parkway Toronto North Hotel and Convention Centre Richmond Hill, ON, October 22 - 25, 2007.
46. X. Feng, D.L. Parnas and T.H. Tse, "Tabular Expression-Based Testing Strategies: A Comparison" in Poster Track of Proceedings of the Testing - Academic and Industrial Conference - Practice and Research Techinques (TAIC PART 2007), IEEE Computer Society, Los Alamitos, CA (2007).
47. Xiayong Hu, Mark Lawford & Alan Wassygn "Formal Verification of implementability of timing requirements", Automated Reasoning Workshop 2007, Department of Computing, Imperial College, London, 19th-20th April 2007.
48. D.L. Parnas, Sergiy Vilkomir,"Precise Documentation of Critical Software", Proceedings H.A.S.E. 2007, Tenth IEEE International Symposium on the High Assurance Systems Engineering, Dallas, Texas, 14th - 16th November 2007.
49. D.L. Parnas, Xin Feng and T.H. Tse, "Fault propagation in tabular expression-based specifications", in Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), vol. 1, IEEE Computer Society Press, Los Alamitos, CA (2008).
50. D.L. Parnas, Baltasar Trancon y Widemann "Tabular Expressions and Total Functional Programming" In Olaf Chitil et al. (Eds.): Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, Freiburg, Germany, September 27-29, 2007, Revised Selected Papers. Lecture Notes in Computer Science,Springer, to appear
