Výsledky vyhľadávania - "Engineering] Software/Program Verification — Assertion checkers"

ESC/Java2 Implementation Notes

Autori: David R. Cok Joseph R. Kiniry Dermot Cochran a ďalší

Prispievatelia: David R. Cok Joseph R. Kiniry Dermot Cochran a ďalší

Zdroj: http://secure.ucd.ie/products/opensource/ESCJava2/ESCTools/docs/Escjava2-ImplementationNotes.pdf.

Predmety: 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

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.161.9760

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.161.9760
http://secure.ucd.ie/products/opensource/ESCJava2/ESCTools/docs/Escjava2-ImplementationNotes.pdf

Information Hiding and Visibility in Interface Specifications

Autori: Gary T. Leavens Peter Müller The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Gary T. Leavens Peter Müller The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.sct.inf.ethz.ch/teaching/ws2006/SemSpecVer/papers/Information_Hiding_and_Visibility_in_Interface_Specifications.pdf.

Predmety: 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

Popis súboru: 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

Dostupnosť: 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

A complete automation of unit testing for Java programs

Autori: Yoonsik Cheon Myoung Yee Kim Ashaveena Perum a ďalší

Prispievatelia: Yoonsik Cheon Myoung Yee Kim Ashaveena Perum a ďalší

Zdroj: http://www.cs.utep.edu/~cheon/techreport/tr05-05.pdf.

Predmety: Software Engineering] Software/Program Verification — Assertion checkers, class invariants, formal methods, programming by contract, reliability, tools, validation, JML, D.2.5 [Software Engineering] Testing and Debugging — Debugging aids, design, monitors, test data generators, testing tools, theory, D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings of Programs] Specifying and

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.6030

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.6030
http://www.cs.utep.edu/~cheon/techreport/tr05-05.pdf

Specifying and Checking Method Call Sequences of Java Programs

Autori: Yoonsik Cheon Ashaveena Perum The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Yoonsik Cheon Ashaveena Perum The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.utep.edu/~cheon/techreport/tr05-36.pdf.

Predmety: 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

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.2224

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.2224
http://www.cs.utep.edu/~cheon/techreport/tr05-36.pdf

Demonstration of JML Tools

Autori: Gary T. Leavens Yoonsik Cheon David R. Cok a ďalší

Prispievatelia: Gary T. Leavens Yoonsik Cheon David R. Cok a ďalší

Zdroj: http://archives.cs.iastate.edu/documents/disk0/00/00/03/71/00000371-00/TR.pdf.

Predmety: Engineering] Software/Program Verification — Assertion checkers, class invari- ants, formal methods, programming by contract, reliability, tools, validation, JML, D.2.5 [Software Engineering] Testing and Debugging — Debugging aids, design, testing tools, theory, D.3.2 [Programming Languages] Language Classifi- cations — Object-oriented languages, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, invari

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.596.4583

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.596.4583
http://archives.cs.iastate.edu/documents/disk0/00/00/03/71/00000371-00/TR.pdf

Alias Verification for Fortran Code Optimization

Autori: Thi Viet Nga Nguyen François Irigoin The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Thi Viet Nga Nguyen François Irigoin The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.jucs.org/jucs_9_3/alias_verification_for_fortran/Nguyen_T_V_N.pdf.

Predmety: Key Words, alias, dummy aliasing, verification, optimization Category, D.2.4 Software Engineering- Software/Program Verification [Assertion checkers] D.2.5 Software Engine, Symbolic execution] D.3.4 Programming Languages- Processors [Compilers, Optimization

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.802; http://www.jucs.org/jucs_9_3/alias_verification_for_fortran/Nguyen_T_V_N.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.802
http://www.jucs.org/jucs_9_3/alias_verification_for_fortran/Nguyen_T_V_N.pdf