A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Temporally Extended High-Level Decision Diagrams for PSL Assertions Simulation
2008
2008 13th European Test Symposium
Preserved Fulltext
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
2022
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2009
Computers & Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2009
Journal of electronic testing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2008
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2010
Estonian Journal of Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
International Journal of Urban and Regional Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2013
Human-Computer Interaction
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
ACM SIGCSE Bulletin
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2022
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2022 pre-print arXiv:2207.12701v1 fatcat:sugdptuuyvcd7k6tdqdi365hxm
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
2011
2011 27th IEEE International Conference on Software Maintenance (ICSM)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
IEEE transactions on systems, man and cybernetics. Part A. Systems and humans
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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