Can we enforce a benefit for dynamically typed languages in comparison to statically typed ones? A controlled experiment

2016 ◽  
Author(s):  
Sebastian Okon ◽  
Stefan Hanenberg
Keyword(s):  
Controlled Experiment ◽  
Typed Languages

Short‐Termist CEO Compensation in Speculative Markets: A Controlled Experiment†

2021 ◽  
Author(s):  
Yen‐Cheng Chang ◽  
Minjie Huang ◽  
Yu‐Siang Su ◽  
Kevin Tseng
Keyword(s):  
Ceo Compensation ◽  
Controlled Experiment

scholarly journals Health warning labels and alcohol selection: a randomised controlled experiment in a naturalistic shopping laboratory

Addiction ◽  
2021 ◽  
Author(s):  
Natasha Clarke ◽  
Anna K. M. Blackwell ◽  
Katie De‐loyde ◽  
Emily Pechey ◽  
Alice Hobson ◽  
...  
Keyword(s):  
Controlled Experiment ◽  
Warning Labels ◽  
Health Warning ◽  
Randomised Controlled

Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment

2021 ◽  
Vol 30 (4) ◽  
pp. 1-29
Author(s):  
Philipp Paulweber ◽  
Georg Simhandl ◽  
Uwe Zdun
Keyword(s):  
Formal Methods ◽  
Formal Method ◽  
Object Oriented ◽  
Controlled Experiment ◽  
Specification Languages ◽  
Randomized Design ◽  
Textual Description ◽  
Efficiency And Effectiveness ◽  
Completely Randomized Design ◽  
Experimental Group

Abstract State Machine (ASM) theory is a well-known state-based formal method. As in other state-based formal methods, the proposed specification languages for ASMs still lack easy-to-comprehend abstractions to express structural and behavioral aspects of specifications. Our goal is to investigate object-oriented abstractions such as interfaces and traits for ASM-based specification languages. We report on a controlled experiment with 98 participants to study the specification efficiency and effectiveness in which participants needed to comprehend an informal specification as problem (stimulus) in form of a textual description and express a corresponding solution in form of a textual ASM specification using either interface or trait syntax extensions. The study was carried out with a completely randomized design and one alternative (interface or trait) per experimental group. The results indicate that specification effectiveness of the traits experiment group shows a better performance compared to the interfaces experiment group, but specification efficiency shows no statistically significant differences. To the best of our knowledge, this is the first empirical study studying the specification effectiveness and efficiency of object-oriented abstractions in the context of formal methods.

Sign in / Sign up

Export Citation Format

Share Document