Suchergebnisse - "Software Engineering] Software/Program Verification — Assertion checkers"

ESC/Java2 Implementation Notes

Autoren: David R. Cok Joseph R. Kiniry Dermot Cochran et al.

Weitere Verfasser: David R. Cok Joseph R. Kiniry Dermot Cochran et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

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

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

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

Schlagwörter: 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

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

Verfügbarkeit: 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

Autoren: Yoonsik Cheon Myoung Yee Kim Ashaveena Perum et al.

Weitere Verfasser: Yoonsik Cheon Myoung Yee Kim Ashaveena Perum et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

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

Weitere Verfasser: Yoonsik Cheon Ashaveena Perum The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

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

Alias Verification for Fortran Code Optimization

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

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

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

Schlagwörter: 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

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

Verfügbarkeit: 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