Francesmary Modugno

Publication Activity (10 Years)

Years Active: 1991-1998
Publications (10 Years): 0

Publications

William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese
Model Checking Large Software Specifications. IEEE Trans. Software Eng. 24 (7) (1998)
Francesmary Modugno, Albert T. Corbett, Brad A. Myers
Graphical Representation of Programs in a Demonstrational Visual Shell - An Empirical Evaluation. ACM Trans. Comput. Hum. Interact. 4 (3) (1997)
Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys
Integrated Safety Analysis of Requirements Specifications. Requir. Eng. 2 (2) (1997)
Alan J. Dix, Francesmary Modugno
The CHI 96 basic research symposium. ACM SIGCHI Bull. 29 (1) (1997)
Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys
Integrated Safety Analysis of Requirements Specifications. RE (1997)
Francesmary Modugno, Brad A. Myers
Visual Programming in a Visual Shell-A Unified Approach. J. Vis. Lang. Comput. 8 (5-6) (1997)
Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese
Model Checking Large Software Specifications. SIGSOFT FSE (1996)
Francesmary Modugno, Albert T. Corbett, Brad A. Myers
Evaluating program representation in a demonstrational visual shell. CHI 95 Conference Companion (1995)
Francesmary Modugno, Brad A. Myers
Exploring Grahpical Feedback in a Demonstrational Visual Shell. EWHCI (1994)
Francesmary Modugno, Brad A. Myers
A State-Based Visual Language for a Demonstrational Visual Shell. VL (1994)
Francesmary Modugno, Thomas R. G. Green, Brad A. Myers
Visual Programming in a Visual Domain: A Case Study of Cognitive Dimensions. BCS HCI (1994)
Francesmary Modugno, Brad A. Myers
Pursuit: graphically representing programs in a demonstrational visual shell. CHI Conference Companion (1994)
Michael Merritt, Francesmary Modugno, Marc R. Tuttle
Time-Constrained Automata (Extended Abstract) CONCUR (1991)