Kondo Effect in Quantum Dots

Silvano De Franceschi, Wilfred Gerard van der Wiel

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-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 languageUndefined
    Title of host publicationHandbook of Nanophysics: Nanoparticles and Quantum Dots
    EditorsKlaus D. Sattler
    Place of PublicationBoca Raton
    PublisherCRC Press
    Pages646-664
    Number of pages19
    ISBN (Print)1420075446
    Publication statusPublished - Sep 2010

    Publication series

    Name
    PublisherCRC

    Keywords

    • IR-76070
    • EWI-19295
    • METIS-275841

    Cite this

    De Franceschi, S., & van der Wiel, W. G. (2010). Kondo Effect in Quantum Dots. In K. D. Sattler (Ed.), Handbook of Nanophysics: Nanoparticles and Quantum Dots (pp. 646-664). Boca Raton: CRC Press.
    De Franceschi, Silvano ; van der Wiel, Wilfred Gerard. / Kondo Effect in Quantum Dots. Handbook of Nanophysics: Nanoparticles and Quantum Dots. editor / Klaus D. Sattler. Boca Raton : CRC Press, 2010. pp. 646-664
    @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 = "9",
    language = "Undefined",
    isbn = "1420075446",
    publisher = "CRC Press",
    pages = "646--664",
    editor = "Sattler, {Klaus D.}",
    booktitle = "Handbook of Nanophysics: Nanoparticles and Quantum Dots",
    address = "United Kingdom",

    }

    De Franceschi, S & van der Wiel, WG 2010, Kondo Effect in Quantum Dots. in KD Sattler (ed.), Handbook of Nanophysics: Nanoparticles and Quantum Dots. CRC Press, Boca Raton, pp. 646-664.

    Kondo Effect in Quantum Dots. / De Franceschi, Silvano; van der Wiel, Wilfred Gerard.

    Handbook of Nanophysics: Nanoparticles and Quantum Dots. ed. / Klaus D. Sattler. Boca Raton : CRC Press, 2010. p. 646-664.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    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

    CY - Boca Raton

    ER -

    De Franceschi S, van der Wiel WG. Kondo Effect in Quantum Dots. In Sattler KD, editor, Handbook of Nanophysics: Nanoparticles and Quantum Dots. Boca Raton: CRC Press. 2010. p. 646-664