Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By SCITEPRESS - Science And And Technology Publications

9789897581892

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

End to End Specification based Test Generation of Web Applications

Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering ◽

10.5220/0005919102960302 ◽

2016 ◽

Author(s):

Khusbu Bubna

Keyword(s):

Test Generation ◽

Web Applications ◽

End To End

Download Full-text

Teaching of Formal Methods for Software Engineering

Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering ◽

10.5220/0005928503700376 ◽

2016 ◽

Cited By ~ 4

Author(s):

Maria Spichkova ◽

Anna Zamansky

Keyword(s):

Software Engineering ◽

Formal Methods

Download Full-text

On Source Code Optimization for Interpreted Languages using State Models

Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering ◽

10.5220/0005917802820287 ◽

2016 ◽

Cited By ~ 1

Author(s):

Jorge López ◽

Natalia Kushik ◽

Nina Yevtushenko

Keyword(s):

Source Code ◽

Code Optimization ◽

State Models

Download Full-text

Multi-variant Model Transformations — A Problem Statement

Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering ◽

10.5220/0005878702030209 ◽

2016 ◽

Cited By ~ 3

Author(s):

Felix Schwägerl ◽

Thomas Buchmann ◽

Bernhard Westfechtel

Keyword(s):

Model Transformations ◽

Problem Statement

Download Full-text

Formal Methods in Collaborative Projects

Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering ◽

10.5220/0005937403960402 ◽

2016 ◽

Cited By ~ 7

Author(s):

Anna Zamansky ◽

Guillermo Rodriguez-Navas ◽

Mark Adams ◽

Maria Spichkova

Keyword(s):

Formal Methods

Download Full-text

Let`s Make it Fun: Gamifying and Formalizing Code Review

Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering ◽

10.5220/0005937203910395 ◽

2016 ◽

Cited By ~ 1

Author(s):

Naomi Unkelos-Shpigel ◽

Irit Hadar

Keyword(s):

Code Review

Download Full-text

AWSM - Agile Web Migration for SMEs

Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering ◽

10.5220/0005869301890194 ◽

2016 ◽

Cited By ~ 1

Author(s):

Sebastian Heil ◽

Martin Gaedke

Download Full-text

The Validation Possibility of Topological Functioning Model using the Cameo Simulation Toolkit

Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering ◽

10.5220/0005926003270336 ◽

2016 ◽

Author(s):

Viktorija Ovchinnikova ◽

Erika Nazaruka

Download Full-text

Are Suggestions of Coupled File Changes Interesting?

Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering ◽

10.5220/0005854400150026 ◽

2016 ◽

Cited By ~ 3

Author(s):

Jasmin Ramadani ◽

Stefan Wagner

Download Full-text

Source and Test Code Size Prediction - A Comparison between Use Case Metrics and Objective Class Points

Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering ◽

10.5220/0005857601720180 ◽

2016 ◽

Author(s):

Mourad Badri ◽

Linda Badri ◽

William Flageol

Keyword(s):

Use Case ◽

Code Size

Download Full-text

Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By SCITEPRESS - Science And And Technology Publications

End to End Specification based Test Generation of Web Applications

Teaching of Formal Methods for Software Engineering

On Source Code Optimization for Interpreted Languages using State Models

Multi-variant Model Transformations — A Problem Statement

Formal Methods in Collaborative Projects

Let`s Make it Fun: Gamifying and Formalizing Code Review

AWSM - Agile Web Migration for SMEs

The Validation Possibility of Topological Functioning Model using the Cameo Simulation Toolkit

Are Suggestions of Coupled File Changes Interesting?

Source and Test Code Size Prediction - A Comparison between Use Case Metrics and Objective Class Points

Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering
Latest Publications