Francesmary Modugno

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