Project description: Foundations and tools for building well-behaved systems

Jyrki Katajainen; Amr Elmasry; Jon Daniel Elverkilde; Claus Jensen; Jens Rasmussen; Bo Simonsen; Lars Yde; Cyrille Artho; Gianni Francechini; Sibylle Schupp

Project description: Foundations and tools for building well-behaved systems

Jyrki Katajainen, Amr Elmasry, Jon Daniel Elverkilde, Claus Jensen, Jens Rasmussen, Bo Simonsen, Lars Yde, Cyrille Artho, Gianni Francechini, Sibylle Schupp

1536 Downloads (Pure)

Abstract

We aim at doing basic research on the theoretical foundations on how to build reliable, safe, and fast software systems, and developing tools that make the construction and maintenance of such systems easier.
The theoretical questions taken up are related to algorithms, exception safety, and memory management, among other things, and the practical implementation calls for tools to test that components are well-behaved.Our goals are: 1) To study the foundation of a program library in order to gain new knowledge and thereby optimize existing components. 2) To develop software tools which make construction of reliable components easier and are of general interest. 3) To build a program library, the development of which can be used as a reality exercise when training software developers.

Original language	English
Place of Publication	København
Publisher	Department of Computer Science, University of Copenhagen
Pages	1-7
Number of pages	7
Publication status	Published - 2008

Access to Document

Project-descriptionFinal published version, 139 KB

Cite this

@techreport{a4335b80050811deb05e000ea68e967b,

title = "Project description: Foundations and tools for building well-behaved systems",

abstract = "We aim at doing basic research on the theoretical foundations on how to build reliable, safe, and fast software systems, and developing tools that make the construction and maintenance of such systems easier.The theoretical questions taken up are related to algorithms, exception safety, and memory management, among other things, and the practical implementation calls for tools to test that components are well-behaved.Our goals are: 1) To study the foundation of a program library in order to gain new knowledge and thereby optimize existing components. 2) To develop software tools which make construction of reliable components easier and are of general interest. 3) To build a program library, the development of which can be used as a reality exercise when training software developers.",

author = "Jyrki Katajainen and Amr Elmasry and Elverkilde, {Jon Daniel} and Claus Jensen and Jens Rasmussen and Bo Simonsen and Lars Yde and Cyrille Artho and Gianni Francechini and Sibylle Schupp",

year = "2008",

language = "English",

pages = "1--7",

publisher = "Department of Computer Science, University of Copenhagen",

type = "WorkingPaper",

institution = "Department of Computer Science, University of Copenhagen",

}

TY - UNPB

T1 - Project description: Foundations and tools for building well-behaved systems

AU - Katajainen, Jyrki

AU - Elmasry, Amr

AU - Elverkilde, Jon Daniel

AU - Jensen, Claus

AU - Rasmussen, Jens

AU - Simonsen, Bo

AU - Yde, Lars

AU - Artho, Cyrille

AU - Francechini, Gianni

AU - Schupp, Sibylle

PY - 2008

Y1 - 2008

N2 - We aim at doing basic research on the theoretical foundations on how to build reliable, safe, and fast software systems, and developing tools that make the construction and maintenance of such systems easier.The theoretical questions taken up are related to algorithms, exception safety, and memory management, among other things, and the practical implementation calls for tools to test that components are well-behaved.Our goals are: 1) To study the foundation of a program library in order to gain new knowledge and thereby optimize existing components. 2) To develop software tools which make construction of reliable components easier and are of general interest. 3) To build a program library, the development of which can be used as a reality exercise when training software developers.

AB - We aim at doing basic research on the theoretical foundations on how to build reliable, safe, and fast software systems, and developing tools that make the construction and maintenance of such systems easier.The theoretical questions taken up are related to algorithms, exception safety, and memory management, among other things, and the practical implementation calls for tools to test that components are well-behaved.Our goals are: 1) To study the foundation of a program library in order to gain new knowledge and thereby optimize existing components. 2) To develop software tools which make construction of reliable components easier and are of general interest. 3) To build a program library, the development of which can be used as a reality exercise when training software developers.

M3 - Working paper

SP - 1

EP - 7

BT - Project description: Foundations and tools for building well-behaved systems

PB - Department of Computer Science, University of Copenhagen

CY - København

ER -

Project description: Foundations and tools for building well-behaved systems

Abstract

Access to Document

Fingerprint

Cite this