Kondo Effect in Quantum Dots

Silvano De Franceschi; Wilfred Gerard van der Wiel

Kondo Effect in Quantum Dots

Silvano De Franceschi, Wilfred Gerard van der Wiel

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Abstract

The research community has long understood the value of formal specifications in building robust software. However, the adoption of any specifications beyond run-time assertions in industrial software has been limited. All of this has changed at Microsoft in the last few years. Today, formal specifications are a mandated part of the software development process in the largest Microsoft product groups. Millions of specifications have been added, and tens of thousands of bugs have been exposed and fixed in future versions of products under development. In addition, Windows public interfaces are formally specified and the Visual Studio compiler understands and enforces these specifications, meaning that programmers anywhere can now use formal specifications to make their software more robust.

Original language	Undefined
Title of host publication	Handbook of Nanophysics: Nanoparticles and Quantum Dots
Editors	Klaus D. Sattler
Place of Publication	Boca Raton
Publisher	CRC Press (Taylor & Francis)
Pages	646-664
Number of pages	19
ISBN (Print)	1420075446
Publication status	Published - Sep 2010

Publication series

Name
Publisher	CRC

Keywords

IR-76070
EWI-19295
METIS-275841

Access to Document

http://eprints.eemcs.utwente.nl/secure2/19295/01/Kondo_Effect_in_Quantum_Dots.pdf

Cite this

@inbook{c8cb6e10bfb64ab1b53f1a069d46e665,

title = "Kondo Effect in Quantum Dots",

abstract = "The research community has long understood the value of formal specifications in building robust software. However, the adoption of any specifications beyond run-time assertions in industrial software has been limited. All of this has changed at Microsoft in the last few years. Today, formal specifications are a mandated part of the software development process in the largest Microsoft product groups. Millions of specifications have been added, and tens of thousands of bugs have been exposed and fixed in future versions of products under development. In addition, Windows public interfaces are formally specified and the Visual Studio compiler understands and enforces these specifications, meaning that programmers anywhere can now use formal specifications to make their software more robust.",

keywords = "IR-76070, EWI-19295, METIS-275841",

author = "{De Franceschi}, Silvano and {van der Wiel}, {Wilfred Gerard}",

year = "2010",

month = sep,

language = "Undefined",

isbn = "1420075446",

publisher = "CRC Press (Taylor & Francis)",

pages = "646--664",

editor = "Sattler, {Klaus D.}",

booktitle = "Handbook of Nanophysics: Nanoparticles and Quantum Dots",

}

TY - CHAP

T1 - Kondo Effect in Quantum Dots

AU - De Franceschi, Silvano

AU - van der Wiel, Wilfred Gerard

PY - 2010/9

Y1 - 2010/9

N2 - The research community has long understood the value of formal specifications in building robust software. However, the adoption of any specifications beyond run-time assertions in industrial software has been limited. All of this has changed at Microsoft in the last few years. Today, formal specifications are a mandated part of the software development process in the largest Microsoft product groups. Millions of specifications have been added, and tens of thousands of bugs have been exposed and fixed in future versions of products under development. In addition, Windows public interfaces are formally specified and the Visual Studio compiler understands and enforces these specifications, meaning that programmers anywhere can now use formal specifications to make their software more robust.

AB - The research community has long understood the value of formal specifications in building robust software. However, the adoption of any specifications beyond run-time assertions in industrial software has been limited. All of this has changed at Microsoft in the last few years. Today, formal specifications are a mandated part of the software development process in the largest Microsoft product groups. Millions of specifications have been added, and tens of thousands of bugs have been exposed and fixed in future versions of products under development. In addition, Windows public interfaces are formally specified and the Visual Studio compiler understands and enforces these specifications, meaning that programmers anywhere can now use formal specifications to make their software more robust.

KW - IR-76070

KW - EWI-19295

KW - METIS-275841

M3 - Chapter

SN - 1420075446

SP - 646

EP - 664

BT - Handbook of Nanophysics: Nanoparticles and Quantum Dots

A2 - Sattler, Klaus D.

PB - CRC Press (Taylor & Francis)

CY - Boca Raton

ER -