|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6567 occurrences of 2646 keywords
|
|
|
Results
Found 10326 publication records. Showing 10326 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Angela M. Kessell, Barbara Tversky |
Cognitive Methods for Visualizing Space, Time, and Agents. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
agent, time, production, diagram, preference, space, comprehension |
25 | Wilhelm Schäfer |
Model Driven Development with Mechatronic UML. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Beate Grawemeyer, Richard Cox |
The Effects of Users' Background Diagram Knowledge and Task Characteristics upon Information Display Selection. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Anirban Mukherjee, Utpal Garain |
Automatic Diagram Drawing Based on Natural Language Text Understanding. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
Text to diagram conversion, Lexical resource: Geometry net, Geometric problems |
25 | Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden |
LePUS3: An Object-Oriented Design Description Language. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Maithilee Kunda, Ashok K. Goel 0001 |
What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism?. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
mental imagery, cognition, Autism, visual representation, visual reasoning |
25 | Myra Thiessen |
Visualizing Meaning: Literacy Materials for Dyslexic Children. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Cengiz Acartürk, Christopher Habel, Kursat Cagiltay |
Multimodal Comprehension of Graphics with Textual Annotations: The Role of Graphical Means Relating Annotations and Graph Lines. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
text-graphics comprehension, annotations, temporal relations, line graphs |
25 | Richard Burns, Stephanie Elzer, Sandra Carberry |
Estimating Effort for Trend Messages in Grouped Bar Charts. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Peter Khooshabeh, Mary Hegarty, Madeleine Keehner, Cheryl Cohen |
Benefits of Constrained Interactivity in Using a Three-Dimensional Diagram. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
constrained interactivity, interaction techniques, input devices, spatial cognition, medical visualization |
25 | Brandie M. Stewart, Aren C. Hunter, Lisa A. Best |
The Relationship between Graph Comprehension and Spatial Imagery: Support for an Integrative Theory of Graph Cognition. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Dave Barker-Plummer, Richard Cox, Nik Swoboda (eds.) |
Diagrammatic Representation and Inference, 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | William Bricken |
Syntactic Variety in Boundary Logic. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Bonny Banerjee, B. Chandrasekaran 0001 |
Synthesizing Visual and Action Routines Using Constraint Programming. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Frithjof Dau |
Fixing Shin's Reading Algorithm for Peirce's Existential Graphs. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Stephanie Elzer, Sandra Carberry, Seniz Demir |
Communicative Signals as the Key to Automated Understanding of Simple Bar Charts. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | William Bricken |
The Mathematics of Boundaries: A Beginning. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Emmanuel Schneider, Jean-Michel Boucheix |
On Line Elaboration of a Mental Model During the Understanding of an Animation. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Sindhu Mathai, Jayashree Ramadas |
The Visual and Verbal as Modes to Express Understanding of the Human Body. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Peter Hegarty, Carmen Buechel, Simon Ungar |
Androcentric Preferences for Visuospatial Representations of Gender Differences. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Asaf Degani, Michael G. Shafto, Leonard Olson |
Canonical Correlation Analysis: Use of Composite Heliographs for Representing Multiple Patterns. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Daesub Yoon, N. Hari Narayanan, SooCheol Lee, Oh-Cheon Kwon |
Exploring the Effect of Animation and Progressive Revealing on Diagrammatic Problem Solving. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Atsushi Shimojima |
Using Channel Theory to Account for Graphical Meaning Generations. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Lisa A. Best, Aren C. Hunter, Brandie M. Stewart |
Perceiving Relationships: A Physiological Examination of the Perception of Scatterplots. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Beate Grawemeyer |
Evaluation of ERST - An External Representation Selection Tutor. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Susan Bell Trickett, J. Gregory Trafton |
Toward a Comprehensive Model of Graph Comprehension: Making the Case for Spatial Cognition. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally |
Modularity and Composition in Propositional Statecharts. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Aaron Marcus |
Cross-Cultural User-Experience Design. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Yuri Engelhardt |
Objects and Spaces: The Visual Language of Graphics. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
25 | |
Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance, Papers from the 2005 AAAI Spring Symposium, Technical Report SS-05-06, Stanford, California, USA, March 21-23, 2005 |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Cheryl Cohen |
The Influence of Spatial Ability on the Use of Dynamic, Interactive Animation in a Spatial Problem-Solving Task. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | B. Chandrasekaran 0001 |
What Makes a Bunch of Marks a Diagrammatic Representation, and Another Bunch a Sentential Representation? |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Alexander Klippel, Paul U. Lee, Sara Irina Fabrikant, Daniel R. Montello, John A. Bateman |
The Cognitive Conceptual Approach as a Leitmotif for Map Design. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Sara Irina Fabrikant |
Towards an Understanding of Geovisualization with Dynamic Displays: Issues and Prospects. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Georg Gartner, Verena Radoczky |
Schematic vs. Topographic Maps in Pedestrian Navigation: How Much Map Detail is Necessary to Support Wayfinding. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Madeleine Keehner, Peter Khooshabeh |
Computerized Representations of 3D Structure: How Spatial Comprehension and Patterns of Interactivity Differ among Learners. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | David Caduff, Sabine Timpf |
The Landmark Spider: Representing Landmark Knowledge for Wayfinding Tasks. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Nancy L. Green |
Graphics for Patient-Tailored Information in Clinical Genetics. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Ronald W. Ferguson, Neil Cutshaw, Huzaifa Zafar |
Toward Intelligent Drawing Constraints. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Chun-Heng Ho, Charles M. Eastman |
How Representations and Strategies Influence Design Spatial Problem Solving. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Cornelius Hagen |
Similarity of Spatial Configurations in Interactive Layout. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Paul U. Lee, Alexander Klippel |
Dynamic Aspects of Spatial Information in Air Traffic Controller Displays. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Sven Bertel |
Show Me How You Act on a Diagram and I'll Tell You What You Think (or: Spatial Structures as Organizing Schemes in Collaborative Human-Computer Reasoning). |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Thomas Barkowsky, Christian Freksa, Mary Hegarty, Ric K. Lowe |
Organizing Committee. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Markus Knauff |
Stop Using Introspection to Gather Data for the Design of Computational Modeling and Spatial Assistance. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Mike Stieff |
Visualization and Diagrammatic Reasoning during Genuine Problem Solving in Science. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Sigmar-Olaf Tergan |
The Use of Digital Concept Maps as Cognitive Tools for Managing Knowledge and Knowledge Resources. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Inessa Seifert |
Towards Cognitively Adequate Interaction for Mental Model-Based Spatio-Temporal Assistance. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | H. Joe Steinhauer |
A Qualitative Model for Natural Language Communication about Vehicle Traffic. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | B. Chandrasekaran 0001, Unmesh Kurup, Bonny Banerjee |
A Diagrammatic Reasoning Architecture: Design, Implementation and Experiments. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Barbara Tversky, Sandra C. Lozano, Julie Heiser, Paul U. Lee, Marie-Paule Daniel |
Explanations in Diagram, Word, and Gesture. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
25 | Alan F. Blackwell, Kim Marriott, Atsushi Shimojima (eds.) |
Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Joseph J. Pfeiffer Jr. |
A Prototype Inference Engine for Rule-Based Geometric Reasoning. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Kevin Burns |
Bar-Gain Boxes: An Informative Illustration of the Pairing Problem. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Susan Bell Trickett, J. Gregory Trafton |
Spatial Transformations in Graph Comprehension. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Beate Grawemeyer, Richard Cox |
The Effect of Knowledge-of-External-Representations upon Performance and Representational Choice in a Database Query Task. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Kevin Burns |
Making TRACS: The Diagrammatic Design of a Double-Sided Deck. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Nicolas Fay, Nik Swoboda, Takugo Fukaya, Ichiro Umata, Yasuhiro Katagiri |
Using Graphics to Communicate Across Cultures. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Tsuyoshi Murata |
Roles of Diagrammatic Information for the Discovery of Geometrical Theorems. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
Automated scientific discovery, discovery systems, geometrical theorems, diagrammatic reasoning |
25 | Aidan Feeney, John Adams, Lara Webber, Michael P. Ewbank |
Individual Differences in Graphical Reasoning. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Rick L. Vinyard Jr., Joseph J. Pfeiffer Jr. |
Using Color Component Overlays for Result Visualization in a Classification by Sketch System. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Richard Bosworth |
Automatic Proofs for Scalecharts. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Robert McCartney, Passent Mohammed El-Kafrawy |
Inter-diagrammatic Reasoning and Digital Geometry. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Peter Kleiweg, John Nerbonne, Leonie Bosveld |
Geographic Projection of Cluster Composites. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Stephanie Elzer, Nancy L. Green, Sandra Carberry, James Hoffman |
Incorporating Perceptual Task Effort into the Recognition of Intention in Information Graphics. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Rossano Barone, Peter C.-H. Cheng |
Interpreting Lines in Graphs: Do Graph Users Construe Fictive Motion?. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Masaki Suwa |
A Training Program to be Perceptually Sensitive and Conceptually Productive through Meta-cognition: A Case Study. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Frithjof Dau |
Query Graphs with Cuts: Mathematical Foundations. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Atsushi Shimojima |
Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Juan de Lara, Gabriele Taentzer |
Automated Model Transformation and Its Validation Using AToM 3 and AGG. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
Multi-Formalism Modelling, Meta-Modelling, Graph Transformation |
25 | Patrick G. T. Healey, James King 0002, Nik Swoboda |
Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Timothy Jarratt, René Keller, Seena Nair, Claudia M. Eckert, P. John Clarkson |
Visualization Techniques for Product Change and Product Modelling in Complex Design. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Peter C.-H. Cheng, Rossano Barone |
Representing Rosters: Conceptual Integration Counteracts Visual Complexity. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Ichiro Umata, Atsushi Shimojima, Yasuhiro Katagiri |
Speech and Graphical Interaction in Multimodal Communication. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Mary Hegarty, Bernd Meyer 0001, N. Hari Narayanan (eds.) |
Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002, Proceedings |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Pablo Romero, Richard Cox, Benedict du Boulay, Rudi Lutz |
Visual Attention and Representation Switching During Java Program Debugging: A Study Using the Restricted Focus Viewer. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
25 | James A. Landay |
Informal Tools for Designing Anywhere, Anytime, Anydevice User Interfaces. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Elizabeth R. Grant, Michael J. Spivey |
Guiding Attention Produces Inferences in Diagram-Based Problem Solving. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Joseph J. Pfeiffer Jr. |
Using Brightness and Saturation to Visualize Belief and Uncertainty. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
25 | J. Gregory Trafton, Sandra P. Marshall, Farilee Mintz, Susan Bell Trickett |
Extracting Explicit and Implict Information from Complex Visualizations. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Johannes Gärtner, Silvia Miksch, Stefan Carl-McGrath |
ViCo: A Metric for the Complexity of Information Visualizations. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Patrick G. T. Healey, Nik Swoboda, James King 0002 |
An Environment for Conducting and Analysing Graphical Communication Experiments. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Christian S. Collberg |
A Fuzzy Visual Query Language for a Domain-Specific Web Search Engine. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
25 | B. Chandrasekaran 0001 |
What Does It Mean for a Computer to Do Diagrammatic Reasoning? A Functional Characterization of Diagrammatic Reasoning and Its Implications. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Sally Bogacz, J. Gregory Trafton |
Understanding Static and Dynamic Visualizations. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Zinovy Diskin |
Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Patrick W. Yaner, Ashok K. Goel 0001 |
Retrieving 2-D Line Drawings by Example. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Charlotte R. Peters, Patrick G. T. Healey |
A Survey of Drawing in Cross-linguistic Communication. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Eric G. Freedman, Priti Shah |
Toward a Model of Knowledge-Based Graph Comprehension. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Ke-Bing Zhang, Kang Zhang 0001, Mehmet A. Orgun |
Grammar-Based Layout for a Visual Programming Language Generation System. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Paolo Bottoni, Gennaro Costagliola |
On the Definition of Visual Languages and Their Editors. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Alan F. Blackwell, Hanna M. Wallach |
Diagrammatic Integration of Abstract Operations into Software Work Contexts. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Pete G. Thomas, Kevin G. Waugh, Neil Smith |
Generalised diagram revision tools with automatic marking. |
ITiCSE |
2009 |
DBLP DOI BibTeX RDF |
feedback, diagrams, learning tools, automatic marking |
24 | Marcela Genero, M. Esperanza Manso, Corrado Aaron Visaggio, Gerardo Canfora, Mario Piattini |
Building measure-based prediction models for UML class diagram maintainability. |
Empir. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
UML, Measures, Prediction model, Maintainability, Controlled experiments, Size, Class diagrams, Empirical validation, Understandability, Structural complexity, Modifiability |
24 | Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner |
Exploiting interleaving semantics in symbolic state-space generation. |
Formal Methods Syst. Des. |
2007 |
DBLP DOI BibTeX RDF |
Symbolic state-space exploration, Decision diagrams, Kronecker algebra, Interleaving semantics |
24 | David Mandelin, Doug Kimelman, Daniel M. Yellin |
A Bayesian approach to diagram matching with application to architectural models. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
models, architecture, matching, diagrams, Bayesian |
24 | Hemant Kumar Meena, Indradeep Saha, Koushik Kr. Mondal, T. V. Prabhakar |
An approach to workflow modeling and analysis. |
eTX |
2005 |
DBLP DOI BibTeX RDF |
Petri nets, workflow, Eclipse, activity diagrams, workflow analysis |
24 | Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews |
A Tool-Supported Approach to Testing UML Design Models. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
UML, software testing, code generation, class diagram, test adequacy criteria, model execution, test execution, interaction diagrams |
24 | Nik Swoboda, Gerard Allwein |
Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Euler and Venn diagrams, Graph transformation, Diagrammatic reasoning, Proof verification |
24 | George Spanoudakis, Hyoseob Kim |
Supporting the reconciliation of models of object behaviour. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Software design models, Object interaction diagrams, Consistency management |
|
|