Travelled to:
1 × France
1 × Ireland
1 × The Netherlands
2 × Canada
2 × Germany
5 × USA
Collaborated with:
∅ H.Wertz J.Singer K.Mordal-Manet J.Laval S.Ducasse F.Bellingard P.Vaillergues S.Denier N.Anquetil L.Bouhier T.J.McCabe
Talks about:
program (11) understand (4) tool (4) conceptu (3) outlin (3) model (3) graph (3) formal (2) depend (2) queri (2)
♀ Person: Francoise Balmas
DBLP: Balmas:Francoise
Facilitated 3 volumes:
Contributed to:
Wrote 14 papers:
- CSMR-2011-Mordal-ManetLDABBBVM #empirical #metric
- An Empirical Model for Continuous and Weighted Metric Aggregation (KMM, JL, SD, NA, FB, FB, LB, PV, TJM), pp. 141–150.
- ICSM-2009-Mordal-ManetBDDWLBV #industrial #quality
- The squale model — A practice-based industrial quality model (KMM, FB, SD, SD, HW, JL, FB, PV), pp. 531–534.
- ICSM-2004-Balmas #data flow #graph #named #visualisation
- DDFgraph: A Tool for Dynamic Data Flow Graphs Visualization (FB), p. 516.
- SCAM-2002-Balmas #dependence #documentation #graph #source code #using
- Using Dependence Graphs as a Support to Document Programs (FB), pp. 145–154.
- WCRE-2001-Balmas #approach #dependence #game studies #graph
- Displaying Dependence Graphs: A Hierarchical Approach (FB), pp. 261–270.
- IWPC-2000-BalmasWS #comprehension
- Understanding Program Understanding (FB, HW, JS), p. 256.
- PASTE-1999-Balmas #paradigm #query #source code
- Query by Outlines: A New Paradigm to Help Manage Programs (FB), pp. 86–94.
- WCRE-1999-Balmas #named #query #source code
- QBO: A Query Tool Specially Developed to Explore Programs (FB), pp. 270–279.
- WCRE-1998-Balmas #c #roadmap
- Outlining C Loops: Preliminary Results and Trends (FB), pp. 115–124.
- WCRE-1997-Balmas #concept #framework #source code #towards
- Toward a Framework for Conceptual and Formal Outlines of Programs (FB), pp. 226–235.
- SEKE-1996-Balmas #concept #named #programming
- ACL: a Tool for Conceptual Programming (FB), pp. 198–205.
- SEKE-1996-Balmas96a #formal method #named #programming #source code
- PRISME: Formalizing Programming Strategies as a Way to Understand Programs (FB), pp. 361–368.
- SEKE-1995-Balmas #comprehension #source code
- Classifying Programs: a Key For program Understanding (FB), pp. 342–349.
- KBSE-1994-Balmas #concept #pattern matching #source code
- An Augmented Pattern Matcher as a Tool to Synthesize Conceptual Descriptions of Programs (FB), pp. 150–157.