Forskning ved Københavns Universitet - Københavns Universitet

Forside

Evolving an OS Kernel Using Temporal Logic and Aspect-Oriented Programming

Publikation: Bidrag til bog/antologi/rapportBidrag til rapportForskning

Standard

Evolving an OS Kernel Using Temporal Logic and Aspect-Oriented Programming. / Åberg, Rickard; Lawall, Julia Laetitia; Sudholt, Mario; Muller, Gilles.

The Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software. Boston, MA, 2003. s. 6.

Publikation: Bidrag til bog/antologi/rapportBidrag til rapportForskning

Harvard

Åberg, R, Lawall, JL, Sudholt, M & Muller, G 2003, Evolving an OS Kernel Using Temporal Logic and Aspect-Oriented Programming. i The Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software. Boston, MA, s. 6.

APA

Åberg, R., Lawall, J. L., Sudholt, M., & Muller, G. (2003). Evolving an OS Kernel Using Temporal Logic and Aspect-Oriented Programming. I The Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (s. 6).

Vancouver

Åberg R, Lawall JL, Sudholt M, Muller G. Evolving an OS Kernel Using Temporal Logic and Aspect-Oriented Programming. I The Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software. Boston, MA. 2003. s. 6

Author

Åberg, Rickard ; Lawall, Julia Laetitia ; Sudholt, Mario ; Muller, Gilles. / Evolving an OS Kernel Using Temporal Logic and Aspect-Oriented Programming. The Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software. Boston, MA, 2003. s. 6

Bibtex

@inbook{e364399074c411dbbee902004c4f4f50,
title = "Evolving an OS Kernel Using Temporal Logic and Aspect-Oriented Programming",
abstract = "aspect-oriented programming, temporal logic, process scheduling, Linux kernel",
author = "Rickard {\AA}berg and Lawall, {Julia Laetitia} and Mario Sudholt and Gilles Muller",
year = "2003",
language = "English",
pages = "6",
booktitle = "The Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software",

}

RIS

TY - GEN

T1 - Evolving an OS Kernel Using Temporal Logic and Aspect-Oriented Programming

AU - Åberg, Rickard

AU - Lawall, Julia Laetitia

AU - Sudholt, Mario

AU - Muller, Gilles

PY - 2003

Y1 - 2003

N2 - aspect-oriented programming, temporal logic, process scheduling, Linux kernel

AB - aspect-oriented programming, temporal logic, process scheduling, Linux kernel

M3 - Report chapter

SP - 6

BT - The Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software

CY - Boston, MA

ER -

ID: 121435