反馈文件质量
nexusstc/The Spec# Programming System: An Overview/19f443193b928e93e2d3fb9beaec443b.pdf
The Spec# Programming System: An Overview 🔍
Mike Barnett; K. Rustan M. Leino; Wolfram Schulte Springer Spektrum. in Springer-Verlag GmbH, Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2005
英语 [en] · PDF · 0.3MB · 2005 · 🤨 其他 · duxiu/nexusstc/scihub · Save
描述
The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. This paper describes the goals and architecture of the Spec# programming system, consisting of the objectoriented Spec# programming language, the Spec# compiler, and the Boogie static program verifier. The language includes constructs for writing specifications that capture programmer intentions about how methods and data are to be used, the compiler emits run-time checks to enforce these specifications, and the verifier can check the consistency between a program and its specifications.
备用文件名
scihub/10.1007/978-3-540-30569-9_3.pdf
备选标题
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... (Lecture Notes in Computer Science (3362))
备选标题
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... Papers (Lecture Notes in Computer Science)
备选标题
Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers
备选标题
Lecture Notes in Computer Science 3362 Construction and Analysis of Safe,Secure,and Interoperable Smart Devices International Workshop,CASSIS 2004
备选作者
Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean-Louis Lanet; Traian Muntean
备选作者
Gilles Barthe ; Lilian Burdy ; Marieke Huisman,Springer
备选作者
CASSIS 2004 (2004 Marseille, France)
备选作者
Gilles Barthe ... [et al.] (eds.)
备选作者
CASSIS (Conference)
备用出版商
Steinkopff. in Springer-Verlag GmbH
备用出版商
Springer London, Limited
备用出版商
Springer Berlin
备用版本
Lecture notes in computer science,, 3362, Hot topics, Hot topics (Berlin, Germany), Berlin, New York, Germany, 2005
备用版本
Springer Nature, Berlin, 2005
备用版本
1 edition, March 14, 2005
备用版本
2004
元数据中的注释
{"container_title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","first_page":49,"issns":["0302-9743","1611-3349"],"last_page":69,"parent_isbns":["3540242872","3540305696","9783540242871","9783540305699"],"publisher":"Springer"}
元数据中的注释
Referenced by: doi:10.1017/cbo9780511624162 doi:10.1145/390017.808306 doi:10.5381/jot.2004.3.6.a2 doi:10.1007/978-3-540-24617-6_18 doi:10.1007/978-3-540-27764-4_5 doi:10.1016/s0164-1212(02)00041-9 doi:10.1145/582419.582440 doi:10.1007/s10009-004-0167-4 doi:10.1145/369264.369270 doi:10.1145/378795.378811 doi:10.1007/978-3-540-24851-4_21 doi:10.1109/icse.1996.493421 doi:10.1145/949305.949332 doi:10.1145/504282.504283 doi:10.1145/512529.512558 doi:10.1090/psapm/019/0235771 doi:10.1145/512760.512772 doi:10.1145/800027.808472 doi:10.1016/j.infsof.2004.07.007 doi:10.1109/32.58790 doi:10.1016/j.tcs.2005.06.017 doi:10.1145/363235.363259 doi:10.1145/355620.361161 doi:10.1145/360248.360252 doi:10.1007/978-1-4615-5229-1_12 doi:10.1007/3-540-44577-3_11 doi:10.1007/978-3-540-24851-4_22 doi:10.1145/570886.570888 doi:10.1109/sefm.2004.1347523 doi:10.21236/ada071900 doi:10.1007/3-540-45651-1_4 doi:10.1016/0304-3975(96)00072-2 doi:10.1007/978-3-540-30579-8_14 doi:10.1007/3-540-45319-9_21 doi:10.1109/tse.1976.233830
元数据中的注释
类型: 图书
元数据中的注释
出版日期: 2005
元数据中的注释
出版社: Springer-Verlag
元数据中的注释
页码: 257
元数据中的注释
开本: 396.48
元数据中的注释
Includes bibliographical references and index.
Also issued online.
备用描述
Mobile Resource Guarantees For Smart Devices / David Aspinall [and Others] -- History Based Access Control And Secure Information Flow / Anindya Banerjee And David A. Naumann -- The Spec# Programming System / Mike Barnett, K. Rustan M. Leino, And Wolfram Schulte -- Mastering Test Generation From Smart Card Software Formal Models / Fabrice Bouquet [and Others] -- A Mechanism For Secure, Fine-grained Dynamic Provisioning Of Applications On Small Devices / William R. Bush [and Others] -- Esc/java2 / David R. Cok And Joseph R. Kiniry -- A Type System For Checking Applet Isolation In Java Card / Werner Dietl, Peter Muller, And Arnd Poetzsch-heffter -- Verification Of Safety Properties In The Presence Of Transactions / Reiner Hahnle And Wojciech Mostowski -- Modelling Mobility Aspects Of Security Policies / Pieter Hartel [and Others] -- Smart Devices For Next Generation Mobile Services / Chie Noda And Thomas Walter -- A Flexible Framework For The Estimation Of Coverage Metrics In Explicit State Software Model Checking / Edwin Rodriguez [and Others] -- Combining Several Paradigms For Circuit Validation And Verification / Diana Toma, Dominique Borrione, And Ghiath Al Sammane -- Smart Card Research Perspectives / Jean-jacques Vandewalle. Gilles Barthe ... [et Al.] (eds.). Includes Bibliographical References And Index. Also Issued Online.
备用描述
Keine Beschreibung vorhanden.
Erscheinungsdatum: 21.01.2005
更多信息……
所有选项下载的文件都相同，应该可以安全使用。即使这样，从互联网下载文件时始终要小心。例如，确保您的设备更新及时。
  • 对于大文件，我们建议使用下载管理器以防止中断。
    推荐的下载管理器：Motrix
  • 您将需要一个电子书或 PDF 阅读器来打开文件，具体取决于文件格式。
    推荐的电子书阅读器：Anna的档案在线查看器、ReadEra和Calibre
  • 使用在线工具进行格式转换。
    推荐的转换工具：CloudConvert和PrintFriendly
  • 您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
    推荐的工具：亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle”
  • 支持作者和图书馆
    ✍️ 如果您喜欢这个并且能够负担得起，请考虑购买原版，或直接支持作者。
    📚 如果您当地的图书馆有这本书，请考虑在那里免费借阅。