12,100 Hits in 10.6 sec

Temporally Extended High-Level Decision Diagrams for PSL Assertions Simulation

Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
2008 2008 13th European Test Symposium  
Experimental results show the feasibility and efficiency of the proposed approach.  ...  The paper proposes a novel method for PSL language assertions simulation-based checking. The method uses a system representation model called High-Level Decision Diagrams (HLDD).  ...  Acknowledgements The work has been supported by EC FP 6 project VERTIGO FP6-2005-IST-5-033709, Estonian SF grants 7068 and 7483, and Estonian Information Technology Foundation (EITSA).  ... 
doi:10.1109/ets.2008.22 dblp:conf/ets/JenihhinRCU08 fatcat:mhk7lrhjufgyhgipbda4dytcqm

Identifying Difficulties of Software Modeling Through Class Diagrams: A Long-Term Comparative Analysis

Pamela Flores, Mayra Alvarez, Jenny Torres
2022 IEEE Access  
The qualitative case study is the method that allowed to generate the documents: diagnostic and evaluation tests.  ...  in creating Unified Modeling Language diagrams, especially class diagrams.  ...  ACKNOWLEDGMENT The authors would like to acknowledge and thank the Anonymous Reviewers for their valuable recommendations, which contributed to improving the quality of this article.  ... 
doi:10.1109/access.2022.3157290 fatcat:rgqjrw3uirb5li6feamhj4mj3q

Authoring diagram-based CBA with CourseMarker

Colin A. Higgins, Brett Bligh, Pavlos Symeonidis, Athanasios Tsintsifas
2009 Computers & Education  
The aim of the studies reported here was to evaluate the feasibility and usefulness of developing and deploying diagram-based exercises using DATsys, an authoring environment for diagram-based CBA, together  ...  The techniques are reliable, but further development allowing for alternative model solutions and assessment of the aesthetic appearance of diagrams would increase validity.  ...  Entity-relationship diagrams Entity-relationship diagrams represent the structure of data in an abstract sense (Beynon-Davies, 1992) .  ... 
doi:10.1016/j.compedu.2008.11.019 fatcat:pea75dlzlvg25hwbacsir2zq2m

PSL Assertion Checking Using Temporally Extended High-Level Decision Diagrams

Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
2009 Journal of electronic testing  
Experimental results show the feasibility and efficiency of the proposed approach.  ...  The paper proposes a novel method for PSL language assertions simulationbased checking. The method uses a system representation model called High-Level Decision Diagrams (HLDD).  ...  Acknowledgements The work has been supported by European Commission Framework  ... 
doi:10.1007/s10836-009-5116-4 fatcat:iopbj2yivzgqfbrgkyz2u6hlhe

Merging Object and Process Diagrams for Business Information Modeling [article]

Patrick Chénais
2008 arXiv   pre-print
We will then propose merging class diagrams and business process modeling to achieve a necessary transparency.  ...  While developing an information system for the University of Bern, we were faced with two major issues: managing software changes and adapting Business Information Models.  ...  We presume that the merging of process and object models led to a better understanding and acceptance because all elements of the evaluation process could be shown on the model with their relationships  ... 
arXiv:0804.0366v1 fatcat:kmkrvq3zafhz7e6qku735zihsu

How to Tame a Very Large ER Diagram (Using Link Analysis and Force-Directed Drawing Algorithms) [chapter]

Yannis Tzitzikas, Jean-Luc Hainaut
2005 Lecture Notes in Computer Science  
Specifically, this method takes as input an ER diagram and returns a smaller (top-k) diagram that consists of the major entity and relationship types of the initial diagram.  ...  The experimental evaluation on large diagrams of real world applications proved the effectiveness of this technique.  ...  Acknowledgements The first author wants to thank Tonia Dellaporta for the several fruitful and really enjoyable discussions on this issue.  ... 
doi:10.1007/11568322_10 fatcat:qodx2xa3wjaflacbk2xhlfyy3y

Application of high-level decision diagrams for simulation-based verification tasks

M Jenihhin, J Raik, A Chepurov, R Ubar
2010 Estonian Journal of Engineering  
Experimental results show the feasibility and efficiency of the HLDDsbased approaches.  ...  This paper describes the advantages of the application of a system representation model, called High-Level Decision Diagrams (HLDDs), for hardware functional verification.  ...  ACKNOWLEDGEMENTS This work has been supported by European Commission Framework Program 7 projects DIAMOND and CREDES, by European Union through the European Regional Development Fund, by Estonian Science  ... 
doi:10.3176/eng.2010.1.07 fatcat:nekf5vr5nngrblcpm3tvrpjsm4

Urban Operating Systems: Diagramming the City

Simon Marvin, Andrés Luque-Ayala
2017 International Journal of Urban and Regional Research  
Arguing that an analysis of the interface between the urban and IT requires a broader historical and theoretical perspective, the article traces the ways in which the city has been diagrammed as a space  ...  ' urbanism (Deleuze and Guattari, 1987) , the Urban OS appears as an emerging urban diagram introducing an informational diagrammatic of control.  ...  The emphasis on classification also has an ontological function, by determining com po nents and establishing a set of relationships, thus creating entities and boundaries.  ... 
doi:10.1111/1468-2427.12479 fatcat:digcarjc5jehxhtpz5pw6baidq

IconQA: A New Benchmark for Abstract Diagram Understanding and Visual Language Reasoning [article]

Pan Lu, Liang Qiu, Jiaqi Chen, Tony Xia, Yizhou Zhao, Wei Zhang, Zhou Yu, Xiaodan Liang, Song-Chun Zhu
2022 arXiv   pre-print
We conduct extensive user studies and blind experiments and reproduce a wide range of advanced VQA methods to benchmark the IconQA task.  ...  The IconQA dataset is inspired by real-world diagram word problems that highlight the importance of abstract diagram understanding and comprehensive cognitive reasoning.  ...  Experimental Results Table 6 demonstrates the results of the benchmark methods and our baseline on the IconQA test set.  ... 
arXiv:2110.13214v4 fatcat:o7bos2z5vbh6no7tlnmpzuy66m

Making Graph-Based Diagrams Work in Sound: The Role of Annotation

Andy Brown, Robert Stevens, Steve Pettifer
2013 Human-Computer Interaction  
This paper proposes that differing types of annotation offer a powerful and flexible technique for transferring the benefits of graph based diagrams, as well as for reducing disorientation while moving  ...  around the graph and for tackling some of the inherent disadvantages of using sound.  ...  . 3 A version did allow creation and editing of graphs, but apparently not annotation. 4 In the UML diagrams studied, entities are necessarily differentiated by class names. 5 Spatially, using a tactile  ... 
doi:10.1080/07370024.2012.697010 fatcat:bsp7xyodvvhkjotm6g37femgr4

Formative computer based assessment in diagram based domains

Colin A. Higgins, Brett Bligh
2006 ACM SIGCSE Bulletin  
The three extensions are novel extensions for free-form CBA which allow the assessment of the aesthetic layout of student diagrams, the marking of student solutions where multiple model solutions are acceptable  ...  This research argues that the formative assessment of student coursework in freeform, diagram-based domains can be automated using CBA techniques in a way which is both feasible and useful.  ...  Feedback is provided in terms of a mark and a series of entity-relationship diagrams that form the MMUs of the model solution.  ... 
doi:10.1145/1140123.1140152 fatcat:wp4i4ipksjbbzawfj7d5iu7qeq

Structure, Abstraction, and Direct Manipulation in Diagram Editors [chapter]

Oliver Köth, Mark Minas
2002 Lecture Notes in Computer Science  
In contrast to a simple drawing program, such a diagram editor knows about the rules of the diagram language and the abstract "meaning" of the diagram.  ...  diagram tools) -structural analysis and a common formal model As a major practical example, we present an editor for UML class diagrams.  ...  creation and manipulation of all language features.  ... 
doi:10.1007/3-540-46037-3_28 fatcat:svw2xqxq2bhm5gmwtr7he2c55y

Teaching Interaction using State Diagrams

Padma Pasupathi, Christopher W. Schankula, Nicole DiVincenzo, Sarah Coker, Christopher Kumar Anand
2022 Electronic Proceedings in Theoretical Computer Science  
After the first steps, children want to create interactive programs, and they need a model for this. State diagrams provide such a model.  ...  This paper documents the design and implementation of a Model-Driven Engineering tool, SD Draw, that allows even primary-aged children to draw and understand state diagrams, and create modifiable app templates  ...  Acknowledgements We acknowledge financial support from the Faculty of Engineering, and moral support of the teachers, parents, and young coders.  ... 
doi:10.4204/eptcs.363.8 fatcat:qz2zgw6gcvh3plde3oz5hijakq

Empirical assessment of UML class diagram layouts based on architectural importance

Bonita Sharif
2011 2011 27th IEEE International Conference on Software Maintenance (ICSM)  
Experimental evaluations conducted on systems using UML diagrams for analysis and design, have shown significant improvements in the correctness of changes and design quality versus those that do not use  ...  A class diagram usually consists of a subset of classes from the class model and their relationships styled with layout information. The layout information is not part of the class model.  ...  APPENDIX E Study Material for Chapter 7 The diagrams are grouped by system. Each diagram within each system has the pattern name located at the lower right hand corner of the diagram. E.1.  ... 
doi:10.1109/icsm.2011.6080828 dblp:conf/icsm/Sharif11 fatcat:5nkuzimxabcxrc3kvavpytaqh4

Formalizing Functional Flow Block Diagrams Using Process Algebra and Metamodels

Allan I. McInnes, Brandon K. Eames, Russell Grover
2011 IEEE transactions on systems, man and cybernetics. Part A. Systems and humans  
Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains.  ...  To help address these problems, we have developed a precise formal syntax and semantics for FFBDs, based on the application of metamodels and the process algebra Communicating Sequential Processes (CSP  ...  ACKNOWLEDGMENT The authors would like to thank the anonymous reviewers of this paper for their valuable feedback.  ... 
doi:10.1109/tsmca.2010.2048749 fatcat:2v5g5cq3nbadvjuwflv7ncl4qe
« Previous Showing results 1 — 15 out of 12,100 results