Get started
Source

Electronic Communication of The European Association of Software Science and Technology

Source type: journal
Publisher:
Fully OA: No
DOAJ: No
OpenAlex ID: S112260463
Computing Bounds for Counter Automata
2015 · Maximilien Colange, Dimitri Racordon, et al. · Electronic Communication of The European Association of Software Science and Technology · 1
Analysis of Petri Nets with Context-Free Structure Changes
2015 · Nils Erik Flick, Björn Engelmann · Electronic Communication of The European Association of Software Science and Technology
Preface to the proceedings of FMIS 2013.
2015 · Judy Bowen, Steve Reeves · Electronic Communication of The European Association of Software Science and Technology
The highs and lows of deploying Formal Methods in Industry
2014 · Guy H. Broadfoot · Electronic Communication of The European Association of Software Science and Technology
On the Random Structure of Behavioural Transition Systems
2014 · Jan Friso Groote, Remco van der Hofstad, et al. · Electronic Communication of The European Association of Software Science and Technology
Non-Deterministic Matching Algorithm for Net Transformations
2014 · Julia Padberg, Mathias Blumreiter · Electronic Communication of The European Association of Software Science and Technology
13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014): Preface
2014 · Frank Hermann, Stefan Sauer · Electronic Communication of The European Association of Software Science and Technology
Special Issue of PPAP 2013: Preface
2014 · Surafel Lemma Abebe, Venera Arnaoudova, et al. · Electronic Communication of The European Association of Software Science and Technology
Measuring Copying of Java Archives
2014 · Tetsuya Kanda, Daniel M. Germán, et al. · Electronic Communication of The European Association of Software Science and Technology
How We Know the Practical Impact of Clone Analysis
2014 · Norihiro Yoshida, Eunjong Choi, et al. · Electronic Communication of The European Association of Software Science and Technology
Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior
2013 · Holger Giese · Electronic Communication of The European Association of Software Science and Technology
Interactive Strategy-Based Validation of Behavioral Models
2013 · Ralf Teusner, Gregor Gabrysiak, et al. · Electronic Communication of The European Association of Software Science and Technology
XL4C4D - Adding the Graph Transformation Language XL to CINEMA 4D
2013 · Ole Kniemeyer, Winfried Kurth · Electronic Communication of The European Association of Software Science and Technology
Derivation Languages of Graph Grammars
2013 · Nils Erik Flick · Electronic Communication of The European Association of Software Science and Technology
Semi-automatic Proofs about Object Graphs in Separation Logic
2012 · Holger Gast · Electronic Communication of The European Association of Software Science and Technology
Conditions in Reactive Systems and in Graph Rewriting
2012 · Barbara Koenig · Electronic Communication of The European Association of Software Science and Technology
EduSymp 2011 - Preface
2012 · Andreas Winter, Marion Brandsteidl · Electronic Communication of The European Association of Software Science and Technology
MPM 2010 Preface
2011 · Vasco Amaral, Hans Vangheluwe, et al. · Electronic Communication of The European Association of Software Science and Technology
Preface for FMIS 2011
2011 · Judy Bowen, Steve Reeves · Electronic Communication of The European Association of Software Science and Technology
Modelling Emergency Scenarios using Algebraic High Level Net Transformation Systems with Net Patterns
2011 · Frank Trollmann, Maximilian Kern, et al. · Electronic Communication of The European Association of Software Science and Technology
New Media in Teaching UML in the Large — an Experience Report
2011 · Marion Brandsteidl, Konrad Wieland, et al. · Electronic Communication of The European Association of Software Science and Technology
The Role of User Guidance in the Industrial Adoption of MDE Approach
2011 · Jari Rauhamäki, Outi Laitinen, et al. · Electronic Communication of The European Association of Software Science and Technology
Role Allocation and Scheme in Software Engineering Course Projects
2011 · G Alipour · Electronic Communication of The European Association of Software Science and Technology
Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems
2011 · Christoph Blume · Electronic Communication of The European Association of Software Science and Technology
Preface of the Workshop on Visual Formalisms for Patterns, VFfP'10
2011 · Paolo Bottoni, Esther Guerra, et al. · Electronic Communication of The European Association of Software Science and Technology
Works count: 58
Citation count: 1
H-index: 1
I10-index:
2yr mean citedness:
Year
Topic
Type