Готові списки джерел за темами / Syntax diagrams

Зміст

Статті в журналах
Дисертації
Книги
Частини книг
Тези доповідей конференцій

Добірка наукової літератури з теми "Syntax diagrams"

Автор: Grafiati

Опубліковано: 30 травня 2022

Оновлено: 31 травня 2022

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Syntax diagrams".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Syntax diagrams"

Howse, John, Gem Stapleton, and John Taylor. "Spider Diagrams." LMS Journal of Computation and Mathematics 8 (2005): 145–94. http://dx.doi.org/10.1112/s1461157000000942.

Повний текст джерела

Анотація:

AbstractThe use of diagrams in mathematics has traditionally been restricted to guiding intuition and communication. With rare exceptions such as Peirce's alpha and beta systems, purely diagrammatic formal reasoning has not been in the mathematician's or logician's toolkit. This paper develops a purely diagrammatic reasoning system of “spider diagrams” that builds on Euler, Venn and Peirce diagrams. The system is known to be expressively equivalent to first-order monadic logic with equality. Two levels of diagrammatic syntax have been developed: an ‘abstract’ syntax that captures the structure of diagrams, and a ‘concrete’ syntax that captures topological properties of drawn diagrams. A number of simple diagrammatic transformation rules are given, and the resulting reasoning system is shown to be sound and complete.

Стилі APA, Harvard, Vancouver, ISO та ін.

THIEMANN, PETER J. "Drawing Syntax Diagrams in Haskell." Software: Practice and Experience 27, no. 8 (August 1997): 967–82. http://dx.doi.org/10.1002/(sici)1097-024x(199708)27:8<967::aid-spe114>3.0.co;2-z.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ryazanov, Yu D. "MINIMIZATION OF SYNTAX DIAGRAMS WITH MULTIPORT COMPONENTS." Prikladnaya diskretnaya matematika, no. 41 (September 1, 2018): 85–97. http://dx.doi.org/10.17223/20710410/41/9.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ghica, Dan R., and Aliaume Lopez. "A Structural and Nominal Syntax for Diagrams." Electronic Proceedings in Theoretical Computer Science 266 (February 27, 2018): 71–83. http://dx.doi.org/10.4204/eptcs.266.4.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Braz, Lisa M. "Visual syntax diagrams for programming language statements." ACM SIGDOC Asterisk Journal of Computer Documentation 14, no. 4 (September 1990): 23–27. http://dx.doi.org/10.1145/97435.97987.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Sejans, Janis, and Oksana Nikiforova. "Problems and Perspectives of Code Generation from UML Class Diagram." Scientific Journal of Riga Technical University. Computer Sciences 44, no. 1 (January 1, 2011): 75–84. http://dx.doi.org/10.2478/v10143-011-0024-3.

Повний текст джерела

Анотація:

Problems and Perspectives of Code Generation from UML Class Diagram As a result of increasing technological diversity, more attention is being focused on model driven architecture (MDA), and its standard - Unified Modeling Language (UML). UML class diagrams require correct diagram notation mapping to target programming language syntax under the framework of MDA. Currently there are plenty of CASE tools which claim that they are able to generate the source code from UML models. Therefore by combining the knowledge of a programming language, syntax rules and UML class diagram notation semantic, an experimental model for stressing the code generator can be produced, thus allowing comparison of quality of the transformation result. This paper describes a creation of such experimental models.

Стилі APA, Harvard, Vancouver, ISO та ін.

Selamat, Norhanim. "Similarity Syntax Rules between DFD and UML Diagrams." International Journal of Advanced Trends in Computer Science and Engineering 8, no. 3 (June 25, 2019): 786–94. http://dx.doi.org/10.30534/ijatcse/2019/70832019.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Flower, Jean, John Howse, and John Taylor. "Nesting in Euler Diagrams: syntax, semantics and construction." Software & Systems Modeling 3, no. 1 (March 2004): 55–67. http://dx.doi.org/10.1007/s10270-003-0036-8.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

NIELSEN, THOMAS D., and FINN V. JENSEN. "REPRESENTING AND SOLVING ASYMMETRIC DECISION PROBLEMS." International Journal of Information Technology & Decision Making 02, no. 02 (June 2003): 217–63. http://dx.doi.org/10.1142/s0219622003000604.

Повний текст джерела

Анотація:

This paper deals with the representation and solution of asymmetric Bayesian decision problems. We present a formal framework, termed asymmetric influence diagrams. The framework is based on the syntax and semantics of the traditional influence diagram, and allows an efficient representation of asymmetric decision problems. As opposed to existing frameworks, the asymmetric influence diagram primarily encodes asymmetry at the qualitative level and it can therefore be read directly from the model. We give an algorithm for solving asymmetric influence diagrams. The algorithm initially decomposes the asymmetric decision problem into a structure of symmetric subproblems organized as a tree. A solution to the decision problem can then be found by propagating from the leaves towards the root using existing evaluation methods to solve the subproblems.

Стилі APA, Harvard, Vancouver, ISO та ін.

Šopauskas, Laisvūnas. "Constituency, Explication of the Notion of Syntax, and Diagrams." Žmogus ir žodis 16, no. 4 (December 20, 2014): 44–56. http://dx.doi.org/10.15823/zz.2014.024.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Більше джерел

Дисертації з теми "Syntax diagrams"

Godwin, William. "Formalizing graphical notations." Thesis, Open University, 1998. http://oro.open.ac.uk/57865/.

Повний текст джерела

Анотація:

The thesis describes research into graphical notations for software engineering, with a principal interest in ways of formalizing them. The research seeks to provide a theoretical basis that will help in designing both notations and the software tools that process them. The work starts from a survey of literature on notation, followed by a review of techniques for formal description and for computational handling of notations. The survey concentrates on collecting views of the benefits and the problems attending notation use in software development; the review covers picture description languages, grammars and tools such as generic editors and visual programming environments. The main problem of notation is found to be a lack of any coherent, rigorous description methods. The current approaches to this problem are analysed as lacking in consensus on syntax specification and also lacking a clear focus on a defined concept of notated expression. To address these deficiencies, the thesis embarks upon an exploration of serniotic, linguistic and logical theory; this culminates in a proposed formalization of serniosis in notations, using categorial model theory as a mathematical foundation. An argument about the structure of sign systems leads to an analysis of notation into a layered system of tractable theories, spanning the gap between expressive pictorial medium and subject domain. This notion of 'tectonic' theory aims to treat both diagrams and formulae together. The research gives details of how syntactic structure can be sketched in a mathematical sense, with examples applying to software development diagrams, offering a new solution to the problem of notation specification. Based on these methods, the thesis discusses directions for resolving the harder problems of supporting notation design, processing and computer-aided generic editing. A number of future research areas are thereby opened up. For practical trial of the ideas, the work proceeds to the development and partial implementation of a system to aid the design of notations and editors. Finally the thesis is evaluated as a contribution to theory in an area which has not attracted a standard approach.

Стилі APA, Harvard, Vancouver, ISO та ін.

Jayal, Ambikesh. "Framework to manage labels for e-assessment of diagrams." Thesis, Brunel University, 2010. http://bura.brunel.ac.uk/handle/2438/4496.

Повний текст джерела

Анотація:

Automatic marking of coursework has many advantages in terms of resource benefits and consistency. Diagrams are quite common in many domains including computer science but marking them automatically is a challenging task. There has been previous research to accomplish this, but results to date have been limited. Much of the meaning of a diagram is contained in the labels and in order to automatically mark the diagrams the labels need to be understood. However the choice of labels used by students in a diagram is largely unrestricted and diversity of labels can be a problem while matching. This thesis has measured the extent of the diagram label matching problem and proposed and evaluated a configurable extensible framework to solve it. A new hybrid syntax matching algorithm has also been proposed and evaluated. This hybrid approach is based on the multiple existing syntax algorithms. Experiments were conducted on a corpus of coursework which was large scale, realistic and representative of UK HEI students. The results show that the diagram label matching is a substantial problem and cannot be easily avoided for the e-assessment of diagrams. The results also show that the hybrid approach was better than the three existing syntax algorithms. The results also show that the framework has been effective but only to limited extent and needs to be further refined for the semantic stage. The framework proposed in this Thesis is configurable and extensible. It can be extended to include other algorithms and set of parameters. The framework uses configuration XML, dynamic loading of classes and two design patterns namely strategy design pattern and facade design pattern. A software prototype implementation of the framework has been developed in order to evaluate it. Finally this thesis also contributes the corpus of coursework and an open source software implementation of the proposed framework. Since the framework is configurable and extensible, its software implementation can be extended and used by the research community.

Стилі APA, Harvard, Vancouver, ISO та ін.

Власюк, Богдан Сергійович. "Інтегроване середовище розробки формальних граматик". Bachelor's thesis, КПІ ім. Ігоря Сікорського, 2021. https://ela.kpi.ua/handle/123456789/43990.

Повний текст джерела

Анотація:

Мета роботи: створити систему, за допомогою якої можна перевіряти формальні граматики на граматичні помилки, а також побудувати синтаксичні діаграми. Робота складається з п’яти розділів. У першому розділі формується постановка задачі та розповідається про загальну структуру системи. У другому розділі робиться огляд предметної області та існуючих систем, проводиться їх аналіз. У третьому розділі вказується інструменти за допомогою яких була побудована система. У четвертому розділі описується програмна реалізація системи, в якій розповідається про архітектуру системи, її окремі компоненти та модулі. У п’ятому розділі демонструються приклади з використання системи, наводиться алгоритм взаємодії користувача з системою, і водночас є інструкцією з використання системи.
Purpose of the work is creating a system that can be used to check formal grammars for grammatical errors, as well as to build syntactic diagrams. The work consists of five sections. In the first section the problem statement is formed and the general structure of the system is told. The second section reviews the subject area and existing systems, analyzes them. The third section indicates the tools with which the system was built. The fourth section describes the software implementation of the system, which describes the architecture of the system, its individual components and modules. The fifth section shows examples of how to use the system, provides an algorithm for user interaction with the system, and at the same time provides instructions for using the system.
Цель работы: создать систему, с помощью которой можно проверять формальные грамматики на грамматические ошибки, а также построить синтаксические диаграммы. Работа состоит из пяти разделов. В первом разделе формируется постановка задачи и рассказывается об общей структуре системы. Во втором разделе делается обзор предметной области и существующих систем, проводится их анализ. В третьем разделе указывается инструменты с помощью которых была построена система. В четвертом разделе описывается программная реализация системы, в которой рассказывается об архитектуре системы, ее отдельные компоненты и модули. В пятом разделе демонстрируются примеры по использованию системы, приводится алгоритм взаимодействия пользователя с системой, и одновременно является инструкцией по использованию системы.

Стилі APA, Harvard, Vancouver, ISO та ін.

Zhu, Dan. "Space Syntax Meets Peter Eisenman: Designing the Beijing East Rail Station at Tongzhou." University of Cincinnati / OhioLINK, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1243005557.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Acclavio, Matteo. "String diagram rewriting : applications in category and proof theory." Thesis, Aix-Marseille, 2016. http://www.theses.fr/2016AIXM4100.

Повний текст джерела

Анотація:

Dans le dernier siècle, nombreux sciences ont enrichi leur syntaxe pour pouvoir modeler des interactions. Entre eux on peut compter l'informatique, la physique quantique, et aussi la biologie et l’économie : toutes ces sciences sont des exemples de domaines qui ont besoin d'une syntaxe et d'une sémantique soit pour la concurrence que pour la séquentialité.Les diagrammes des cordes sont bien adapté à cet effet. Dans leur syntaxe on peut retrouver deux compositions : une composition parallèle et une composition séquentielle, qui peuvent interagir à travers une loi d'interchange. Si on considère cette loi comme une égalité, les diagrammes de cordes sont une syntaxe pour les catégories monoidales strictes, avec une représentation graphique plus intuitive que les formules algébriques traditionnelles.Dans cette thèse, on étude cette syntaxe de dimension 2 et sa sémantique. On considéré la réécriture des diagrammes et on donne des applications de cet méthode :- une preuve détaillée du théorème de cohérence de MacLanes pour les catégories monoidales symétriques basée sur un système de réécriture convergent donnée en arXiv:1606.01722;;- une interprétation des dérivations de preuves avec les diagrammes de preuve pour le fragment MELL de la logique linéaire, qui capture l’équivalence de preuves. On peut vérifier la séquentialité en temps linéaire, c'est à dire vérifier si un diagramme corresponds à une preuve. Cette interprétation est une extension de celle pour le fragment MLL donnée en arXiv:1606.09016 en donnant aussi un résultat de élimination du coupure
In the last century, several sciences enriched their syntax in order to model interactions.Not only computer science and quantum physics, but also biology and economicsare examples of fields requiring syntax and semantics for concurrency as wellas for sequentiality.String diagrams are suitable for that purpose. In that syntax, we have two compositions:the parallel one and the sequential one, which may interact by the interchangerule. If we consider this rule as an equality, string diagrams are a syntax for strictmonoidal categories, with a more intuitive graphical representation than traditionalalgebraic formulas.In this thesis, we study this 2-dimensional syntax and its semantics. We considerdiagram rewriting and we give two applications of those methods:• a detailed proof of Mac Lane’s coherence theorem for symmetric monoidal categoriesbased on convergent diagram rewriting, which is given in arXiv:1606.01722;• an interpretation of proof derivations by string diagrams for the MELL fragmentof linear logic, which captures proof equivalence. We get a linear sequentializabilitytest to verify if a diagram corresponds to a proof . This interpretationextends the one for the MLL fragment given in arXiv:1606.09016,providing also a cut-elimination result

Стилі APA, Harvard, Vancouver, ISO та ін.

Gerosa, Tatiana Magalhães. "Desenvolvimento e aplicação de ferramenta metodológica aplicável à identificação de rotas insumo - processo - produto para a produção de combustíveis e derivados sintéticos." Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/86/86131/tde-15062012-094830/.

Повний текст джерела

Анотація:

Este trabalho tem como objetivo a identificação da melhor rota para a produção de combustíveis e derivados sintéticos através do desenvolvimento e aplicação de uma ferramenta metodológica desenvolvida tendo como base ferramentas da qualidade: diagrama de afinidade, diagrama de relações e matriz causa-efeito. Estes diagramas foram adaptados para a análise e discussão dos fatores positivos e negativos de cada item da tríade considerada: insumo-processo-produto. A partir desta análise foram criadas as matrizes de causa-efeito, também separadas em fatores positivos e negativos para os insumos: gás natural (GN), biomassa e carvão mineral; para os processos: produção de gás de síntese (syngas) a partir do GN, gaseificação do carvão e a gaseificação da biomassa; e para os produtos: óleo lubrificante, óleo diesel, nafta, metanol e amônia. A análise destas matrizes causa-efeito gerou a matriz final, denominada matriz saldo, que permitiu a seleção da rota mais adequada para a produção de combustíveis e derivados sintéticos. Dentre os insumos estudados, o gás natural apresentou evidentes vantagens e, consequentemente, o processo a ser utilizado deve ser a produção do syngas a partir do GN, e dentre os produtos o metanol apresentou maiores benefícios para ser produzido.
This paper aims to present to identify of the best route for the production of fuels and synthetic derivatives through the development and application of a methodological tool based on quality tools: affinity diagram, relations diagram and matrices cause-effect. The diagrams have been adapted for the analysis and discussion of positive and negative factors of each item of the triad considered: feedstock-process-product. From the analysis, matrices of cause and effect were created and also, separated into positive and negative factors for the inputs: natural gas (NG), biomass and coal; for the processes: production of synthesis gas (syngas) from GN, coal gasification and biomass gasification; and for the products: lubricating oil, diesel fuel, naphtha, methanol and ammonia. The analysis of cause-effect matrices generated the final matrix, named balance matrix, which allowed the selection of the most suitable route for the production of fuels and synthetic derivatives. Among the input studied, NG presented remarkable advantages among the others. Therefore, the process to be used should be the production of syngas from NG. Among the products considered, methanol showed the best benefits to be produced.

Стилі APA, Harvard, Vancouver, ISO та ін.

Kathe, Mandar V. "Iron-Based Chemical Looping Gasification Technologies for Flexible Syngas Production from Fossil Fuels with Carbon-di-oxide Capture: Process Systems Simulations, Techno-Economic Analysis." The Ohio State University, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=osu1460460186.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Shafeie, Samrand. "Structure and Properties Investigations of the La2Co1+z(Ti1-xMgx)1-zO6 Perovskite System." Licentiate thesis, Stockholms universitet, Institutionen för material- och miljökemi (MMK), 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-55418.

Повний текст джерела

Анотація:

Perovskite based materials have great potentials for various energy applications and the search for new materials for uses in SOFCs has largely been concentrated to this class of compounds. In this search, we have studied perovskite phases in the system La2Co1+z(Ti1-xMgx)1-zO6, with 0 x 0.9 and z = 0.0, 0.2, 0.4, 0.6. Crystal structures were characterized by XRD and, for selected compositions, also by NPD and SAED. They exhibit with increasing x, as well as increasing z, a progressive increase in symmetry from monoclinic to orthorhombic to rhombohedral. The main focus in this work has been on the investigation of structure-property relations for compositions with 0.0 x 0.5 and z = 0. The nominal oxidation state of Co increases for these with increasing x, from Co2+ for x = 0 to Co3+ for x = 0.5. Magnetic measurements and XANES studies showed that the average spin state of Co changes linearly with increasing x, up to x = 0.5, in accordance with varying proportions of Co with two fixed oxidation states, i.e. Co2+ and Co3+. The data suggests that the Co3+ ions have an IS spin state or a mixture of LS and HS spin states for all compositions with nominally only Co2+ and Co3+ ions, possibly with the exception of the composition with x = 0.1, 0.2 and z = 0, for which the data indicate that the spin state might be HS. The XANES data indicate furthermore that for the perovskite phases with z = 0 and x > 0.5, which in the absence of O atom vacancies contain formally Co4+, the highest oxidation state of Co is Co3+, implying that the substitution of Ti4+ by Mg2+ for x ³ 0.5 effects an oxidation of O2- ions rather than an oxidation of Co3+ ions. The thermal expansion was found to increase nearly linearly with increasing oxidation state of Co. This agrees well with findings in previous studies and is attributable to an increase in the ionic radius of Co3+ ions with increasing temperature, due to a thermal excitation from a LS to IS or LS/HS spin states. High temperature electronic conductivity measurements indicate that the electronic conductivity increases with an increase of both relative and absolute amount of Co3+. The latter can be attributed to an increase in the number of Co-O-Co connections. Additional high temperature magnetic measurements for selected samples, whose susceptibilities did not follow a Curie law behaviour up to room temperature, showed effective magnetic moments that did approach plateaus even at high temperatures (900 K). Interpretations of these data are, however, hindered by the samples losing oxygen during the applied heating-cooling cycle. The present study has shown that the investigated system is suitable for further studies, of more fundamental character, which could provide further insight of the structure-property relationships that depend on the oxidation state of Co.
Studies of cobalt based perovskites for cathode materials in solid oxide fuel cells.

Стилі APA, Harvard, Vancouver, ISO та ін.

Книги з теми "Syntax diagrams"

Universiteit van Amsterdam. Institute for Logic, Language and Computation., ed. The language of graphics: A framework for the analysis of syntax and meaning in maps, charts and diagrams. Amsterdam: Institute for Language, Logic and Computation, Universiteit van Amsterdam, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

J, Holley P., and Leicester Polytechnic. Centre for Applied Research in Information Systems., eds. Syntax checking of entity relationship diagrams. Leicester: The Polytechnic, 1987.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Pelkie, Craig. QUSRTOOL Command Reference: Syntax Diagrams for the Over 300 IBM QUSRTOOL Commands. MC Press, LLC, 1994.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Частини книг з теми "Syntax diagrams"

Blume, Christian, Wilfried Jakob, and John Favaro. "Pascal Syntax Diagrams." In PasRo, 204–12. Berlin, Heidelberg: Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/978-3-642-72848-8_25.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Blume, Christian, Wilfried Jakob, and John Favaro. "C Syntax Diagrams." In PasRo, 219–30. Berlin, Heidelberg: Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/978-3-642-72848-8_29.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Gurr, Corin, and Konstantinos Tourlas. "Formalising the Essence of Diagrammatic Syntax." In Theory and Application of Diagrams, 483–85. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44590-0_42.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Bannister, Michael J., David A. Brown, and David Eppstein. "Confluent Orthogonal Drawings of Syntax Diagrams." In Lecture Notes in Computer Science, 260–71. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-27261-0_22.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Loitsch, Claudia, Karin Müller, Stephan Seifermann, Jörg Henß, Sebastian Krach, Gerhard Jaworek, and Rainer Stiefelhagen. "UML4ALL Syntax – A Textual Notation for UML Diagrams." In Lecture Notes in Computer Science, 598–605. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-94277-3_93.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Piedeleu, Robin, and Fabio Zanasi. "A String Diagrammatic Axiomatisation of Finite-State Automata." In Lecture Notes in Computer Science, 469–89. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71995-1_24.

Повний текст джерела

Анотація:

AbstractWe develop a fully diagrammatic approach to finite-state automata, based on reinterpreting their usual state-transition graphical representation as a two-dimensional syntax of string diagrams. In this setting, we are able to provide a complete equational theory for language equivalence, with two notable features. First, the proposed axiomatisation is finite— a result which is provably impossible for the one-dimensional syntax of regular expressions. Second, the Kleene star is a derived concept, as it can be decomposed into more primitive algebraic blocks.

Стилі APA, Harvard, Vancouver, ISO та ін.

Saeed, Mazin, Faisal Saleh, Sadiq Al-Insaif, and Mohamed El-Attar. "Evaluating the Cognitive Effectiveness of the Visual Syntax of Feature Diagrams." In Requirements Engineering, 180–94. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-43610-3_14.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Heuer, André, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, and Klaus Pohl. "Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams." In Software Product Lines: Going Beyond, 62–76. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15579-6_5.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Bosveld-de Smet, Leonie, and Mark de Vries. "Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants." In Diagrammatic Representation and Inference, 308–20. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-87730-1_28.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Moody, Daniel, and Jos van Hillegersberg. "Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UML Family of Diagrams." In Software Language Engineering, 16–34. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00434-6_3.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Syntax diagrams"

Braz, Lisa M. "Visual syntax diagrams for programming language statements." In the 8th annual international conference. New York, New York, USA: ACM Press, 1990. http://dx.doi.org/10.1145/97426.97987.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Anwer, Sajid, and Mohamed El-Attar. "An Evaluation of the Statechart Diagrams Visual Syntax." In 2014 International Conference on Information Science and Applications (ICISA). IEEE, 2014. http://dx.doi.org/10.1109/icisa.2014.6847358.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Saldarriaga, Juan Alejandro. "Diagrama y Arquitectura. La Sintaxis Espacial en el Carpenter Center for the Visual Arts." In LC2015 - Le Corbusier, 50 years later. Valencia: Universitat Politècnica València, 2015. http://dx.doi.org/10.4995/lc2015.2015.888.

Повний текст джерела

Анотація:

Resumen: El proceso de diseño para el CCVA comienza con dos frases que escribe Le Corbusier durante su primera visita al sitio en 1959. Sólo cinco meses después hace los primeros dibujos. De ahí la relación de este edificio con la sintaxis, si ésta se entiende como la búsqueda del orden y de la relación de los espacios. La sintaxis se observa aquí desde las primeras imágenes literarias hasta el nivel de definición de la forma, en el que se usan maquetas esquemáticas y desarmables, así como recortes de las áreas requeridas por el programa, con los que se experimenta de diversas maneras en un plano del sitio. Además de su interés persistente por diversos tipos de circulación, esta metodología emparenta al edificio con algunos proyectos de Le Corbusier donde también hace uso de los diagramas funcionales, o "diagrammes à bulles", como él los llama. El mismo tipo de diagrama fue usado más tarde por Bill Hillier en un método para analizar la arquitectura que llamó la "sintaxis espacial". Este método, además de analizar el orden y la relación de los espacios, permite entender su permeabilidad con el espacio público. Al ser un edificio atravesado por una ruta pública, y al iniciarse con imágenes literarias, se hace pertinente verlo a través de su sintaxis espacial. Abstract: The design process for the CCVA begins with two phrases that Le Corbusier writes during his first visit to the site in 1959. Only five months later the first drawings appear. Hence the relationship of the building with the syntax, if this is understood as the search for the order and the relationships in space. The syntax is observed here from the first literary images up to the definition of the form, in which schematic architectural models are used, but also cut-out areas required by the program, which are disposed in different ways on a site plan. In addition to his persistent interest in various types of movement, this methodology can also be seen in other projects where Le Corbusier also makes use of functional diagrams, or as he calls them: "diagrammes à bulles ". The same kind of diagram was used later by Bill Hillier in a method for analyzing architecture that he called the "space syntax". This method, in addition to analyzing the order and the relationship of spaces, can help to understand their permeability with respect to public space. As a building crossed by a public path, and as design process that starts with literary images, it becomes relevant to see it through its spatial syntax. Palabras clave: Le Corbusier; diagrama, sintaxis espacial; espacio público; métodos de creación. Keywords: Le Corbusier; diagram, space syntax; public space; creation methods. DOI: http://dx.doi.org/10.4995/LC2015.2015.888

Стилі APA, Harvard, Vancouver, ISO та ін.

Anaby-Tavor, Ateret, David Amid, Amit Fisher, Harold Ossher, Rachel Bellamy, Matthew Callery, Michael Desmond, et al. "An algorithm for identifying the abstract syntax of graph-based diagrams." In 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE, 2009. http://dx.doi.org/10.1109/vlhcc.2009.5295266.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Gogolla, Martin. "Exploring ER and RE syntax and semantics with metamodel object diagrams." In the 2005 symposia. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1234324.1234330.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Khatun, Afrina, and Kazi Sakib. "An automatic test suite regeneration technique ensuring state model coverage using UML diagrams and source syntax." In 2016 International Conference on Informatics, Electronics and Vision (ICIEV). IEEE, 2016. http://dx.doi.org/10.1109/iciev.2016.7759974.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Wang, Randi, and Vadim Shapiro. "Topological Semantics for Lumped Parameter Systems Modeling." In ASME 2019 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/detc2019-98181.

Повний текст джерела

Анотація:

Abstract Behaviors of many engineering systems are described by lumped parameter models that encapsulate the spatially distributed nature of the system into networks of lumped elements; the dynamics of such a network is governed by a system of ordinary differential and algebraic equations. Languages and simulation tools for modeling such systems differ in syntax, informal semantics, and in the methods by which such systems of equations are generated and simulated, leading to numerous interoperability challenges. We propose to unify semantics of all such systems using standard notions from algebraic topology. In particular, Tonti diagrams classify all physical theories in terms of physical laws (topological and constitutive) defined over a pair of dual cochain complexes and may be used to describe different types of lumped parameter systems. We show that all possible methods for generating the corresponding state equations within each physical domain correspond to paths over Tonti diagrams. We further propose a generalization of Tonti diagram that captures the behavior and supports canonical generation of state equations for multi-domain lumped parameter systems. The unified semantics provides a basis for greater interoperability in systems modeling, supporting automated translation, integration, reuse, and numerical simulation of models created in different authoring systems and applications. Notably, the proposed algebraic topological semantics is also compatible with spatially and temporally distributed models that are at the core of modern CAD and CAE systems.

Стилі APA, Harvard, Vancouver, ISO та ін.

Minas, Mark. "Syntax analysis for diagram editors." In the working conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1133265.1133300.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

ESSAM, ALI. "Methodological Approach of Integrating Voronoi Diagram into Space Syntax." In Third International Conference on Advances in Applied Science and Environmental Technology - ASET 2015. Institute of Research Engineers and Doctors, 2015. http://dx.doi.org/10.15224/978-1-63248-084-2-35.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Zhao, Rui. "Incremental recognition in gesture-based and syntax-directed diagram editors." In the SIGCHI conference. New York, New York, USA: ACM Press, 1993. http://dx.doi.org/10.1145/169059.169103.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!