Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Sun 17 Jul 2016 11:25 - 11:55 at Belli - Session 1

A programming language design must strike a balance between validatability, expressiveness, and efficiency. Bridging the gap between domain concepts and the encoding of these concepts in a programming language is one of the core challenges of software engineering. The validatability of a language is a measure of the size of this gap. In a language with a high validatability index, one can express intent with relatively little encoding, which makes it straightforward to establish that a program ‘does the right thing’. Validatability decreases with increasing encoding.

The objective of my thesis work is to do a case study to investigate this balance in the domain of information systems. Information systems are systems for the collection, organization, storage, and communication of information. Information systems aim to support operations, management and decision-making. In order to do this, the data in information systems is filtered and processed to create new data.

Sun 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:05 - 12:25: Session 1Doctoral Symposium at Belli
10:05 - 10:35
Talk
Doctoral Symposium
A: Lisa Nguyen Quang DoFraunhofer IEM
10:35 - 11:05
Talk
Doctoral Symposium
A: Adam ZiolkowskiUniversity of East Anglia
11:05 - 11:25
Coffee break
Doctoral Symposium
11:25 - 11:55
Talk
Doctoral Symposium
A: Daco HarkesDelft University of Technology
11:55 - 12:25
Talk
Doctoral Symposium
A: David DaraisUniversity of Maryland, College Park