Search results for "diagrams"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
43	Roberto Lublinerman, Stavros Tripakis	Modular Code Generation from Triggered and Timed Block Diagrams.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	Modularity, Code generation, Block diagrams
43	Florence Benoy, Peter Rodgers 0001	Evaluating the Comprehension of Euler Diagrams.	IV	2007	DBLP DOI BibTeX RDF	graph drawing, Euler diagrams
43	Dabo Sun, Kenny Wong	On Evaluating the Layout of UML Class Diagrams for Program Comprehension.	IWPC	2005	DBLP DOI BibTeX RDF	perceptual theory, UML modeling tools, aesthetics, graph layout, UML class diagrams
43	Marcela Genero, Mario Piattini, M. Esperanza Manso	Finding "Early" Indicators of UML Class Diagrams Understandability and Modifiability.	ISESE	2004	DBLP DOI BibTeX RDF	UML, metrics, prediction models, maintainability, controlled experiments, size, class diagrams, empirical validation, understandability, structural complexity, modifiability
43	Marcela Genero, David Miranda, Mario Piattini	Defining Metrics for UML Statechart Diagrams in a Methodological Way.	ER (Workshops)	2003	DBLP DOI BibTeX RDF	OO Software, UML statechart diagrams, theoretical validation, experiment replication, metrics, maintainability, size, empirical validation, understandability, structural complexity
43	Peter Graubmann, Ekkart Rudolph	HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing.	UML	2000	DBLP DOI BibTeX RDF	distributed systems, software engineering, real time systems, UML, testing, telecommunication, Sequence Diagrams, Use Cases, MSC, OO
43	Mark Minas, Gerhard Viehstaedt	DiaGen: A Generator for Diagram Editors Providing Direct Manipulation and Execution of Diagrams.	VL	1995	DBLP DOI BibTeX RDF	diagram editor generator, DiaGen, diagram execution, visual language systems, hypergraph grammar, user interfaces, formal specification, specification, graphical user interfaces, software tools, graphs, programming environments, finite state machines, trees, visual programming, visual languages, direct manipulation, diagrams, graph grammars, hierarchical structures, application specific, flowcharts
43	Lorenz Demey, Hans Smessaert	From Euler Diagrams to Aristotelian Diagrams.	Diagrams	2022	DBLP DOI BibTeX RDF
43	Emmanuel Manalo, Mari Fukuda	Diagrams in Essays: Exploring the Kinds of Diagrams Students Generate and How Well They Work.	Diagrams	2021	DBLP DOI BibTeX RDF
43	Hans Smessaert, Atsushi Shimojima, Lorenz Demey	Free Rides in Logical Space Diagrams Versus Aristotelian Diagrams.	Diagrams	2020	DBLP DOI BibTeX RDF
43	David Waszek	Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams.	Diagrams	2018	DBLP DOI BibTeX RDF
43	Johan Larsson 0002, Peter Gustafsson	A Case Study in Fitting Area-Proportional Euler Diagrams with Ellipses using eulerr.	SetVR@Diagrams	2018	DBLP BibTeX RDF
43	Sandra Visokolskis, Gonzalo Carrión	Creative Insights: Dual Cognitive Processes in Perspicuous Diagrams.	SetVR@Diagrams	2018	DBLP BibTeX RDF
43	Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman	Evaluating the Impact of Clutter in Linear Diagrams.	SetVR@Diagrams	2016	DBLP BibTeX RDF
43	Gem Stapleton	Observing the Truth: Diagrams, Sets and Free Rides.	SetVR@Diagrams	2016	DBLP BibTeX RDF
43	Mithileysh Sathiyanarayanan, John Howse	Well-matchedness in Euler Diagrams.	ED/GViP@Diagrams	2014	DBLP BibTeX RDF
43	Luana Micallef, Peter Rodgers 0001	Computing the Region Areas of Euler Diagrams Drawn with Three Ellipses.	ED/GViP@Diagrams	2014	DBLP BibTeX RDF
43	Carsten Gutwenger, Ulf Rüegg, Miro Spönemann, Reinhard von Hanxleden, Petra Mutzel	Examining the Compactness of Automatically Generated Layouts for Practical Diagrams.	ED/GViP@Diagrams	2014	DBLP BibTeX RDF
43	Aidan J. Delaney, Eric Kow, Peter Chapman, Jon Nicholson	Generating and Navigating Large Euler Diagrams.	ED/GViP@Diagrams	2014	DBLP BibTeX RDF
43	Yuri Sato 0001, Koji Mineshima	The Efficacy of Diagrams in Syllogistic Reasoning: A Case of Linear Diagrams.	Diagrams	2012	DBLP DOI BibTeX RDF
43	Peter C.-H. Cheng	Visualizing Syllogisms: Category Pattern Diagrams versus Venn Diagrams.	ED@Diagrams	2012	DBLP BibTeX RDF
43	Katharina Scheiter, Alexander Eitel	The Effects of Signals on Learning from Text and Diagrams: How Looking at Diagrams Earlier and More Frequently Improves Understanding.	Diagrams	2010	DBLP DOI BibTeX RDF
42	Dan P. Piponi	Commutative monads, diagrams and knots.	ICFP	2009	DBLP DOI BibTeX RDF	tensor networks, linear algebra, monads, knot theory
42	Bente Anda, Dag I. K. Sjøberg	Investigating the Role of Use Cases in the Construction of Class Diagrams.	Empir. Softw. Eng.	2005	DBLP DOI BibTeX RDF	replicated experiment, UML, object-oriented design, use cases, controlled experiment, modelling tool
42	Yasser Kotb, Takuya Katayama	Consistency checking of UML model diagrams using the XML semantics approach.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	XML, model checking, UML, attribute grammars, XMI
42	José A. Cruz-Lemus, Marcela Genero, Mario Piattini, José Ambrosio Toval Álvarez	An Empirical Study of the Nesting Level of Composite States Within UML Statechart Diagrams.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
42	Susan L. Epstein	Through Diagrams: Discovery in Game Playing.	Spatial Cognition	2004	DBLP DOI BibTeX RDF
42	Susanto Rahardja, Shoulie Xie	Generalized Complex Spectral Decision Diagrams Using Unified Complex Hadamard Transform.	ISMVL	2003	DBLP DOI BibTeX RDF
42	Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, Kurt Stirewalt	Automatically Detecting and Visualising Errors in UML Diagrams.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Simulation, Model checking, UML, Formal specifications
41	Björn Cordes, Karsten Hölscher, Hans-Jörg Kreowski	UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams.	AGTIVE	2003	DBLP DOI BibTeX RDF
40	Gianfranco Ciardo	Data Representation and Efficient Solution: A Decision Diagram Approach.	SFM	2007	DBLP DOI BibTeX RDF	edge-valued decision diagrams, binary decision diagrams, symbolic model checking, Kronecker algebra, multi-valued decision diagrams, state-space generation
40	Kar-Wing Edward Lor, Daniel M. Berry	Automatic Synthesis of SARA Design Models From System Requirements.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	software design automation, SARA design models, requirement analyst, system verification diagrams, System Architect's Apprentice, SVD requirement specification, knowledge-based tool, software tools, knowledge-based system, knowledge based systems, software, systems analysis, hardware, diagrams, computer aided software engineering, functional requirements, data flow diagrams, design languages, design assistant
40	Sumanta Sarathi Sharma	Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms.	Diagrams	2008	DBLP DOI BibTeX RDF	Euler Circles, Method of Minimal Representation, Venn Diagrams
39	Allison Woodruff, Michael Stonebraker	Buffering of Intermediate Results in Dataflow Diagrams.	VL	1995	DBLP DOI BibTeX RDF	optimal buffer allocation, buffer contents, user requests, latency reduction techniques, history mechanisms, query response time, visual dataflow languages, Tioga, graphical application development tool, software tools, latency, visual programming, NP-hard, data flow analysis, buffer management, diagrams, buffer storage, storage allocation, heuristic programming, heuristic methods, application generators, performance enhancements, average response time, dataflow diagrams
39	Beryl Plimmer, Tracy Hammond	Getting Started with Sketch Tools.	Diagrams	2008	DBLP DOI BibTeX RDF
39	Ronald R. Grau, Peter C.-H. Cheng	Diagrammatic Knowledge-Based Tools for Complex Multi-dynamic Processes.	Diagrams	2008	DBLP DOI BibTeX RDF	Complex Processes, Diagrammatic Knowledge-based Tools, Heterogeneous Knowledge, Knowledge Acquisition, Process Modeling
39	Laura R. Novick	The Importance of Both Diagrammatic Conventions and Domain-Specific Knowledge for Diagram Literacy in Science: The Hierarchy as an Illustrative Case.	Diagrams	2006	DBLP DOI BibTeX RDF
39	Eric Saund, James Mahoney	Perceptual Support of Diagram Creation and Editing.	Diagrams	2004	DBLP DOI BibTeX RDF
39	Robert P. Futrelle	Diagram Schemas: What, Why, How.	Diagrams	2004	DBLP DOI BibTeX RDF
39	Anthony R. Jansen, Kim Marriott, Bernd Meyer 0001	Cider: A Component-Based Toolkit for Creating Smart Diagram Environments.	Diagrams	2004	DBLP DOI BibTeX RDF
39	Eric Saund, James Mahoney	ScanScribe: Perceptually Supported Diagram Image Editing.	Diagrams	2004	DBLP DOI BibTeX RDF
39	Lopamudra Choudhury, Mihir K. Chakraborty	On Extending Venn Diagram by Augmenting Names of Individuals.	Diagrams	2004	DBLP DOI BibTeX RDF
39	Pourang Irani	Notations for Software Engineering Class Structures.	Diagrams	2004	DBLP DOI BibTeX RDF
39	Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik	Using Animation in Diagrammatic Theorem Proving.	Diagrams	2002	DBLP DOI BibTeX RDF
39	Frank Nielsen, Richard Nock	The Dual Voronoi Diagrams with Respect to Representational Bregman Divergences.	ISVD	2009	DBLP DOI BibTeX RDF	$f$-divergences, $alpha$-divergences, $beta$-divergences, Voronoi diagrams, centroids, Bregman divergences, power diagrams
38	Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen	Decision-diagram-based techniques for bounded reachability checking of asynchronous systems.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Edge-valued decision diagrams, Petri net, Formal verification, BDDs, Reachability analysis, Bounded model checking, Asynchronous design, ADDs
38	Steven L. Tanimoto	Enhancing State-Space Tree Diagrams for Collaborative Problem Solving.	Diagrams	2008	DBLP DOI BibTeX RDF
38	Nathan Crilly, P. John Clarkson, Alan F. Blackwell	Using Research Diagrams for Member Validation in Qualitative Research.	Diagrams	2006	DBLP DOI BibTeX RDF
38	Yohei Kurata, Max J. Egenhofer	Topological Relations of Arrow Symbols in Complex Diagrams.	Diagrams	2006	DBLP DOI BibTeX RDF
38	Benedek Nagy, Gerard Allwein	Diagrams and Non-monotonicity in Puzzles.	Diagrams	2004	DBLP DOI BibTeX RDF	diagrammatic reasoning, Puzzles, non-monotonic reasoning
38	Gem Stapleton, John Howse, John Taylor 0001, Simon J. Thompson	What Can Spider Diagrams Say?	Diagrams	2004	DBLP DOI BibTeX RDF
38	Iulian D. Toader	On Frege's Logical Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF
38	Sara Price	Processing Animation: Integrating Information from Animated Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF
38	Richard Lowe	User-Controllable Animated Diagrams: The Solution for Learning Dynamic Content?	Diagrams	2004	DBLP DOI BibTeX RDF
38	Sarah Kriz	Understanding Simultaneity and Causality in Static Diagrams versus Animation.	Diagrams	2002	DBLP DOI BibTeX RDF
38	David J. Bennett	Effects of Navigation and Position on Task When Presenting Diagrams.	Diagrams	2002	DBLP DOI BibTeX RDF
38	Alexander Felfernig, Markus Zanker	Diagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language.	Diagrams	2000	DBLP DOI BibTeX RDF
38	Keith Stenning	Distinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems.	Diagrams	2000	DBLP DOI BibTeX RDF
38	John Howse, Fernando Molina, John Taylor 0001	On the Completeness and Expressiveness of Spider Diagram Systems.	Diagrams	2000	DBLP DOI BibTeX RDF	Diagrammatic reasoning, visual formalisms
38	Mary Hegarty	Capacity Limits in Diagrammatic Reasoning.	Diagrams	2000	DBLP DOI BibTeX RDF
38	Keith Stenning	Jon Barwise: A Heterogeneous Appreciation.	Diagrams	2000	DBLP DOI BibTeX RDF
38	Nathaniel Miller	Case Analysis in Euclidean Geometry: An Overview.	Diagrams	2000	DBLP DOI BibTeX RDF
38	Kim Marriott	Formal Approaches to Visual Language Specification and Understanding.	Diagrams	2000	DBLP DOI BibTeX RDF
38	N. Hari Narayanan, Mary Hegarty	Communicating Dynamic Behaviors: Are Interactive Multimedia Presentations Better than Static Mixed-Mode Presentations?	Diagrams	2000	DBLP DOI BibTeX RDF
38	Francisco C. Pereira, Amílcar Cardoso	Clouds: A Module for Automatic Learning of Concept Maps.	Diagrams	2000	DBLP DOI BibTeX RDF
38	Alan M. MacEachren	Representations to Mediate Geospatial Collaborative Reasoning: A Cognitive-Semiotic Perspective.	Diagrams	2000	DBLP DOI BibTeX RDF
38	Roberto Lublinerman, Christian Szegedy, Stavros Tripakis	Modular code generation from synchronous block diagrams: modularity vs. code size.	POPL	2009	DBLP DOI BibTeX RDF	clustering, code generation, np-complete, embedded software, synchronous languages, block diagrams
38	Vinita, Amita Jain, Devendra K. Tayal	On reverse engineering an object-oriented code into UML class diagrams incorporating extensible mechanisms.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	UML, reverse engineering, object-oriented programming, class diagrams
38	M. Esperanza Manso, José A. Cruz-Lemus, Marcela Genero, Mario Piattini	Empirical Validation of Measures for UML Class Diagrams: A Meta-Analysis Study.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF	experiments, comprehensibility, size, meta-analysis, structural complexity, modifiability, UML class diagrams
38	Christoph Knieke, Michaela Huhn, Malte Lochau	Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.	TASE	2008	DBLP DOI BibTeX RDF	Unified Modeling Language, Requirements Engineering, Activity Diagrams, Live Sequence Charts
38	Chia-Hui Huang, Han-Ying Kao, Han-Lin Li	Intelligent Decision Support Based on Influence Diagrams with Rough Sets.	RSFDGrC	2007	DBLP DOI BibTeX RDF	Bayes’ theorem, Rough sets, decision rules, influence diagrams
38	Rik Eshuis	Symbolic model checking of UML activity diagrams.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	Model checking, Unified Modeling Language, activity diagrams
38	Nicolas Guelfi, Amel Mammar	A formal framework to generate XPDL specifications from UML activity diagrams.	SAC	2006	DBLP DOI BibTeX RDF	XPDL language, transformations, correctness proofs, UML activity diagrams
38	Pete G. Thomas, Kevin G. Waugh, Neil Smith	Using patterns in the automatic marking of ER-diagrams.	ITiCSE	2006	DBLP DOI BibTeX RDF	automatic grading, diagram interpretation, patterns, entity-relationship diagrams, teaching tool
38	Mark A. Holliday, David Luginbuhl	CS1 assessment using memory diagrams.	SIGCSE	2004	DBLP DOI BibTeX RDF	memory diagrams, Java, object-oriented programming, computer science education, CS1, student assessment
38	G. M. Germano, Stefano Mazzanti	Cantor Diagrams: A Unifying Discussion of Self-Reference.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	Cantor diagonal method, Cantor diagrams, logical paradoxes, self-reference, incompleteness, Cartesian closed categories
38	J. Christian Attiogbé, Pascal Poizat, Gwen Salaün	Integration of Formal Datatypes within State Diagrams.	FASE	2003	DBLP DOI BibTeX RDF	formal methods integration, Z, algebraic specifications, B, state diagrams
38	Karim Khordoc, Eduard Cerny	Semantics and verification of action diagrams with linear timing.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	compatibility of interfaces, hardware interfaces, causality, timing verification, timing diagrams
38	Radomir S. Stankovic, Rolf Drechsler	Circuit Design from Kronecker Galois Field Decision Diagrams for Multiple-Valued Functions.	ISMVL	1997	DBLP DOI BibTeX RDF	Kronecker, MVL, decision diagrams, circuit design
38	Tsutomu Sasao, Jon T. Butler	A Method to Represent Multiple-Output Switching Functions by Using Multi-Valued Decision Diagrams.	ISMVL	1996	DBLP DOI BibTeX RDF	multiple-output switching functions, multi-terminal, multivalued logic, decision tables, computation time, switching functions, switching functions, multi-valued decision diagrams
38	Koichi Kise, Noriyoshi Yoneda, Shinobu Takamatsu, Kunio Fukunaga	Interpretation of conceptual diagrams from line segments and strings.	ICDAR	1995	DBLP DOI BibTeX RDF	conceptual diagrams, hypothesis generation, document image processing, strings, loops, lines, line segments, logical structure, character strings, hypothesis verification
38	Rolf Klein, Kurt Mehlhorn, Stefan Meiser	On the Construction of Abstract Voronoi Diagrams, II.	SIGAL International Symposium on Algorithms	1990	DBLP DOI BibTeX RDF	randomized algorithms, Voronoi diagrams
38	Holger Rasch, Heike Wehrheim	Checking the Validity of Scenarios in UML Models.	FMOODS	2005	DBLP DOI BibTeX RDF
38	Kevin L. Mills, Hassan Gomaa	A knowledge-based method for inferring semantic concepts from visual models of system behavior.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	concept classification systems, software design methods, concurrent systems, semantic data modeling, visual modeling, knowledge-based software engineering
38	Kelly I. Morrison	GRASP: an executable specification language for Ada tasking.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada, GRASP
37	Wenjun Deng, Yiwen Liang	Reason on UML Diagrams with Answer Set Programming.	CSSE (1)	2008	DBLP DOI BibTeX RDF
37	Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer	Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams.	MoDELS	2008	DBLP DOI BibTeX RDF
37	Frank Nielsen, Jean-Daniel Boissonnat, Richard Nock	On Bregman Voronoi diagrams.	SODA	2007	DBLP BibTeX RDF
37	Frank Ruskey, Mark Weston	More Fun with Symmetric Venn Diagrams.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
37	Youcef Hammal	Branching Time Semantics for UML 2.0 Sequence Diagrams.	FORTE	2006	DBLP DOI BibTeX RDF
37	Ken Kaneiwa, Ken Satoh	Consistency Checking Algorithms for Restricted UML Class Diagrams.	FoIKS	2006	DBLP DOI BibTeX RDF
37	José A. Cruz-Lemus, Marcela Genero, M. Esperanza Manso, Mario Piattini	Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams.	MoDELS	2005	DBLP DOI BibTeX RDF
37	Ana Cavalcanti 0001, Phil Clayton, Colin O'Halloran	Control Law Diagrams in Circus.	FM	2005	DBLP DOI BibTeX RDF	refinement, CSP, Z, Simulink
37	Vitus S. W. Lam, Julian A. Padget	An integrated environment for communicating UML statechart diagrams.	AICCSA	2005	DBLP DOI BibTeX RDF
37	Yohei Kurata, Max J. Egenhofer	Structure and Semantics of Arrow Diagrams.	COSIT	2005	DBLP DOI BibTeX RDF
37	Marco Torchiano	Empirical Assessment of UML Static Object Diagrams.	IWPC	2004	DBLP DOI BibTeX RDF
37	Yann-Gaël Guéhéneuc	A reverse engineering tool for precise class diagrams.	CASCON	2004	DBLP BibTeX RDF
37	Stirling Chow, Frank Ruskey	Drawing Area-Proportional Venn and Euler Diagrams.	GD	2003	DBLP DOI BibTeX RDF
37	Il-Yeol Song	Developing Sequence Diagrams in UML.	ER	2001	DBLP DOI BibTeX RDF
37	Yong Sun, Hongji Yang, Alan J. Dix	TDL: A Language for Transition Diagrams in the Derivation of LOTOS Specifications.	APAQS	2000	DBLP DOI BibTeX RDF