Selected Publications of François Lustman
Articles
in Journals
-
Lustman, F., (1997), "A Formal Approach to Scenario Integration", Annals
of Software
Engineering, vol. 3, September 1997,
255-272.
-
Lustman, F., (1994), "Specifying Transaction-Based Information Systems
with Regular Expressions", IEEE Trans. on Soft. Eng., 20,3, March
1994, 207-217.
-
Grégoire, J.-F., Lustman, F., (1993), "The Stage Hypothesis Revisited:
An EDP Professional's Point of View", Information & Management ,
24,5, May 1993, 237-245.
-
Babin, G., Lustman, F., Shoval, P., (1991), "Specification and Design of
Transactions in Information Systems: A Formal Approach", IEEE Trans.
on Soft. Eng., vol. 17, no. 8, August 1991, 814-829.
Papers in Conferences with Proceedings
-
Nour, M., Lustman, F., (1994), "Contribution à l'automatisation
de l'analyse structurée", 62th. ACFAS Conference, Montreal,
May 16-20, 1994, p. 208.
Technical Reports
-
Lustman, F., (1995), "On the Use of Formal Methods to Integrate Scenarios",
Publication # 984, Département d'informatique et de recherche
opérationnelle, Université de Montréal, July, 1995,
19p.
-
Nour, M., Lustman, F., (1994), "Automation of Structured Systems Analysis
Based on Adler's DFD Decomposition Algorithm", Publication # 898,
Département d'informatique et de recherche opérationnelle,
Université de Montréal, February 1994, 25p.
-
Lustman, F., (1992), "A Formal Approach to the Specification and Design
of Transaction-Based Information Systems", Publication # 824, Département
d'informatique et de recherche opérationnelle, Université
de Montréal, June 1992, 41p.
-
Grégoire, J.F., Lustman, F., (1990), "Le modèle des stades
revisité: un point de vue d'informaticiens", Publication # 752,
Département d'informatique et de recherche opérationnelle,
Université de Montréal, November 1990, 52p.
Back to the GÉLO
group page.
Back to François
Lustman's homepage.
Last update: March 10, 1996
lustman@iro.umontreal.ca