|
|
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 |
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 |
|
Displaying result #501 - #600 of 10326 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|