Francesmary Modugno

According to our database1, Francesmary Modugno authored at least 12 papers between 1991 and 1998.

Collaborative distances :

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1998
Model Checking Large Software Specifications.
IEEE Trans. Software Eng., 1998

1997
Visual Programming in a Visual Shell-A Unified Approach.
J. Vis. Lang. Comput., 1997

Graphical Representation of Programs in a Demonstrational Visual Shell - An Empirical Evaluation.
ACM Trans. Comput.-Hum. Interact., 1997

Integrated Safety Analysis of Requirements Specifications.
Requir. Eng., 1997

Integrated Safety Analysis of Requirements Specifications.
Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

1996
Model Checking Large Software Specifications.
Proceedings of the SIGSOFT '96, 1996

1995
Evaluating program representation in a demonstrational visual shell.
Proceedings of the Human Factors in Computing Systems, 1995

1994
A State-Based Visual Language for a Demonstrational Visual Shell.
Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994

Exploring Grahpical Feedback in a Demonstrational Visual Shell.
Proceedings of the Human-Computer Interaction, 4th International Conference, 1994

Pursuit: graphically representing programs in a demonstrational visual shell.
Proceedings of the Conference on Human Factors in Computing Systems, 1994

Visual Programming in a Visual Domain: A Case Study of Cognitive Dimensions.
Proceedings of the People and Computers IX, 1994

1991
Time-Constrained Automata (Extended Abstract)
Proceedings of the CONCUR '91, 1991


  Loading...