Contract-Based Requirement Capture and Formalization
Pierluigi Nuzzo

Citation
Pierluigi Nuzzo. "Contract-Based Requirement Capture and Formalization". Talk or presentation, 19, June, 2013; Presented at the iCyPhy June 2013 F2F Mid Year Review, IBM Yorktown Heights: June 18 & 19, 2013.

Abstract
(No abstract.)

Electronic downloads


Internal. This publication has been marked by the author for iCyPhy-only distribution, so electronic downloads are not available without logging in.
Citation formats  
  • HTML
    Pierluigi Nuzzo. <a
    href="http://www.icyphy.org/pubs/27.html"><i>Contract-Based
    Requirement  Capture and Formalization</i></a>,
    Talk or presentation,  19, June, 2013; Presented at the
    <a href="/conferences/13/watson/index.htm"
    >iCyPhy June 2013 F2F Mid Year Review, IBM Yorktown
    Heights: June 18 &amp; 19, 2013</a>.
  • Plain text
    Pierluigi Nuzzo. "Contract-Based Requirement  Capture
    and Formalization". Talk or presentation,  19, June,
    2013; Presented at the <a
    href="/conferences/13/watson/index.htm" >iCyPhy
    June 2013 F2F Mid Year Review, IBM Yorktown Heights: June 18
    &amp; 19, 2013</a>.
  • BibTeX
    @presentation{Nuzzo13_ContractBasedRequirementCaptureFormalization,
        author = {Pierluigi Nuzzo},
        title = {Contract-Based Requirement  Capture and
                  Formalization},
        day = {19},
        month = {June},
        year = {2013},
        note = {Presented at the <a
                  href="/conferences/13/watson/index.htm" >iCyPhy
                  June 2013 F2F Mid Year Review, IBM Yorktown
                  Heights: June 18 \&amp; 19, 2013</a>.},
        abstract = {(No abstract.)},
        URL = {http://icyphy.org/pubs/27.html}
    }
    

Posted by Christopher Brooks on 20 Jun 2013.
For additional information, see the Publications FAQ or contact webmaster at icyphy org.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.