Search Results - "Software/Program Verification-Programming by contract"
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.1 [Software Engineering, Requirements/Specifications—Languages, D.2.4 [Software Engineering, Software/Program Verification—Programming by contract Keywords Software Evolution, Regression Testing, Change Contract, JML
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.5983; http://www.comp.nus.edu.sg/%7Eabhik/pdf/fse12.pdf
-
2
Authors: et al.
Contributors: et al.
Subject Terms: D.2.4 [Software/Program Verification] Programming by contract, Assertion checkers F.3.1 [Specifying and Verifying and Reasoning about Programs] Assertions, Invariant, Pre- and post-conditions, Specification techniques
File Description: application/pdf
-
3
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Programming by contract, Correctness proofs, F.3.1 [Logics and Meaning of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification Keywords extended stat, static verification, theorem provers, Java Modeling Language, JML4, ESC, ESC4
File Description: application/pdf
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—testing tools, D.2.4 [Software Engineering, Software/Program Verification— programming by contract General Terms, Reliability, Verification, Design Keywords, Product-lines, specification-based testing, test data generation, GenVoca, AHEAD, Alloy
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.6338; http://www.cs.utexas.edu/ftp/pub/predator/FSE2007.pdf
-
5
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—testing tools, D.2.4 [Software Engineering, Software/Program Verification— programming by contract General Terms, Reliability, Verification, Design Keywords, Product-lines, specification-based testing, test data generation, GenVoca, AHEAD, Alloy
File Description: application/pdf
-
6
Authors:
Source: IEEE Transactions on Software Engineering vol. 40 no. 10, pp. 971-992
Subject Terms: Concurrent programming, object-oriented programming, Software Quality/SQA-Measurement applied to SQA and V and V, Software/Program Verification-Programming by contract
Relation: https://ir.library.carleton.ca/pub/8027
-
7
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Programming by contract, D.2.5 [Software Engineering, Testing and Debugging—Testing Tools, Tracing General Terms Reliability
File Description: application/pdf
-
8
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.3 [Software Engineering, Coding Tools and Techniques—Objectoriented programming, D.2.4 [Software Engineering, Software/Program Verification—Programming by contract, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics General Terms, Reliability Additional Key Words and Phrases, Contracts, first-class class systems ACM Reference Format
File Description: application/pdf
-
9
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.3.1 [Programming Languages, Formal Definitions and Theory, D.2.4 [Software Engineering, Software/Program Verification—Programming by contract General Terms Languages, Theory
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.358.1269; http://www.cis.upenn.edu/~mgree/papers/popl2014sub_space.pdf
-
10
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Programming by contract, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, Syntax General Terms Experimentation, Languages, Reliability Keywords Software changes, Dynamic checking, Test generation, Test repair
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.310.6443; http://www.comp.nus.edu.sg/~abhik/pdf/issta13.pdf
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, Syntax, D.2.4 [Software Engineering, Software/Program Verification—Programming by contract Keywords Contract, Encapsulation, Old Expression, Past Expression, Branch Pointcut, Runtime Assertion Checking (RAC
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.2190; http://www.comp.nus.edu.sg/~abhik/pdf/aosd13.pdf
Nájsť tento článok vo Web of Science