Software Technologies: Applications and Foundations - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319502298, 9783319502304

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards an Automated Classification of Spreadsheets

Software Technologies: Applications and Foundations - Lecture Notes in Computer Science ◽

10.1007/978-3-319-50230-4_26 ◽

2016 ◽

pp. 346-355

Author(s):

Jorge Mendes ◽

Kha N. Do ◽

João Saraiva

Keyword(s):

Automated Classification

Download Full-text

Incremental Consistency Checking of Heterogeneous Multimodels

Software Technologies: Applications and Foundations - Lecture Notes in Computer Science ◽

10.1007/978-3-319-50230-4_21 ◽

2016 ◽

pp. 274-288 ◽

Cited By ~ 3

Author(s):

Zinovy Diskin ◽

Harald König

Keyword(s):

Consistency Checking

Download Full-text

Programming Communication with the User in Multiplatform Spreadsheet Applications

Software Technologies: Applications and Foundations - Lecture Notes in Computer Science ◽

10.1007/978-3-319-50230-4_27 ◽

2016 ◽

pp. 356-371

Author(s):

Jerzy Sikora ◽

Jacek Sroka ◽

Jerzy Tyszkiewicz

Download Full-text

Approximating Parikh Images for Generating Deterministic Graph Parsers

Software Technologies: Applications and Foundations - Lecture Notes in Computer Science ◽

10.1007/978-3-319-50230-4_9 ◽

2016 ◽

pp. 112-128 ◽

Cited By ~ 5

Author(s):

Frank Drewes ◽

Berthold Hoffmann ◽

Mark Minas

Download Full-text

Audio Ergo Sum

Software Technologies: Applications and Foundations - Lecture Notes in Computer Science ◽

10.1007/978-3-319-50230-4_5 ◽

2016 ◽

pp. 51-66 ◽

Cited By ~ 2

Author(s):

Riccardo Guidotti ◽

Giulio Rossetti ◽

Dino Pedreschi

Download Full-text

SheetGit: A Tool for Collaborative Spreadsheet Development

Software Technologies: Applications and Foundations - Lecture Notes in Computer Science ◽

10.1007/978-3-319-50230-4_32 ◽

2016 ◽

pp. 415-420

Author(s):

Ricardo Moreira

Download Full-text

Computational Design Synthesis Using Model-Driven Engineering and Constraint Programming

Software Technologies: Applications and Foundations - Lecture Notes in Computer Science ◽

10.1007/978-3-319-50230-4_20 ◽

2016 ◽

pp. 265-273 ◽

Cited By ~ 4

Author(s):

Raphael Chenouard ◽

Chris Hartmann ◽

Alain Bernard ◽

Emmanuel Mermoz

Keyword(s):

Constraint Programming ◽

Computational Design ◽

Model Driven Engineering ◽

Design Synthesis ◽

Model Driven ◽

Computational Design Synthesis

Download Full-text

Visual Notation and Patterns for Abstract State Machines

Software Technologies: Applications and Foundations - Lecture Notes in Computer Science ◽

10.1007/978-3-319-50230-4_12 ◽

2016 ◽

pp. 163-178 ◽

Cited By ~ 3

Author(s):

Paolo Arcaini ◽

Silvia Bonfanti ◽

Angelo Gargantini ◽

Elvinia Riccobene

Keyword(s):

State Machines ◽

Abstract State Machines ◽

Visual Notation

Download Full-text

TrueGrid: Code the Table, Tabulate the Data

Software Technologies: Applications and Foundations - Lecture Notes in Computer Science ◽

10.1007/978-3-319-50230-4_29 ◽

2016 ◽

pp. 388-393

Author(s):

Felienne Hermans ◽

Tijs van der Storm

Download Full-text

“Boring Formal Methods” or “Sherlock Holmes Deduction Methods”?

Software Technologies: Applications and Foundations - Lecture Notes in Computer Science ◽

10.1007/978-3-319-50230-4_18 ◽

2016 ◽

pp. 242-252 ◽

Cited By ~ 8

Author(s):

Maria Spichkova

Keyword(s):

Formal Methods ◽

Sherlock Holmes

Download Full-text

Software Technologies: Applications and Foundations - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Towards an Automated Classification of Spreadsheets

Incremental Consistency Checking of Heterogeneous Multimodels

Programming Communication with the User in Multiplatform Spreadsheet Applications

Approximating Parikh Images for Generating Deterministic Graph Parsers

Audio Ergo Sum

SheetGit: A Tool for Collaborative Spreadsheet Development

Computational Design Synthesis Using Model-Driven Engineering and Constraint Programming

Visual Notation and Patterns for Abstract State Machines

TrueGrid: Code the Table, Tabulate the Data

“Boring Formal Methods” or “Sherlock Holmes Deduction Methods”?

Software Technologies: Applications and Foundations - Lecture Notes in Computer Science
Latest Publications