咨询与建议

限定检索结果

文献类型

  • 10 篇 会议
  • 9 篇 期刊文献

馆藏范围

  • 19 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 15 篇 工学
    • 11 篇 软件工程
    • 10 篇 计算机科学与技术...
    • 5 篇 电气工程
    • 1 篇 控制科学与工程
  • 2 篇 教育学
    • 2 篇 教育学
  • 2 篇 理学
    • 1 篇 数学
    • 1 篇 物理学

主题

  • 19 篇 programming by c...
  • 4 篇 program verifica...
  • 4 篇 jml language
  • 4 篇 formal methods
  • 3 篇 specification
  • 3 篇 verification
  • 3 篇 correctness proo...
  • 2 篇 method call sequ...
  • 2 篇 pre and postcond...
  • 2 篇 discrete structu...
  • 2 篇 runtime assertio...
  • 2 篇 assertion checke...
  • 2 篇 assertion
  • 2 篇 software testing
  • 2 篇 object-oriented ...
  • 2 篇 runtime checking
  • 2 篇 invariants
  • 2 篇 formal specifica...
  • 2 篇 induction
  • 2 篇 specification la...

机构

  • 3 篇 univ texas dept ...
  • 2 篇 clemson univ sch...
  • 1 篇 dept. of comput....
  • 1 篇 waseda univ natl...
  • 1 篇 eastman kodak co...
  • 1 篇 indiana univ sou...
  • 1 篇 iowa state univ ...
  • 1 篇 fujitsu ltd quan...
  • 1 篇 indiana universi...
  • 1 篇 iowa state univ ...
  • 1 篇 center for earth...
  • 1 篇 department of co...
  • 1 篇 univ oxford comp...
  • 1 篇 eastman kodak co...
  • 1 篇 france telecom r...
  • 1 篇 clemson universi...
  • 1 篇 university of te...
  • 1 篇 denison universi...
  • 1 篇 univ rennes 1 ir...
  • 1 篇 new york inst te...

作者

  • 2 篇 cheon y
  • 2 篇 cok dr
  • 2 篇 leavens gt
  • 2 篇 clifton c
  • 2 篇 perumandla ashav...
  • 2 篇 sitaraman murali
  • 2 篇 ruby c
  • 2 篇 cheon yoonsik
  • 1 篇 cavarra alessand...
  • 1 篇 yoshioka nobukaz...
  • 1 篇 le traon yves
  • 1 篇 al-ahmad walid
  • 1 篇 weide bruce w.
  • 1 篇 joan krone
  • 1 篇 chalin patrice
  • 1 篇 jason hallstrom
  • 1 篇 wang chen-wei
  • 1 篇 yamaguchi masaom...
  • 1 篇 bruce weide
  • 1 篇 baudry benoit

语言

  • 19 篇 英文
检索条件"主题词=Programming By Contract"
19 条 记 录,以下是11-20 订阅
排序:
Specifying and checking method call sequences of Java programs
收藏 引用
SOFTWARE QUALITY JOURNAL 2007年 第1期15卷 7-25页
作者: Cheon, Yoonsik Perumandla, Ashaveena Univ Texas Dept Comp Sci El Paso TX 79968 USA
In a pre and postcondition-style specification, it is difficult to specify the allowed sequences of method calls, referred to as protocols. The protocols are essential properties of reusable object-oriented classes an... 详细信息
来源: 评论
Specifying and checking method call sequences of Java programs
Specifying and checking method call sequences of Java progra...
收藏 引用
International Conference on Software Engineering Research and Practice (SERP'05)
作者: Cheon, Yoonsik Perumandla, Ashaveena Univ Texas Dept Comp Sci El Paso TX 79968 USA
In a pre and postcondition-style specification, it is difficult to specify the allowed sequences of method calls, referred to as protocols. The protocols are essential properties of reusable object-oriented classes an... 详细信息
来源: 评论
Design by contract to improve software vigilance
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2006年 第8期32卷 571-586页
作者: Le Traon, Yves Baudry, Benoit Jezequel, Jean-Marc France Telecom R&D F-22307 Lannion France Univ Rennes 1 IRISA F-35042 Rennes France
Design by contract is a lightweight technique for embedding elements of formal specification ( such as invariants, pre and postconditions) into an object-oriented design. When contracts are made executable, they can p... 详细信息
来源: 评论
A framework for conceptual modeling in OOP
收藏 引用
JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS 2006年 第4-5期343卷 532-544页
作者: Al-Ahmad, Walid New York Inst Technol Sch Engn & Technol Manama Bahrain
There are several language constructs and mechanisms that provide some sort of support for conceptual modeling in object-oriented programming: the Liskov substitution principle, the Meyer programming by contract, the ... 详细信息
来源: 评论
How the design of JML accommodates both runtime assertion checking and formal verification
收藏 引用
SCIENCE OF COMPUTER programming 2005年 第1-3期55卷 185-208页
作者: Leavens, GT Cheon, Y Clifton, C Ruby, C Cok, DR Iowa State Univ Dept Comp Sci Ames IA USA Univ Texas Dept Comp Sci El Paso TX 79968 USA Eastman Kodak Co Res & Dev Labs Rochester NY USA
Specifications that are used in detailed design and in the documentation of existing code are primarily written and read by programmers. However, most formal specification languages either make heavy use of symbolic m... 详细信息
来源: 评论
Constructing contracts: Making discrete mathematics relevant to beginning programmers
收藏 引用
Journal on Educational Resources in Computing 2005年 第2期5卷 3–es页
作者: Timothy S. Gegg-Harrison Winona State University Winona MN
Although computer scientists understand the importance of discrete mathematics to the foundations of their field, computer science (CS) students do not always see the relevance. Thus, it is important to find a way to ... 详细信息
来源: 评论
How the design of JML accommodates both runtime assertion checking and formal verification
How the design of JML accommodates both runtime assertion ch...
收藏 引用
1st International Symposium on Formal Methods for Components and Objects
作者: Leavens, GT Cheon, Y Clifton, C Ruby, C Cok, DR Iowa State Univ Sci & Technol Dept Comp Sci Ames IA 50011 USA Eastman Kodak Co Res & Dev Labs Rochester NY 14650 USA
Specifications that are used in detailed design and in the documentation of existing code are primarily written and read by programmers. However, most formal specification languages either make heavy use of symbolic m... 详细信息
来源: 评论
Black-box testing using flowgraphs: an experimental assessment of effectiveness and automation potential
收藏 引用
Software Testing, Verification and Reliability 2001年 第4期10卷
作者: Stephen H. Edwards Department of Computer Science Virginia Tech 660 McBryde Hall Blacksburg VA 24061–0106 U.S.A.
A black-box testing strategy based on Zweben et al.'s specification-based test data adequacy criteria is explored. The approach focuses on generating a flowgraph from a component's specification and applying a... 详细信息
来源: 评论
programming by contract
收藏 引用
COMPUTER 1996年 第3期29卷 109-111页
作者: McKim, JC Dept. of Comput. & Inf. Sci. Hartford Graduate Center CT USA
Why can't software be more like hardware? has been the software engineer'slament for nearly as long as there have been large software systems. In particular, why isn't therea software components industry t... 详细信息
来源: 评论