Search Results - D.2.4 [Software/Program Verification] Programming by contract
-
1
Authors:
Contributors:
Subject Terms: access control contracts, pre and postconditions, runtime assertion checking, stack inspection, JML. 1998 CR Categories, D.2.2 [Software Engineering] Design Tools and Techniques — Modules and
File Description: application/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 – model checking, programming by contract, and validation. General Terms Reliability, Languages, Validation. Keywords Validation, Contracts, Requirements, Scenarios
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.506.2580; http://vf.davearnold.ca/docs/AST08.pdf
-
4
Authors: et al.
Contributors: et al.
Source: http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf.
Subject Terms: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming, D.1.5 [Programming Techniques, Object-oriented Programming, D.2.4 [Software Engineering, Software/Program Verification—Class invariants, Correctness proofs, Formal methods, Programming by contract, F.3.1 [Logics and Meanings of programs, Specifying and Verifying and Reasoning about Programs—Assertions, Invariants, Logics of programs, Mechanical verification, Pre- and post-conditions, Specification techniques General Terms, Verification Additional Key Words and Phrases, Aliasing, data races, local reasoning, modular reasoning, ownership, verification condition generation ACM Reference Format
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.5177; http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf
-
5
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
-
6
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.2.2 [Software Engineering, Design Tools and Techniques — Object-oriented design methods, D.2.3 [Software Engineering, Coding Tools and Techniques — Object-oriented programming, D.2.4 [Software Engineering, Software/Program Verification — Correctness proofs, formal methods, programming by contract, reliability, tools, Eiffel, JML, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement — Documentation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.2 [Programming Languages, Language Classifications — Object-oriented languages, D.3.3 [Programming Languages, Language Constructs and Features — classes and objects, inheritance, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, logics of programs, pre- and post-conditions, specification techniques. General Terms, Specification
File Description: application/pdf
-
7
Authors:
Contributors:
Subject Terms: H.4 [Information Systems Applications, Miscellaneous, D.2.4 [Software Engineering, Software/Program Verification—formal methods, programming by contract General Terms Verification Keywords Frame axiom, modifies clause, separation logic, dynamic frames, region logic, formal methods, Dafny language, DafnyR language
File Description: application/pdf
-
8
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—formal methods, programming by contract General Terms Verification Keywords Static verification
File Description: application/pdf
-
9
Authors: et al.
Contributors: et al.
Subject Terms: safety-critical, real-time, WCET, timing analysis, timing constraints, formal specification, verification, oSCJ, RapiTime, Safety Critical Java language, SCJ, SafeJML specification language. 2010 CR Categories, D.2.1 [Software Engineering] Requirements/Specifications — languages, tools, JML, D.2.4 [Software Engineering] Software/Program Verification — Formal methods, programming by contract, reliability, D.2.7 [Software Engineering] Distribution
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.170.2176; http://www.eecs.ucf.edu/%7Efhussain/TR/SafeJML_TR.pdf
-
10
Authors:
Contributors:
Subject Terms: Information hiding, visibility, behavioral interface specification language, proof obligation, public, protected, private, client, JML language. 2006 CR Categories, D.2.1 [Software Engineering] Requirements/Specifications — Languages, D.2.4 [Software Engineering] Software/Program Verification — Assertion checkers, class invariants, correctness proofs, formal methods, programming by contract, reliability, tools, Spec, Eiffel, JML, D.3.3 [Programming Languages] Language Constructs and Features — Modules, Packages, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, invariants, logics of programs, pre- and post-conditions, specification techniques
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.166.130; http://www.sct.inf.ethz.ch/teaching/ws2006/SemSpecVer/papers/Information_Hiding_and_Visibility_in_Interface_Specifications.pdf
-
11
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
-
12
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.2.2 [Software Engineering, Design Tools and Tech- niques — Object-oriented design methods, D.2.3 [Software Engineering, Coding Tools and Techniques — Object-oriented programming, D.2.4 [Software Engineering, Software/Program Verification — Correctness proofs, formal methods, programming by contract, reliability, tools, Eiffel, JML, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement — Documentation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.2 [Programming Languages, Language Classifications — Object-oriented languages, D.3.3 [Programming Languages, Language Constructs and Features — classes and objects, inher- itance, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, logics of programs, pre- and post-conditions, specification tech- niques. General Terms, Specification
File Description: application/pdf
-
13
Authors: et al.
Contributors: et al.
Subject Terms: formal specification, application programming interface, security, programming by contract, pre and postconditions, JML language. 1998 CR Categories, D.2.4 [Software Engineering] Software/Program Verification — class invariants
File Description: application/pdf
-
14
Authors: et al.
Contributors: et al.
Source: http://secure.ucd.ie/products/opensource/ESCJava2/ESCTools/docs/Escjava2-ImplementationNotes.pdf.
Subject Terms: 2003 CR Categories, D.2.1 [Software Engineering] Requirements/Specifications — languages, tools, theory, JML, ESC/Java, ESC/Java2, D.2.4 [Software Engineering] Software/Program Verification — assertion checkers, class invariants, formal methods, programming by contract, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying
File Description: application/pdf
-
15
Authors:
Contributors:
Subject Terms: method call sequence specification, runtime checking, assertion, pre and postconditions, programming by contract, JML language. 1998 CR Categories, D.2.1 [Software Engineering] Requirements / Specifications — languages, tools, JML, D.2.4 [Software Engineering] Software/Program Verification — Assertion checkers, class invariants, formal methods, reliability, validation, D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics
File Description: application/pdf
-
16
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
-
17
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.1 [Requirements/Specifications, Languages, Methodologies. D.2.4 [Software/Program Verification, Correctness proofs, Formal methods, Programming by contract, Reliability. General Terms Design, Reliability, Verification. Keywords Java, Pointers, References, Specification, Verification
File Description: application/pdf
-
18
Authors:
Contributors:
Source: ftp://ftp.cs.iastate.edu/pub/techreports/TR00-03/TR.ps.gz
Subject Terms: Behavioral interface specification language, formal specification, desugaring, semantics, specification inheritance, refinement, behavioral subtyping, model-based specification, formal methods, precondition, postcondition, Eiffel, Java, JML. 1999 CR Categories, D.2.4 [Software Engineering] Software/Program Verification--- Formal methods, programming by contract, reliability, tools, JML, D.2.7 [Software Engineering] Distribution
File Description: application/postscript
-
19
Authors:
Contributors:
Source: ftp://ftp.cs.iastate.edu/pub/techreports/TR00-12/TR.ps.gz
Subject Terms: 1999 CR Categories, D.2.1 [Software Engineering] Requirements/Specifications--- languages, tools, JML, D.2.2 [Software Engineering] Design Tools and Techniques--- modules and interfaces, software libraries, D.2.4 [Software Engineering] Software/Program Verification--- formal methods, programming by contract, D.2.7 [Software Engineering] Distribution
File Description: application/postscript
-
20
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
Nájsť tento článok vo Web of Science