Search results for "diagrams"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
29	Wioleta Szwoch	Aestheticization of Flowcharts.	Diagrams	2008	DBLP DOI BibTeX RDF	Aesthetics, Flowcharts
29	Frances Aldrich	Talk to the Hand: An Agenda for Further Research on Tactile Graphics.	Diagrams	2008	DBLP DOI BibTeX RDF
29	Abubakar Hassan, Ian Mackie, Jorge Sousa Pinto	Visual Programming with Interaction Nets.	Diagrams	2008	DBLP DOI BibTeX RDF
29	Sven Bertel	Visual Focus in Computer-Assisted Diagrammatic Reasoning.	Diagrams	2006	DBLP DOI BibTeX RDF
29	Benedek Nagy	Reasoning by Intervals.	Diagrams	2006	DBLP DOI BibTeX RDF
29	Ewa Grabska, Katarzyna Grzesiak-Kopec, Grazyna Slusarczyk	Visual Creative Design with the Assistance of Curious Agents.	Diagrams	2006	DBLP DOI BibTeX RDF
29	Mary Hegarty	Eye Fixations and Diagrammatic Reasoning.	Diagrams	2006	DBLP DOI BibTeX RDF
29	Truong Lan Le, Zenon Kulpa	Diagrammatic Spreadsheet: An Overview.	Diagrams	2004	DBLP DOI BibTeX RDF
29	Kevin Burns	Bayesian Boxes: A Colored Calculator for Picturing Posteriors.	Diagrams	2004	DBLP DOI BibTeX RDF
29	Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik	An Experimental Comparison of Diagrammatic and Algebraic Logics.	Diagrams	2004	DBLP DOI BibTeX RDF
29	Ahti-Veikko Pietarinen	Peirce's Diagrammatic Logic in IF Perspective.	Diagrams	2004	DBLP DOI BibTeX RDF
29	Herman J. Adèr, H. Roeline W. Pasman, B. Anne-Mei The	Generating New Research Hypotheses from a Result Diagram of Qualitative Research.	Diagrams	2004	DBLP DOI BibTeX RDF
29	Csaba Veres, Gittan Mansson	Psychological Foundations for Concept Modeling.	Diagrams	2004	DBLP DOI BibTeX RDF
29	Daesub Yoon, N. Hari Narayanan	Predictors of Success in Diagrammatic Problem Solving.	Diagrams	2004	DBLP DOI BibTeX RDF
29	Richard Cox, Pablo Romero, Benedict du Boulay, Rudi Lutz	A Cognitive Processing Perspective on Student Programmers' 'Graphicacy'.	Diagrams	2004	DBLP DOI BibTeX RDF
29	Thomas R. G. Green, Andrew G. Harrop, Vania Dimitrova	Teaching Children Brackets by Manipulating Trees: Is Easier Harder?	Diagrams	2004	DBLP DOI BibTeX RDF
29	Oliver Köth, Mark Minas	Structure, Abstraction, and Direct Manipulation in Diagram Editors.	Diagrams	2002	DBLP DOI BibTeX RDF
29	Nik Swoboda, Gerard Allwein	Modeling Heterogeneous Systems.	Diagrams	2002	DBLP DOI BibTeX RDF
29	Robert R. Hoffman, John W. Coffey, Patrick J. Hayes, Alberto J. Cañas, Kenneth M. Ford, Mary J. Carnot	One Small Step for a Diagram, One Giant Leap for Meaning.	Diagrams	2002	DBLP DOI BibTeX RDF
29	Yan Jin, Robert Esser, Jörn W. Janneck	Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment.	Diagrams	2002	DBLP DOI BibTeX RDF
29	Masaki Suwa, Barbara Tversky	External Representations Contribute to the Dynamic Construction of Ideas.	Diagrams	2002	DBLP DOI BibTeX RDF
29	Atsushi Shimojima	The Inferential-Expressive Trade-Off: A Case Study of Tabular Representations.	Diagrams	2002	DBLP DOI BibTeX RDF
29	Michael Anderson 0001, Brian Andersen	Heterogeneous Data Querying in a Diagrammatic Information System.	Diagrams	2002	DBLP DOI BibTeX RDF
29	Ichiro Umata, Yasuhiro Katagiri, Atsushi Shimojima	Movement Conceptualizations in Graphical Communication.	Diagrams	2002	DBLP DOI BibTeX RDF
29	Nathaniel Miller	CDEG: Computerized Diagrammatic Euclidean Geometry.	Diagrams	2002	DBLP DOI BibTeX RDF
29	Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish, Jane Southern	Automated Theorem Proving in Euler Diagram Systems.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	Heuristics, Visual languages, Diagrammatic reasoning, Euler diagrams
29	Mauro Cherubini, Gina Venolia, Robert DeLine, Amy J. Ko	Let's go to the whiteboard: how and why software developers use drawings.	CHI	2007	DBLP DOI BibTeX RDF	exploratory/field study, software visualization, diagrams
29	Alexander Förster, Gregor Engels, Tim Schattkowsky	Activity Diagram Patterns for Modeling Quality Constraints in Business Processes.	MoDELS	2005	DBLP DOI BibTeX RDF	Business Process, ISO 9001, UML Activity Diagrams, Process Quality
29	Pourang Irani, Colin Ware	The Effect of a Perceptual Syntax on the Learnability of Novel Concepts.	IV	2004	DBLP DOI BibTeX RDF	software engineering visualization, geon theory, semantic learning, software engineering, object recognition, perception, Pedagogy, UML diagrams
29	Dazhou Kang, Baowen Xu, Jianjiang Lu, William C. Chu	A Complexity Measure for Ontology Based on UML.	FTDCS	2004	DBLP DOI BibTeX RDF	Ontology, UML, class diagrams, complexity measure
29	Derek Rayside, Marin Litoiu, Margaret-Anne D. Storey, Casey Best	Integrating SHriMP with the IBM websphere studio workbench.	CASCON	2001	DBLP BibTeX RDF	software engineering, integration, software visualization, system modeling, MOF, XMI, flow diagrams
29	Daniel A. Rawsthorne	Capturing functional requirements through object interactions.	ICRE	1996	DBLP DOI BibTeX RDF	functional requirements capture, transaction based analysis, object-oriented analysis methodology, use-case analysis, transaction diagram hierarchy, object responsibilities, user conceptual model, formal specification, transaction processing, object-oriented methods, diagrams, control flow, interaction patterns, object interactions, responsibility driven design
29	Leslie Lamport	TLA in Pictures.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Concurrency, specification, temporal logic, state-transition diagrams
29	Narasimha Bolloju, Sherry X. Sun	Enhancing the quality of use case models and activity diagrams using a differential quality model.	DESRIST	2009	DBLP DOI BibTeX RDF	quality dependencies, activity diagrams, use case models
29	Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon	Hierarchical Set Decision Diagrams and Automatic Saturation.	Petri Nets	2008	DBLP DOI BibTeX RDF	Hierarchical Decision Diagrams, Model Checking, Saturation
29	Mingsong Chen, Prabhat Mishra 0001, Dhrubajyoti Kalita	Coverage-driven automatic test generation for uml activity diagrams.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	uml activity diagrams, test generation
29	Frank Nielsen, Jean-Daniel Boissonnat, Richard Nock	Visualizing bregman voronoi diagrams.	SCG	2007	DBLP DOI BibTeX RDF	computational information geometry, Voronoi diagrams, Bregman divergences
29	Guttorm Sindre	Mal-Activity Diagrams for Capturing Attacks on Business Processes.	REFSQ	2007	DBLP DOI BibTeX RDF	business processes, security requirements, activity diagrams, social engineering, fraud
29	Ben Denckla	Many cyclic block diagrams do not need parallel semantics.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	semantics, haskell, Haskell, esterel, block diagrams, ptolemy
29	Takuya Kadota, Atsushi Ohnishi	A Supporting Method of the Evolution of State Diagrams with Scenarios.	IWPSE	2005	DBLP DOI BibTeX RDF	Evolution of State Diagrams, Scenario Analysis
29	Yuming Zhou, Baowen Xu	Measuring structural complexity for class diagrams: an information theory approach.	SAC	2005	DBLP DOI BibTeX RDF	entropy distance, measure, dependence, class diagrams, structural complexity
29	Pete G. Thomas, Kevin G. Waugh, Neil Smith	Experiments in the automatic marking of ER-diagrams.	ITiCSE	2005	DBLP DOI BibTeX RDF	automatic grading, diagram understanding, entity-relationship diagrams, teaching tool
29	Christian Prehofer	Plug-and-play composition of features and feature interactions with statechart diagrams.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Graphic modeling techniques, Plug-and-play composition, Semantic refinement, UML, Feature interaction, Statechart diagrams
29	Haruhiko Kaiya, Akira Osada, Kenji Kaijiri	Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems.	RE	2004	DBLP DOI BibTeX RDF	Stakeholders and their Preferences, Use Case Diagrams, Requirements Elicitation, Non-Functional Requirements (NFR), GQM
29	Jozo J. Dujmovic, Carl Herder	Visualization of Java workloads using ternary diagrams.	WOSP	2004	DBLP DOI BibTeX RDF	JVM98, ternary diagrams, Java, visualization, software metrics, workload characterization
29	Mark G. Karpovsky, Radomir S. Stankovic, Jaakko Astola	Reduction of Sizes of Decision Diagrams by Autocorrelation Functions.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Logic synthesis, decision diagrams, linear transforms, autocorrelation functions, spectral techniques
29	Alexander Egyed	Automated abstraction of class diagrams.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	Class abstraction, class patterns, unified modeling language, reverse engineering, transformation, class diagrams
29	Rameshsharma Ramloll, Stephen A. Brewster	A generic approach for augmenting tactile diagrams with spatial non-speech sounds.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	sound enhancement, tactile diagrams, spatial sound
29	Radomir S. Stankovic, Jaakko Astola	Some Remarks on Linear Transform of Variables in Representation of Adders by Word-Level Expressions and Spectral Transform Decision Diagrams.	ISMVL	2002	DBLP DOI BibTeX RDF	Decision diagrams, Logic design, Switching functions, Spectral transforms
29	Diego Latella, Mieke Massink	On testing and conformance relations for UML statechart diagrams behaviours.	ISSTA	2002	DBLP DOI BibTeX RDF	UML statechart diagrams, formal testing theory, conformance testing, formal semantics, testing theory
29	Randal E. Bryant, Yirng-An Chen	Verification of arithmetic circuits using binary moment diagrams.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Formal verification, Computer arithmetic, Decision diagrams
29	Fabio Somenzi	Efficient manipulation of decision diagrams.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Strong canonical form, Variable reordering, Binary decision diagrams
29	Reiko Heckel, Stefan Sauer 0001	Strengthening UML Collaboration Diagrams by State Transformations.	FASE	2001	DBLP DOI BibTeX RDF	UML collaboration diagrams, pre/postconditions, graph process, graph transformation
29	Nandish V. Patel	Healthcare Modelling through Role Activity Diagrams for Process-Based Information Systems Development.	Requir. Eng.	2000	DBLP DOI BibTeX RDF	Role Activity Diagrams, Collaboration, Interaction, Requirements engineering, Business processes, Socio-technical
29	Wafi Al-Karaghouli, Sarmad Alshawi, Guy Fitzgerald	Negotiating and Understanding Information Systems Requirements: The Use of Set Diagrams.	Requir. Eng.	2000	DBLP DOI BibTeX RDF	Knowledge gap, Understanding requirements, Specifications, Information technology, Mappings, Negotiation, Set theory, User requirements, Operational research, Information systems development, Venn diagrams
29	Corin A. Gurr, Konstantinos Tourlas	Towards the principled design of software engineering diagrams.	ICSE	2000	DBLP DOI BibTeX RDF	diagrammatic languages, software diagrams, UML, programmable logic controllers
29	Anneke Kleppe, Jos Warmer	Making UML Activity Diagrams Object-Oriented.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	UML metamodel, UML semantics, UML, constraints, information hiding, delegation, encapsulation, responsibility, activity diagram, pre- and postconditions, flow diagrams
29	Karsten Strehl	Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification.	RTCSA	1999	DBLP DOI BibTeX RDF	timed reachability analysis, real-time symbolic model checking, Formal verification, timed automata, binary decision diagrams
29	Richard Kunze, Franz-Erich Wolter, Thomas Rausch	Geodesic Voronoi Diagrams on Parametric Surfaces.	Computer Graphics International	1997	DBLP DOI BibTeX RDF	geodesic Voronoi diagrams, parameterized surfaces, surface paths, computational geometry, parametric surfaces
29	Radomir S. Stankovic	Fourier Decision Diagrams on Finite Non-Abelian Groups with Preprocessing.	ISMVL	1997	DBLP DOI BibTeX RDF	Fourier transform, Multiple-Valued Logic, Decision Diagrams, non-Abelian groups
29	Diana Galindo, Claudie Faure	Perceptually-Based Representation of Network Diagrams.	ICDAR	1997	DBLP DOI BibTeX RDF	Network diagrams, Figure recognition, Layout perception, On-line, Pen-based interaction
29	D. Michael Miller, Noriaki Muranaka	Multiple-Valued Decision Diagrams with Symmetric Variable Nodes.	ISMVL	1996	DBLP DOI BibTeX RDF	symmetry, Multiple-valued logic, decision diagrams
29	Kenneth W. Fertig, John S. Breese	Probability Intervals Over Influence Diagrams.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	Bayesian conditioning, point-valued probabilistic inference mechanisms, computational complexity, lower bounds, probability, sensitivity analysis, sensitivity analysis, inference mechanisms, Bayes methods, probability distributions, probabilistic reasoning, uncertainty handling, influence diagrams, probabilistic queries, conditional expectation
29	Leonidas J. Guibas, Jorge Stolfi	Primitives for the Manipulation of General Subdivisions and Computation of Voronoi Diagrams.	ACM Trans. Graph.	1985	DBLP DOI BibTeX RDF	Euler operators, Voronoi and Delaunay diagrams, representation of polynedra, trianglations, planar graphs, convex hull, computational topology, nearest neighbours, point location, geometric primitives, closest point
28	Toshihiro Tanuma, Hiroshi Imai, Sonoko Moriyama	Revisiting Hyperbolic Voronoi Diagrams from Theoretical, Applied and Generalized Viewpoints.	ISVD	2010	DBLP DOI BibTeX RDF	greedy embedding, geodesic segments, Voronoi diagrams, divergences, hyperbolic geometry
28	Kira Vyatkina, Gill Barequet	On 2-Site Voronoi Diagrams under Arithmetic Combinations of Point-to-Point Distances.	ISVD	2010	DBLP DOI BibTeX RDF	generalized Voronoi diagrams, distance functions
28	Norie Fu, Hiroshi Imai, Sonoko Moriyama	Voronoi Diagrams on Periodic Graphs.	ISVD	2010	DBLP DOI BibTeX RDF	periodic graphs, graph Voronoi diagrams, shortest paths
28	Muath Sabha, Philip Dutré	Feature-Based Texture Synthesis and Editing Using Voronoi Diagrams.	ISVD	2009	DBLP DOI BibTeX RDF	Texture editing, Voronoi diagrams, Image synthesis
28	Ophir Setter, Micha Sharir, Dan Halperin	Constructing Two-Dimensional Voronoi Diagrams via Divide-and-Conquer of Envelopes in Space.	ISVD	2009	DBLP DOI BibTeX RDF	minimum-width annulus, Voronoi diagrams, randomization, envelopes
28	Neil MacKinnon, Steve Murphy	Designing UML diagrams for technical documentation: continuing the collaborative approach to publishing class diagrams.	SIGDOC	2004	DBLP DOI BibTeX RDF	visualization, unified modeling language, human factors, documentation, guidelines, graphic design, UML diagrams
28	Mirco Kuhlmann, Martin Gogolla	Modeling and validating Mondex scenarios described in UML and OCL with USE.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF
28	Efi Fogel, Ophir Setter, Dan Halperin	Arrangements of geodesic arcs on the sphere.	SCG	2008	DBLP DOI BibTeX RDF	robustness and precision, arrangements, voronoi, cgal
28	Kamaran Fathulla, Andrew Basden	What is a diagram?	IV	2007	DBLP DOI BibTeX RDF
28	Sandra B. Fan, Steven L. Tanimoto	A Framework for Automated Diagram Assessment in Online Learning.	ICALT	2007	DBLP DOI BibTeX RDF
28	Xiangpeng Zhao, Quan Long, Zongyan Qiu	Model Checking Dynamic UML Consistency.	ICFEM	2006	DBLP DOI BibTeX RDF	Simulation, Algorithm, Model Checking, UML, Semantics, Consistency
28	Carl Alphonce, Blake Martin	Green: a pedagogically customizable round-tripping UML class diagram Eclipse plug-in.	eTX	2005	DBLP DOI BibTeX RDF
28	Jouni Huotari, Kalle Lyytinen, Marketta Niemelä	Improving graphical information system model use with elision and connecting lines.	ACM Trans. Comput. Hum. Interact.	2004	DBLP DOI BibTeX RDF	diagrammatic representation, Information visualization, visual search, spatial memory, spatial ability
28	Joseph Gil, John Howse, Stuart Kent 0001	Advanced visual modelling: beyond UML.	ICSE	2002	DBLP DOI BibTeX RDF	UML
28	Dong Xu, Huaikou Miao, Nduwimfura Philbert	Model Checking UML Activity Diagrams in FDR.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
28	Bogdan D. Czejdo, Thompson Cummings	Extending Static Knowledge Diagrams to Include Dynamic Knowledge.	WSKS (2)	2009	DBLP DOI BibTeX RDF	Static and Dynamic Knowledge, UML, Knowledge, Inference
28	Chen Avin, Yuval Emek, Erez Kantor, Zvi Lotker, David Peleg, Liam Roditty	SINR diagrams: towards algorithmically usable SINR models of wireless networks.	PODC	2009	DBLP DOI BibTeX RDF	reception zone, wireless networks, SINR
28	Sabnam Sengupta, Swapan Bhattacharya	Formalization of UML diagrams and their consistency verification: A Z notation based approach.	ISEC	2008	DBLP DOI BibTeX RDF	UML, traceability, formalization, class diagram, sequence diagram, Z notation, automated verification, use case diagram, ER diagram
28	Andrea De Lucia, Carmine Gravino, Rocco Oliveto, Genoveffa Tortora	Assessing the Support of ER and UML Class Diagrams during Maintenance Activities on Data Models.	CSMR	2008	DBLP DOI BibTeX RDF
28	Roberto Lublinerman, Stavros Tripakis	Translating data flow to synchronous block diagrams.	ESTIMedia	2008	DBLP DOI BibTeX RDF
28	Tor Stålhane, Guttorm Sindre	Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams.	MoDELS	2008	DBLP DOI BibTeX RDF	safety hazards, experiment, Use cases, misuse cases
28	Pierre-Louis Curien	The Joy of String Diagrams.	CSL	2008	DBLP DOI BibTeX RDF
28	Shehnaaz Yusuf, Huzefa H. Kagdi, Jonathan I. Maletic	Assessing the Comprehension of UML Class Diagrams via Eye Tracking.	ICPC	2007	DBLP DOI BibTeX RDF
28	Rudolf Wille	The Basic Theorem on Labelled Line Diagrams of Finite Concept Lattices.	ICFCA	2007	DBLP DOI BibTeX RDF
28	Chao-Fu Hong, Tzu-Fu Chiu, Yu-Ting Chiu, Mu-Hua Lin	Using Conceptual Scenario Diagrams and Integrated Scenario Map to Detect the Financial Trend.	IEA/AIE	2007	DBLP DOI BibTeX RDF	Conceptual Scenario, Decision Making, Chance Discovery
28	Kevin Lano	Formal Specification using Interaction Diagrams.	SEFM	2007	DBLP DOI BibTeX RDF
28	Azzam Maraee, Mira Balaban	Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets.	ECMDA-FA	2007	DBLP DOI BibTeX RDF	finite satisfiability, reasoning about class diagram, generalization set constraints, class hierarchy structure, consistency, UML class diagram, cardinality constraints
28	Ralph-Johan Back	Incremental Software Construction with Refinement Diagrams.	AMAST	2006	DBLP DOI BibTeX RDF
28	Viviane Torres da Silva, Ricardo Choren, Carlos José Pereira de Lucena	Modeling MAS Properties with MAS-ML Dynamic Diagrams.	AOIS	2006	DBLP DOI BibTeX RDF
28	M. A. Berbar	Automatic Diagrams Analysis.	GMAI	2006	DBLP DOI BibTeX RDF
28	Hua Chu, Qingshan Li, Shengming Hu, Ping Chen	An Approach for Reversely Generating Hierarchical UML Statechart Diagrams.	FSKD	2006	DBLP DOI BibTeX RDF
28	Ross Nicholson, Derek G. Bridge, Nic Wilson	Decision Diagrams: Fast and Flexible Support for Case Retrieval and Recommendation.	ECCBR	2006	DBLP DOI BibTeX RDF
28	Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang 0001, Wei Dong 0006	Improvements Towards Formalizing UML State Diagrams in CSP.	APSEC	2005	DBLP DOI BibTeX RDF
28	A. K. Bhattacharjee, R. K. Shyamasundar	Validated Code Generation for Activity Diagrams.	ICDCIT	2005	DBLP DOI BibTeX RDF
28	Thomas Raimbault, David Genest, Stéphane Loiseau	A New Method to Interrogate and Check UML Class Diagrams.	ICCS	2005	DBLP DOI BibTeX RDF
28	Yan Zhijun	Consistency Analysis of Interorganizational Processes Based on Activity Diagrams.	ICEBE	2005	DBLP DOI BibTeX RDF