Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             198 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A binary decision diagram lifted domain for analyzing program families Dimovski, Aleksandar S.
C p.
 artikel
2 A compiler and virtual machine for constraint-logic object-oriented programming with Muli Dageförde, Jan C.
C p. 63-78
 artikel
3 A domain-specific language for describing machine learning datasets Giner-Miguelez, Joan
C p.
 artikel
4 A domain-specific language for structure manipulation in constraint system-based GUIs Stokke, Knut Anders
C p.
 artikel
5 Aesthetics and comprehension of curved 3D graphs in Virtual Reality Drogemuller, Adam
C p.
 artikel
6 A framework for managing the imperfect modularity of variability implementations Tërnava, Xhevahire
C p.
 artikel
7 A gradual type system for Elixir Cassola, Mauricio
C p.
 artikel
8 A graph-based model for build optimization sequences: A study of optimization sequence length impacts on code size and speedup Queiroz Jr, Nilton Luiz
C p.
 artikel
9 AI-based clustering of similar issues in GitHub’s repositories Eyal Salman, Hamzeh
C p.
 artikel
10 A lightweight push-pull mechanism for implicitly using signals in imperative programming Zhuang, YungYu
C p.
 artikel
11 A methodology for refactoring ORM-based monolithic web applications into microservices Freitas, Francisco
C p.
 artikel
12 A multi-objective search based approach to identify reusable software components Rathee, Amit
C p. 26-43
 artikel
13 An accurate and fast method for computing offsets of high degree rational Bézier/NURBS curves with user-definable tolerance Qiao, Zhifeng
C p. 1-9
 artikel
14 A Nano-Pattern Language for Java Gil, Yossi
C p.
 artikel
15 An approach to build JSON-based Domain Specific Languages solutions for web applications Chavarriaga, Enrique
C p.
 artikel
16 An end-to-end model-based approach to support big data analytics development Khalajzadeh, Hourieh
C p.
 artikel
17 A new versioning approach for collaboration in blended modeling Exelmans, Joeri
C p.
 artikel
18 An examination of color theories in map-based information visualization Einakian, Sussan
C p. 143-153
 artikel
19 An instrumentation framework for performance analysis of Halide schedules Machado, Rafael Ravedutti L.
C p.
 artikel
20 An intrinsically-typed solution for the list-machine benchmark Feitosa, Samuel
C p.
 artikel
21 A novel data-driven approach on inferring loop invariants for C programs Lu, Hong
C p.
 artikel
22 API comparison knowledge extraction via prompt-tuned language model Yang, Yangrui
C p.
 artikel
23 Applications of model-driven engineering in cyber-physical systems: A systematic mapping study Mohamed, Mustafa Abshir
C p.
 artikel
24 Applying model-driven engineering to high-performance computing: Experience report, lessons learned, and remaining challenges Lelandais, Benoît
C p.
 artikel
25 A proposed approach to determining expertise level of StackOverflow programmers based on mining of user comments Diyanati, Ahmad
C p.
 artikel
26 APRSuite: A suite of components and use cases based on categorical decomposition of automatic program repair techniques and tools Khalilian, Alireza
C p.
 artikel
27 A scalable, flow-and-context-sensitive taint analysis of android applications Choi, Wontae
C p. 1-14
 artikel
28 A sensemaking analysis of API learning using React Kelleher, Caitlin
C p.
 artikel
29 A study of the effects of narration on comprehension and memorability of visualisations Obie, Humphrey O.
C p. 113-124
 artikel
30 A surprisingly simple Lua compiler—Extended version Gualandi, Hugo Musso
C p.
 artikel
31 A survey of Model Driven Engineering in robotics de Araújo Silva, Edson
C p.
 artikel
32 A systematic literature review on automatic website generation Kaluarachchi, Thisaranie
C p.
 artikel
33 A test amplification bot for Pharo/Smalltalk Abdi, Mehrdad
C p.
 artikel
34 AtoMixer: Atom-based interactive visual exploration of traffic surveillance data Sun, Guodao
C p. 53-62
 artikel
35 A tool-supported approach for assessing the quality of modeling artifacts Basciani, Francesco
C p. 173-192
 artikel
36 Augmenting metamodels with seamless support for planning, tracking, and slicing model evolution timelines Nieke, Michael
C p.
 artikel
37 Authoring logically sequenced visual data stories with Gravity Obie, Humphrey O.
C p.
 artikel
38 Automated analysis of two-layered feature models with feature attributes Lettner, Michael
C p. 154-172
 artikel
39 Automatic advertising image color design incorporating a visual color analyzer You, Wei-Tao
C p.
 artikel
40 Automatic compiler/interpreter generation from programs for Domain-Specific Languages: Code bloat problem and performance improvement Kovačević, Željko
C p.
 artikel
41 Automatic mandala pattern design and generation based on COOM framework Xu, Shuchang
C p.
 artikel
42 Automatic resolution of model merging conflicts using quality-based reinforcement learning Sharbaf, Mohammadreza
C p.
 artikel
43 AutoReq: Expressing and verifying requirements for control systems Naumchev, Alexandr
C p. 131-142
 artikel
44 A visual notation for succinct program traces Bajaj, Divya
C p.
 artikel
45 Bag context picture grammars Ewert, Sigrid
C p. 214-221
 artikel
46 Beyond the digital Jordan curve: Unconstrained simple pixel-based raster relations Dube, Matthew P.
C p.
 artikel
47 Block-based abstractions and expansive services to make advanced computing concepts accessible to novices Brady, Corey
C p.
 artikel
48 ChartVi: Charts summarizer for visually impaired Mishra, Prerna
C p.
 artikel
49 CHESSIoT: A model-driven approach for engineering multi-layered IoT systems Ihirwe, Felicien
C p.
 artikel
50 Code4Bench: A multidimensional benchmark of Codeforces data for different program analysis techniques Majd, Amirabbas
C p. 38-52
 artikel
51 Code generation using model driven architecture: A systematic mapping study Sebastián, Gabriel
C p.
 artikel
52 Combi-FL: Neural network and SBFL based fault localization using mutation analysis Dutta, Arpita
C p.
 artikel
53 Combining stream with data parallelism abstractions for multi-cores Löff, Júnior
C p.
 artikel
54 COMORP: Rapid prototyping for mathematical database cost models development Ouared, Abdelkader
C p.
 artikel
55 Composition operators for modeling languages: A literature review Pfeiffer, Jérôme
C p.
 artikel
56 Context-sensitive parsing for programming languages Slivnik, Boštjan
C p.
 artikel
57 Dandelion: A scalable, cloud-based graphical language workbench for industrial low-code development Martínez-Lasaca, Francisco
C p.
 artikel
58 Deriving overloaded success type schemes in Erlang López-Fraguas, Francisco J.
C p.
 artikel
59 Design, implementation and evaluation of the Hedy programming language Gilsing, Marleen
C p.
 artikel
60 E-APK: Energy pattern detection in decompiled android applications Gregório, Nelson
C p.
 artikel
61 Editorial Board
C p.
 artikel
62 Editorial Board
C p.
 artikel
63 Editorial Board
C p.
 artikel
64 Editorial Board
C p.
 artikel
65 Editorial Board
C p.
 artikel
66 Editorial Board
C p. ii
 artikel
67 Editorial Board
C p.
 artikel
68 Editorial Board
C p.
 artikel
69 Editorial Board
C p. ii
 artikel
70 Editorial Board
C p.
 artikel
71 Editorial Board
C p.
 artikel
72 Editorial Board
C p.
 artikel
73 Editorial Board
C p.
 artikel
74 Editorial Board
C p.
 artikel
75 Editorial Board
C p.
 artikel
76 Editorial Board
C p.
 artikel
77 Editorial Board
C p.
 artikel
78 Editorial Board
C p.
 artikel
79 Editorial Board
C p.
 artikel
80 Editorial Board
C p.
 artikel
81 Editorial Board
C p. ii
 artikel
82 Editorial Board
C p.
 artikel
83 Editorial Board
C p.
 artikel
84 Editorial Board
C p.
 artikel
85 Editorial Board
C p.
 artikel
86 Editorial Board
C p.
 artikel
87 Editorial Board
C p.
 artikel
88 Editorial for GPCE&SLE2018 Special Issue Pearce, David
C p.
 artikel
89 Editorial for Visual Information Communication and Interaction (VINCI 2018) Klein, Karsten
C p.
 artikel
90 Eigenedge: A measure of edge centrality for big graph exploration Huang, Xiaodi
C p.
 artikel
91 eJSTK: Building JavaScript virtual machines with customized datatypes for embedded systems Ugawa, Tomoharu
C p. 261-279
 artikel
92 End-user development for interactive web-based virtual reality scenes Yigitbas, Enes
C p.
 artikel
93 Enforcing globally dependent flow policies in message-passing systems Li, Ximeng
C p.
 artikel
94 EpidNews: Extracting, exploring and annotating news for monitoring animal diseases Goel, Rohan
C p.
 artikel
95 Examining virtual reality navigation techniques for 3D network visualisations Drogemuller, Adam
C p.
 artikel
96 Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines Bordis, Tabea
C p.
 artikel
97 Fast GLR parsers for extended BNF grammars and transition networks Borsotti, Angelo
C p.
 artikel
98 FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis Smits, Jeff
C p.
 artikel
99 Fuzzing-based grammar learning from a minimal set of seed inputs Sochor, Hannes
C p.
 artikel
100 General parsing with regular expression matching Borsotti, Angelo
C p.
 artikel
101 Generating customized low-code development platforms for digital twins Dalibor, Manuela
C p.
 artikel
102 Graph-Related Properties for Comparing Dynamic Call Graphs Burch, Michael
C p.
 artikel
103 GraphTQL: A visual query system for graph databases Pabón, María Constanza
C p. 97-111
 artikel
104 Gravity++: A graph-based framework for constructing interactive visualization narratives Obie, Humphrey O.
C p.
 artikel
105 Guiding feature model evolution by lifting code-level dependencies Feichtinger, Kevin
C p.
 artikel
106 Handling complex representations in visual modeling tools for MDSD/DSM by means of code generator languages Djukić, Verislav
C p.
 artikel
107 Hapi: A domain-specific language for the declaration of access policies Ramos, Vinícius Julião
C p.
 artikel
108 High-level and efficient structured stream parallelism for rust on multi-cores Pieper, Ricardo
C p.
 artikel
109 How end-user programmers debug visual web-based programs: An information foraging theory perspective Kuttal, Sandeep Kaur
C p. 22-37
 artikel
110 How end-user programmers forage in online repositories? An information foraging perspective Kuttal, Sandeep Kaur
C p.
 artikel
111 Improved software fault prediction using new code metrics and machine learning algorithms Singh, Manpreet
C p.
 artikel
112 Incremental correct-by-construction of distributed systems Benyagoub, Sarah
C p.
 artikel
113 Instruction visibility in SPEC CPU2017 Álvares, Andrei Rimsa
C p.
 artikel
114 Interactive exploration of large time-dependent bipartite graphs Waldner, Manuela
C p.
 artikel
115 Introduction to the special issue on foundations and practice of visual modeling (FPVM) Di Salle, Amleto
C p.
 artikel
116 Introduction to the Special issue on Methods, Tools and Languages for Model-driven Engineering and Low-code Development Kardas, Geylani
C p.
 artikel
117 Introduction to the special issue:SAAP-2017 (Static Analysis of Android Apps: Security and Privacy) Cortesi, Agostino
C p. 25
 artikel
118 Investigating a visual interface for elementary students to formulate AI planning tasks Park, Kyungjin
C p.
 artikel
119 Investigating the relationships between class probabilities and users’ appropriate trust in computer vision classifications of ambiguous images Barbosa, Gabriel Diniz Junqueira
C p.
 artikel
120 Jitana: A modern hybrid program analysis framework for android platforms Tsutano, Yutaka
C p. 55-71
 artikel
121 Knotted-line: A Visual explorer for uncertainty in transportation system Zhao, Weixin
C p. 1-8
 artikel
122 Language impact on productivity for industrial end users: A case study from Programmable Logic Controllers Fronchetti, Felipe
C p.
 artikel
123 Lavoisier: A DSL for increasing the level of abstraction of data selection and formatting in data mining de la Vega, Alfonso
C p.
 artikel
124 Leveraging product line engineering for the development of domain-specific metamodeling languages Samimi-Dehkordi, Leila
C p. 193-213
 artikel
125 LEV4REC: A feature-based approach to engineering RSSEs Di Sipio, Claudio
C p.
 artikel
126 Lexical-based partial redundancy elimination: An optimal algorithm with improved efficiency Roy, Reshma
C p.
 artikel
127 LL-based query answering over RDF databases Medeiros, Ciro M.
C p. 75-87
 artikel
128 Machine learning with word embedding for detecting web-services anti-patterns Kumar, Lov
C p.
 artikel
129 MAD: A visual analytics solution for Multi-step cyber Attacks Detection Angelini, M.
C p. 10-24
 artikel
130 Metamodel clone detection with SAMOS Babur, Önder
C p. 57-74
 artikel
131 Method name recommendation based on source code metrics Parsa, Saeed
C p.
 artikel
132 Minimising line segments in linear diagrams is NP-hard Chapman, Peter
C p.
 artikel
133 Minimum modulus visualization of algebraic fractals Galán, Severino F.
C p.
 artikel
134 ML-LUM: A system for land use mapping by machine learning algorithms Liao, Xiaojin
C p.
 artikel
135 Mobile photo recommendation system of continuous shots based on aesthetic ranking Liu, Keng-Hao
C p. 103-112
 artikel
136 Model consistency as a heuristic for eventual correctness David, Istvan
C p.
 artikel
137 Model-driven round-trip engineering for TinyOS-based WSN applications Marah, Hussein
C p.
 artikel
138 Modeling knowledge and practices in the software industry: An exploratory study of Turkey-educated practitioners Akdur, Deniz
C p.
 artikel
139 Modelling human-centric aspects of end-users with iStar Singh, Harshita
C p.
 artikel
140 Morbig: A Static parser for POSIX shell Régis-Gianas, Yann
C p.
 artikel
141 MoTrans-BDI: Leveraging the Beliefs-Desires-Intentions agent architecture for collaborative model transformation by example Siabdelhadi, Ahmed
C p.
 artikel
142 Multi-level production process modeling language Vještica, Marko
C p.
 artikel
143 Multi modal spatio temporal co-trained CNNs with single modal testing on RGB–D based sign language gesture recognition Ravi, Sunitha
C p. 88-102
 artikel
144 Multi-view routing visualization for the identification of BGP issues Candela, Massimo
C p.
 artikel
145 Negotiation and cooperation between agents for generalizing geographic objects Lejdel, Brahim
C p. 15-27
 artikel
146 NeuroProv: Provenance data visualisation for neuroimaging analyses Arshad, Bilal
C p. 72-87
 artikel
147 On-line synthesis of parsers for string events Saffran, João
C p.
 artikel
148 On solving cycle-free context-free grammar equivalence problem using numerical analysis Almeida, José João
C p. 48-56
 artikel
149 On the cost semantics for spreadsheets with sheet-defined functions Bock, Alexander Asp
C p.
 artikel
150 On the semantics for spreadsheets with sheet-defined functions Bock, Alexander Asp
C p.
 artikel
151 On the use of the analytic hierarchy process in the evaluation of domain-specific modeling languages for multi-agent systems Asici, Tansu Zafer
C p.
 artikel
152 Parametric Modeling and Generation of Mandala Thangka Patterns Zhang, Jiajing
C p.
 artikel
153 PathPair2Vec: An AST path pair-based code representation method for defect prediction Shi, Ke
C p.
 artikel
154 PeachPie: Mature PHP to CLI compiler Husák, Robert
C p.
 artikel
155 Perceptually guided contrast enhancement based on viewing distance Zhou, Liang
C p.
 artikel
156 Preserving hand-drawn qualities in audiovisual performance through sketch-based interaction Bourgault, Samuelle
C p.
 artikel
157 Process-aware digital twin cockpit synthesis from event logs Bano, Dorina
C p.
 artikel
158 Program diagramming and fundamental programming patterns for a polymorphic computing dataflow processor Hentrich, David
C p.
 artikel
159 Program representations for predictive compilation: State of affairs in the early 20’s da Silva, Anderson Faustino
C p.
 artikel
160 Purely functional GLL parsing van Binsbergen, L. Thomas
C p.
 artikel
161 Quantitative program sketching using decision tree-based lifted analysis Dimovski, Aleksandar S.
C p.
 artikel
162 QueryCrumbs search query history visualization – Usability, transparency and long-term usage Schlötterer, Jörg
C p.
 artikel
163 Querying graph databases using context-free grammars Medeiros, Ciro M.
C p.
 artikel
164 React example viability for efficient API learning (REVEAL): A tool to help programmers utilize incompatible code examples in React.js Allen, John
C p.
 artikel
165 Refining semantics for multi-stage programming Ge, Rui
C p. 222-240
 artikel
166 Reflection of terms in attribute grammars: Design and applications Kramer, Lucas
C p.
 artikel
167 Relational reference attribute grammars: Improving continuous model validation Mey, Johannes
C p.
 artikel
168 Requirements development for IoT systems with UCM4IoT Boutot, Paul
C p.
 artikel
169 Research on context of implicit context-sensitive graph grammars Zou, Yang
C p. 241-260
 artikel
170 RT-Trust: Automated refactoring for different trusted execution environments under real-time constraints Liu, Yin
C p.
 artikel
171 Run-time conflict detection in visual language parsing Costagliola, G.
C p.
 artikel
172 Security patterns: A systematic mapping study Jafari, Abbas Javan
C p.
 artikel
173 Selected and extended papers of the Brazilian Symposium on Programming Languages 2019–2020 (SBLP 2019–2020) Sant’Anna, Francisco
C p.
 artikel
174 Smart Block: A visual block language and its programming environment for IoT Bak, Nayeon
C p.
 artikel
175 Solvi: A visual constraint modeling tool Zhu, Xu
C p.
 artikel
176 Special issue on interactive information Visualisation Francese, Rita
C p.
 artikel
177 Special issue on semiotics, human–computer interaction and end-user development Dittrich, Yvonne
C p.
 artikel
178 Special issue on VINCI 2017 best papers Li, Jie
C p.
 artikel
179 Stepwise abstraction of high-level system specifications from source code Ferrarotti, Flavio
C p.
 artikel
180 Structure verification of deep neural networks at compilation time Piñeyro, Leonardo
C p.
 artikel
181 Students’ difficulties with inserting and deleting nodes in a singly linked list in the C programming language Almadhoun, Eman
C p.
 artikel
182 Success factors influencing requirements change management process in global software development Akbar, Muhammad Azeem
C p. 112-130
 artikel
183 Supporting model-based safety analysis for safety-critical IoT systems Ihirwe, Felicien
C p.
 artikel
184 Supporting multi-view development for mobile applications Barnett, Scott
C p. 88-96
 artikel
185 Surveying communities of users of MATLAB and clone languages Reis, Eduardo
C p.
 artikel
186 Taming stateful computations in Rust with typestates Duarte, José
C p.
 artikel
187 Technical debt in procedural model transformation languages Kolahdouz-Rahimi, Shekoufeh
C p.
 artikel
188 The landscape of Block-based programming: Characteristics of block-based environments and how they support the transition to text-based programming Lin, Yuhan
C p.
 artikel
189 The patterns of user experience for sticky-note diagrams in software requirements workshops Gardner, Henry
C p.
 artikel
190 Understanding Practitioners’ Challenges on Software Modeling: A Survey Ozkaya, Mert
C p.
 artikel
191 Visual analysis of customer switching behavior pattern mining for takeout service Du, Yaru
C p.
 artikel
192 Visual analytics and visualization for android security risk Yoo, Sangbong
C p. 9-21
 artikel
193 Visualization and analysis of schema and instances of ontologies for improving user tasks and knowledge discovery Silva, Isabel Cristina Siqueira
C p. 28-47
 artikel
194 Visualization approaches for understanding uncertainty in flow diagrams Vosough, Zana
C p. 44-54
 artikel
195 Visual Programming Environments for End-User Development of intelligent and social robots, a systematic review Coronado, Enrique
C p.
 artikel
196 What about the usability in low-code platforms? A systematic literature review Pinho, Daniel
C p.
 artikel
197 What do practitioners expect from the meta-modeling tools? A survey Ozkaya, Mert
C p.
 artikel
198 Where-provenance for bidirectional editing in spreadsheets Williams, Jack
C p.
 artikel
                             198 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland