Forskning ved Københavns Universitet - Københavns Universitet

Forside

On the Automatic Evolution of an OS Kernel Using Temporal Logic and AOP

Publikation: Bidrag til bog/antologi/rapportBidrag til rapportForskning

  • Rickard Åberg
  • Julia Laetitia Lawall
  • Mario Sudholt
  • Gilles Muller
  • Anne-Francoise Le Meur
aspect-oriented programing, temporal logic, process scheduling, Linux, domain-specific languages
OriginalsprogEngelsk
TitelAutomated Software Engineering
Udgivelses stedMontreal, Canada
Publikationsdato2003
Sider9
StatusUdgivet - 2003

ID: 121428