Suchergebnisse - "D.2.4 [Software Engineering] Software/Program Verification — Assertion checkers"

  • Treffer 1 - 4 von 4
Treffer weiter einschränken
  1. 1

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: