|
Search the dblp DataBase
Francesmary Modugno:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Francesmary Modugno, Thomas R. G. Green, Brad A. Myers
Visual Programming in a Visual Domain: A Case Study of Cognitive Dimensions. [Citation Graph (0, 0)][DBLP] BCS HCI, 1994, pp:91-108 [Conf]
- Francesmary Modugno, Albert T. Corbett, Brad A. Myers
Evaluating program representation in a demonstrational visual shell. [Citation Graph (0, 0)][DBLP] CHI 95 Conference Companion, 1995, pp:234-235 [Conf]
- Francesmary Modugno, Brad A. Myers
Pursuit: graphically representing programs in a demonstrational visual shell. [Citation Graph (0, 0)][DBLP] CHI Conference Companion, 1994, pp:455-456 [Conf]
- Michael Merritt, Francesmary Modugno, Marc R. Tuttle
Time-Constrained Automata (Extended Abstract) [Citation Graph (0, 0)][DBLP] CONCUR, 1991, pp:408-423 [Conf]
- Francesmary Modugno, Brad A. Myers
Exploring Grahpical Feedback in a Demonstrational Visual Shell. [Citation Graph (0, 0)][DBLP] EWHCI, 1994, pp:64-76 [Conf]
- Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys
Integrated Safety Analysis of Requirements Specifications. [Citation Graph (0, 0)][DBLP] RE, 1997, pp:148-159 [Conf]
- Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese
Model Checking Large Software Specifications. [Citation Graph (0, 0)][DBLP] SIGSOFT FSE, 1996, pp:156-166 [Conf]
- Francesmary Modugno, Brad A. Myers
A State-Based Visual Language for a Demonstrational Visual Shell. [Citation Graph (0, 0)][DBLP] VL, 1994, pp:304-311 [Conf]
- Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys
Integrated Safety Analysis of Requirements Specifications. [Citation Graph (0, 0)][DBLP] Requir. Eng., 1997, v:2, n:2, pp:65-78 [Journal]
- Francesmary Modugno, Albert T. Corbett, Brad A. Myers
Graphical Representation of Programs in a Demonstrational Visual Shell - An Empirical Evaluation. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput.-Hum. Interact., 1997, v:4, n:3, pp:276-308 [Journal]
- William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese
Model Checking Large Software Specifications. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1998, v:24, n:7, pp:498-520 [Journal]
- Francesmary Modugno, Brad A. Myers
Visual Programming in a Visual Shell-A Unified Approach. [Citation Graph (0, 0)][DBLP] J. Vis. Lang. Comput., 1997, v:8, n:5-6, pp:491-522 [Journal]
Search in 0.001secs, Finished in 0.002secs
|