Titlebook: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; AI4EA, F-IDE, CoSim- Paolo Masci,Cinzia Bernardeschi,Maurizio Palm

Ringworm

malapropism

Panacea

死亡率

: Developing Object-Oriented Software Product Lines Using Correctness-by-Constructionource code level..In this tool paper, we present our tool . which supports the development of correct SPLs using CbC including object-orientation and feature-oriented programming. We describe . from user-perspective and explain how it works internally. Additionally, we provide a feasibility evaluati

一個(gè)攪動(dòng)不安

Jürgen Grossmann,Nicolas Grube,Sami Kharma,Dorian Knoblauch,Roman Krajewski,Mariia Kucheiko,Hans-Wer

不斷的變動(dòng)

Sylwia Olbrych,Marco Kemmerling,Hans Aoyang Zhou,Daniel Lütticke,Robert H. Schmitt

orthodox

Daniel Boiar,Nils Killich,Lukas Schulte,Victor Hernandez Moreno,Jochen Deuse,Thomas Liebig

Spongy-Bone

擔(dān)心

點(diǎn)燃