Journal Papers

  1. H. Diab, F. Koukane, M. Frappier, and R. St-Denis. McROSE: automated measurement of COSMIC-FFP for Rational Rose RealTime. Information and Software Technology, 47 (3), 2005, 151-166. doi
  2. R. St-Denis. Capturing design-related decisions in JSD methodology. Information and Software Technology, 33 (7), 1991, 509-517. doi
  3. M. Frappier et R. St-Denis. Transformation partielle de spécifications sous REFINE. ICO, intelligence artificielle et sciences cognitives au Québec, 3 (3), 1991, 19-31.
  4. R. St-Denis. LGV: A domain knowledge validation environment. Computers and Graphics, 14 (2), 1990, 311-320. doi
  5. R. St-Denis et P. N. Robillard. Les outils logiciels de conception de systèmes informatiques : concepts de base et problèmes. INFOR, 26 (2), 1988, 127-152.
  6. R. St-Denis. Les apports de l'intelligence artificielle au génie logiciel. ICO, intelligence artificielle et sciences cognitives au Québec, 1 (1), 1988, 16-22.

Book Chapters

  1. F. Gervais, M. Frappier, and R. St-Denis. EB3. Software Specification Methods, H. Habrias and M. Frappier (Eds) London, UK: ISTE, 2006, 259-274.
  2. M. Frappier and R. St-Denis. Specifying a Cleanroom black box using JSD. Software Specification Methods: An Overview Using a Case Study, M. Frappier and H. Habrias (Eds) London, England: Springer, 2001, 191-205. doi
  3. M. Frappier and R. St-Denis. Combining JSD and Cleanroom for object-oriented scenario specification. Behavioral Specifications of Businesses and Systems, H. Kilov, B. Rumpe, and I. Simmonds (Eds) Boston, MA: Kluwer Academic Publishers, 1999, 61-74. doi
  4. R. St-Denis. Validation de protocoles par exécution visuelle de leur spécification. CFIP'91, Ingénierie des protocoles, Paris, France: Hermès, 1991, 31-50.
  5. R. St-Denis. Difficultés reliées au développement d'un outil logiciel à base de connaissances d'aide à la conception de systèmes informatiques. Informatique cognitive des organisations, Limonest, France: l'Interdisciplinaire, 1989, 373-384.

Lecture Notes in Computer Science

  1. H. Diab, M. Frappier, and R. St-Denis. A formal definition of function points for automated measurement of B specifications. Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October, C. George and H. Miao (Eds) Heidelberg: Springer, 2002, vol. 2495, 483-494. doi

Conference Papers

  1. M. Embe Jiague, M. Frappier, F. Gervais, P. Konopacki, R. Laleau, J. Milhau, and R. St-Denis. A four-concern-oriented secure IS development approach. Proc. of 8th International Joint Conference on e-Business and Telecommunications (ICETE 2011), Seville, Spain, July, 2011, vol. SECRYPT 2011, 464-471.
  2. M. Embe Jiague, M. Frappier, F. Gervais, P. Konopacki, R. Laleau, J. Milhau, and R. St-Denis. Model-driven engineering of functional security policies. Proc. of the 12th International Conference on Enterprise Information Systems (ICEIS 2010), Funchal, Madeira, Portugal, June, 2010, vol. Information Systems Analysis and Specification, 2010, 374-379.
  3. H. Diab, F. Koukane, M. Frappier, and R. St-Denis. McRose: Functional Size Measurement for Rational Rose RealTime. Proc. of the 6th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE 2002), Málaga, Spain, June, 2002, 16-24.
  4. H. Diab, M. Frappier, and R. St-Denis. Formalizing COSMIC-FFP using ROOM. Proc. of the ACS/IEEE International Conference on Computer Systems and Applications, Beirut, Lebanon, June, 2001, 312-318. doi
  5. H. Diab, M. Frappier, and R. St-Denis. A formal definition of COSMIC-FPP for automated measurement of ROOM specifications. Proc. of the 4th European Conference on Software Measurement and ICT Control (FESMA-DASMA 2001), Heidelberg, Germany, May, 2001, 185-196.
  6. M. Frappier and R. St-Denis. Towards a computer aided design of reactive systems. Eight International Conference on Computer Aided Systems Theory and Technology (Eurocast 2001), Las Palmas de Gran Canaria, Spain, February, 2001, 35-37.
  7. R. St-Denis. A formal method for the design of reactive systems. Proc. of the International Conference on Artificial and Computational Intelligence for Decision, Control, and Automation in Engineering and Industrial Applications, Monastir, March, 2000, vol. Software Engineering, 1-6.
  8. H. Diab, M. Frappier, R. St-Denis, and D. Déry. Counting function points from B specifications. International Workshop on Software Measurement (IWSM'99), Lac Supérieur, Canada, September, 1999, 256-279.
  9. S. Labyad, M. Frappier, R. St-Denis et D. Déry. Calcul des points de fonction à partir du diagramme de cas d'utilisation de la notation UML. International Workshop on Software Measurement (IWSM'99), Lac Supérieur, Canada, September, 1999, 216-229.
  10. M. Frappier and R. St-Denis. Specifying information systems using input-output traces and JSD entities. Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Vancouver, October, 1998, vol. TUM-I9820, Technische Universität München, 121-134.
  11. M. Frappier and R. St-Denis. A specification method for cleanroom's black box description. Proc. of the 31st Hawaii International Conference on System Sciences, Kona Coast, HI, January, 1998, vol. VI, 112-121. doi
  12. P. Sylvestre, M. Barbeau, and R. St-Denis. A multimedia on-line assistance system with safe remote control of applications. Proc. of the IEEE Conference on Protocols for Multimedia Systems - Multimedia Networking, Santiago, Chile, November, 1997, 56-61. doi
  13. M. Barbeau and R. St-Denis. A rigorous approach for the specification and development of process-control systems. Proc. of the Sixth International Conference on Software Engineering and its Applications, Paris, November, 1993, 599-608.
  14. V. Côté and R. St-Denis. Bridging the gap between CASE tools and project management through a decision support system based on metrics. Proc. of the 25th Hawaii International Conference on System Sciences, Kauai, HI, January, 1992, vol. III, 300-309. doi
  15. V. Côté and R. St-Denis. A dynamic measurement process for software cost estimation. Proc. of the Fourth International Conference on Software Engineering and its Applications, Toulouse, December, 1991, 803-816.
  16. R. St-Denis. Système d'aide à la décision dans le domaine du génie logiciel. Actes du colloque ICO'91, Montréal, Canada, Avril, 1991, 120-126.
  17. V. Côté and R. St-Denis. Synergy between software metrics and cooperating human groups through software development environments. Fourth International Workshop on Computer-Aided Software Engineering (CASE '90) Advance Working Papers, Irvine, CA, December, 1990, 125.
  18. R. St-Denis. Specification by example using graphical animation and a production system. Proc. of the 23rd Hawaii International Conference on System Sciences, Kailua-Kona, HI, January, 1990, vol. II, 237-246. doi
  19. V. Côté et R. St-Denis. Conception d'un atelier pour le développement et le calibrage de modèles d'estimation de coûts de logiciels. Proc. of Canadian Conference on Electrical and Computer Engineering, Montréal, Canada, September, 1989, 950-953.
  20. R. St-Denis. Emphasizing design-related decisions in software environments. 3rd International Workshop on Computer-Aided Software Engineering (CASE '89) Advance Working Papers, London, UK, July, 1989, 169.
  21. V. Côté, D. Léger, and R. St-Denis. Adding an automated structure chart measurer in the Software through Pictures environment. Proc. of the 2nd Annual IDE User Group Meeting, San Francisco, CA, March, 1989, 15 pages.
  22. R. St-Denis. Une extension de la méthode JSD basée sur les connaissances associées au domaine d'application et aux décisions de conception. Proc. of Canadian Conference on Electrical and Computer Engineering, Vancouver, November, 1988, 702-706.
  23. R. St-Denis and P. N. Robillard. An approach to knowledge-driven system software development. Proc. of the 4th International Workshop on Software Specification and Design, Monterey, CA, April, 1987, 95-99.

Other contributions

  1. V. Côté and R. St-Denis. Mais qu'est-ce que l'intelligence artificielle et le génie logiciel?. Intelligence artificielle et sciences cognitives au Québéc (ICO), 3 (3), 1991, 5-6.
  2. M. Frappier et R. St-Denis. Transformation de spécifications de domaines d'application en structures d'entité sous REFINE. ACFAS, Recueil des résumés de communications, vol. 59, Sherbrooke, Canada, mai, 1991, 357.
  3. P. N. Robillard and R. St-Denis. How artificial intelligence can enhance software engineering. CIPS Review, 10 (3), 1986, 14-15.
  4. G. Girard et R. St-Denis. Application de la conception hiérarchique aux noyaux des systèmes d'exploitation répartis. ACFAS, Recueil des résumés de communications, vol. 54, Montréal, Canada, mai, 1986, 234.
  5. M. Mazuhelli, D. Fournier et R. St-Denis. Évaluation de la performance d'un système d'exploitation en temps partagé. ACFAS, Recueil des résumés de communications, vol. 54, Montréal, Canada, mai, 1986, 235.
  6. R. St-Denis. COMPOSE: un logiciel de composition de texte. Actes du colloque sur l'informatique appliquée à l'enseignement et à la recherche à l'Université du Québec, Québec, Canada, avril-mai, 1979, 20 pages.

Technical Reports

  1. M. Frappier and R. St-Denis. Specifying Information Systems through Structured Input-Output Traces. Département de mathématiques et d'informatique, Université de Sherbrooke, Juin, 1999, no. 233, 19 pages.
  2. B. Bérubé, B. Lacasse et R. St-Denis. Application de la méthode JSD à la conception de système d'information. Département de mathématiques et d'informatique, Université de Sherbrooke, Février, 1991, no. 79, 43 pages.
  3. V. Côté et R. St-Denis. Méthode d'évaluation de logiciels. Département de mathématiques et d'informatique, Université de Sherbrooke, Décembre, 1990, no. 78, 58 pages.
  4. R. St-Denis et P. N. Robillard. Une approche pour le développement et la maintenance de systèmes informatiques complexes. Département de Génie électrique, École Polytechnique de Montréal, Août, 1986, no. EPM/RT-86/31, 66 pages.