Search Results - Software/Program Verification—Programming by contract Keywords Contract
-
1
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
-
2
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
-
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: 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
-
6
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
-
7
Authors: et al.
Contributors: et al.
Subject Terms: General Terms Documentation, Verification. Keywords Design by contract, axiomatic semantics, Java
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.4480; http://cs.winona.edu/tgeggharrison/publications/iticse03.pdf
-
8
Authors:
Source: IEEE Transactions on Software Engineering; Oct2014, Vol. 40 Issue 10, p971-992, 22p
Subject Terms: CONTRACTS, COMPUTER files, COMPUTER systems, CAD/CAM systems, SOFTWARE verification
-
9
Authors: et al.
Source: ACM Transactions on Software Engineering & Methodology; May2015, Vol. 24 Issue 3, p1-43, 43p
-
10
Authors: et al.
Source: ACM Transactions on Programming Languages & Systems; Nov2013, Vol. 35 Issue 3, p11-11:58, 58p
-
11
Authors:
Source: ACM Transactions on Programming Languages & Systems; Feb2017, Vol. 39 Issue 1, p3-3:36, 36p
Subject Terms: PROGRAMMING languages, COMPUTER programmers, COMPUTER programming, METATHEORY, COMPUTER science
-
12
Authors: et al.
Source: Aspect-oriented Software Development; 4/22/14, p157-168, 12p
-
13
Authors: et al.
Source: Aspect-oriented Software Development; 3/16/15, p117-132, 16p
-
14
Authors:
Source: Aspect-oriented Software Development; 3/16/15, p47-51, 5p
-
15
Authors: et al.
Source: Aspect-oriented Software Development; 4/22/14, p241-252, 12p
-
16
Authors: et al.
Source: Aspect-oriented Software Development; 4/22/14, p17-20, 4p
-
17
Authors:
Resource Type: eBook.
Subjects: Compilers (Computer programs), Software engineering, Computers, Special purpose, Computer science, Operating systems (Computers)
Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Operating Systems / General, COMPUTERS / Software Development & Engineering / General
-
18
Authors: et al.
Resource Type: eBook.
Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General
-
19
Authors:
Resource Type: eBook.
Subjects: Water, Hydrology, Environmental engineering, Civil engineering, Geographic information systems, Mathematics—Data processing
Categories: SCIENCE / Earth Sciences / Hydrology, COMPUTERS / Computer Science, MATHEMATICS / Applied, SCIENCE / Earth Sciences / Geography, TECHNOLOGY & ENGINEERING / Civil / General, TECHNOLOGY & ENGINEERING / Environmental / General
-
20
Authors:
Resource Type: eBook.
Subjects: Hearing disorders, Audiology, Hearing disorders--Treatment
Categories: MEDICAL / Audiology & Speech Pathology
Nájsť tento článok vo Web of Science 
Full Text Finder