Aarhus Universitets segl

English

Du er her: AU » Om AU » Organisation » Using supplementary properties to reduce the need for doc...

Om AU

Using supplementary properties to reduce the need for documentation

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

DOI

The purpose of programming languages is to instruct computers and to communicate descriptions of computational processes among people. However, a program has to be supplemented by additional documentation using natural language, diagrams, specifications, models, etc. that also serve the purpose of supporting design and validation. A number of languages have been developed for this purpose, with the cost of having to maintain several descriptions. In this paper, we describe how to include supplementary properties in a programming language to reduce the need for additional languages and to reduce the need for additional documentation. Supplementary properties may restrict access to global variables, enforce restrictions on subclasses, specify required interfaces of modules, etc.
OriginalsprogEngelsk
TitelLeveraging Applications of Formal Methods, Verification and Validation. Software Engineering : Software Engineering
RedaktørerTiziana Margaria, Bernhard Steffen
ForlagSpringer
Udgivelsesårokt. 2022
Sider35-59
ISBN (trykt)978-3-031-19755-0
ISBN (Elektronisk)978-3-031-19756-7
DOI
StatusUdgivet - okt. 2022
Begivenhed11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - Rhodes, Grækenland
Varighed: 24 okt. 2022 → 28 okt. 2022
Konferencens nummer: 11

Konference

Konference11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Nummer11
LandGrækenland
ByRhodes
Periode24/10/2022 → 28/10/2022
SerietitelLecture Notes in Computer Science
Nummer13702
Vol/bindLNCS
ISSN0302-9743

Se relationer på Aarhus Universitet Citationsformater

ID: 302795945