Skip to content

admin

Concurrency, Specification and Programming – Book

Concurrency, Specification and Programming
H. Schlingloff, T. Vogel, and A. Skowron (eds)
In Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming
Abstract:
This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing… Read more

Software Engineering and Formal Methods – Book

Software Engineering and Formal Methods.
H. Schlingloff, M. Chai (eds)
In Proc. of 20th International Conference (SEFM 2022)
Abstract:
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 shor… Read more

Energy-Saving Strategies for Mobile Web Apps and their Measurement: Results from a Decade of Research in ICSE

Energy-Saving Strategies for Mobile Web Apps and their Measurement: Results from a Decade of Research
Benedikt Dornauer, Michael Felderer
In Mobilesoft2023 co-located ICSE – 2023
Abstract:
In 2022, over half of the web traffic was accessed through mobile devices. By reducing the energy consumption of mobile web apps, we can not only extend the ba… Read more

Automation of the Creation and Execution of System Level Hardware-in-Loop Tests through Model-Based Testing in A-TEST

Automation of the Creation and Execution of System Level Hardware-in-Loop Tests through Model-Based Testing
Viktor Aronsson Karlsson, Ahmed Almasri, Eduard Paul Enoiu, Wasif Afzal, Peter Charbachi
In The 13th Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST’22)
Abstract:
In this paper, we apply model-based testing… Read more

Natural Language Processing for Requirements Formalization: How to Derive New Approaches? – Book chapter

Natural Language Processing for Requirements Formalization: How to Derive New Approaches?
Viju Sudhi, Libin Kutty, Robin Gröpler
In Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming
Abstract:
It is a long-standing desire of industry and research to automate the software development and tes… Read more

Automatisierte Modell- und Testgenerierung aus textuellen Anforderungen – Der Einsatz von Natural

Automatisierte Modell- und Testgenerierung aus textuellen Anforderungen – Der Einsatz von Natural Language Processing
Robin Gröpler, Viju Sudhi, Libin Kutty
In AUTOMATION 2022
Abstract:
NA
Full Text:

Bibtex: @book{2022:vdi_wissensforum_gmbh:automation, title = {Automation 2022}, year = {2022}, publisher = {VDI Verlag}, address = {Düsseldorf… Read more