契约编程：API的形式化规范.pdf

1、 2024 Carnegie Mellon University1DISTRIBUTION STATEMENT A This material has been approved for public release and unlimited distribution.2024 Carnegie Mellon UniversityDISTRIBUTION STATEMENT A This material has been approved for public release and unlimited distribution.JULY 9,2024Alex VeseySoftware

2、EngineerContract Programming:Formalizing APIs 2024 Carnegie Mellon University2DISTRIBUTION STATEMENT A This material has been approved for public release and unlimited distribution.Document MarkingsCarnegie Mellon University 2024This material is based upon work funded and supported by the Department

3、 of Defense under Contract No.FA8702-15-D-0002 with Carnegie Mellon University for the operation of the Software Engineering Institute,a federally funded research and development center.References herein to any specific entity,product,process,or service by trade name,trade mark,manufacturer,or other

4、wise,does not necessarily constitute or imply its endorsement,recommendation,or favoring by Carnegie Mellon University or its Software Engineering Institute nor of Carnegie Mellon University-Software Engineering Institute by any such named or represented entity.NO WARRANTY.THIS CARNEGIE MELLON UNIVE

5、RSITY AND SOFTWARE ENGINEERING INSTITUTE MATERIAL IS FURNISHED ON AN AS-IS BASIS.CARNEGIE MELLON UNIVERSITY MAKES NO WARRANTIES OF ANY KIND,EITHER EXPRESSED OR IMPLIED,AS TO ANY MATTER INCLUDING,BUT NOT LIMITED TO,WARRANTY OF FITNESS FOR PURPOSE OR MERCHANTABILITY,EXCLUSIVITY,OR RESULTS OBTAINED FRO

6、M USE OF THE MATERIAL.CARNEGIE MELLON UNIVERSITY DOES NOT MAKE ANY WARRANTY OF ANY KIND WITH RESPECT TO FREEDOM FROM PATENT,TRADEMARK,OR COPYRIGHT INFRINGEMENT.DISTRIBUTION STATEMENT A This material has been approved for public release and unlimited distribution.Please see Copyright notice for non-U