Francesmary Modugno

According to our database, Francesmary Modugno authored at least 11 papers between 1991 and 1998.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

1998

Model Checking Large Software Specifications.

William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese

IEEE Trans. Software Eng., 1998

1997

Visual Programming in a Visual Shell-A Unified Approach.

Francesmary Modugno, Brad A. Myers

J. Vis. Lang. Comput., 1997

Graphical Representation of Programs in a Demonstrational Visual Shell - An Empirical Evaluation.

Francesmary Modugno, Albert T. Corbett, Brad A. Myers

ACM Trans. Comput. Hum. Interact., 1997

The CHI 96 basic research symposium.

Alan J. Dix, Francesmary Modugno

ACM SIGCHI Bull., 1997

Integrated Safety Analysis of Requirements Specifications.

Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys

Requir. Eng., 1997

1995

Evaluating program representation in a demonstrational visual shell.

Francesmary Modugno, Albert T. Corbett, Brad A. Myers

Proceedings of the Human Factors in Computing Systems, 1995

1994

A State-Based Visual Language for a Demonstrational Visual Shell.

Francesmary Modugno, Brad A. Myers

Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994

Exploring Grahpical Feedback in a Demonstrational Visual Shell.

Francesmary Modugno, Brad A. Myers

Proceedings of the Human-Computer Interaction, 4th International Conference, 1994

Pursuit: graphically representing programs in a demonstrational visual shell.

Francesmary Modugno, Brad A. Myers

Proceedings of the Conference on Human Factors in Computing Systems, 1994

Visual Programming in a Visual Domain: A Case Study of Cognitive Dimensions.

Francesmary Modugno, Thomas R. G. Green, Brad A. Myers

Proceedings of the People and Computers IX, 1994

1991

Time-Constrained Automata (Extended Abstract)

Michael Merritt, Francesmary Modugno, Marc R. Tuttle

Proceedings of the CONCUR '91, 1991