Εμφανίζονται 1 - 11 Αποτελέσματα από 11 για την αναζήτηση '"Verification Keywords Java"', χρόνος αναζήτησης: 0,69δλ Περιορισμός αποτελεσμάτων
  1. 1
    Academic Journal

    Embedded typesafe domain specific languages for java

    Συγγραφείς: Jevgeni Kabanov, Rein Raudjärv

    Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

    Πηγή: http://www.ekabanov.net/uploads/3/8/4/6/3846628/kabanov-raudjarv-pppj08.pdf.

    Θεματικοί όροι: D.2.3 [Software Engineering, Coding Tools and Techniques, D.2.4 [Software Engineering, Software/Program Verification, D.2.13 [Software Engineering, Reusable Software General Terms Design, Reliability, Languages, Verification Keywords Java, domain-specific, DSL, typesafe

    Περιγραφή αρχείου: application/pdf

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

    Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.180.4784
    http://www.ekabanov.net/uploads/3/8/4/6/3846628/kabanov-raudjarv-pppj08.pdf

    View record from BASE
    Προσθήκη στα αγαπημένα
  2. 2
    Academic Journal

    Unit testing concurrent software

    Συγγραφείς: William Pugh, Nathaniel Ayewah

    Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

    Πηγή: http://www.cs.umd.edu/%7Eayewah/web/pubs/UnitTesting-ASE2007.pdf.

    Θεματικοί όροι: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— testing tools General Terms Experimentation, Reliability, Verification Keywords Java, testing framework, concurrent abstraction, JUnit test cases, MultithreadedTC

    Περιγραφή αρχείου: application/pdf

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

    Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.8507
    http://www.cs.umd.edu/%7Eayewah/web/pubs/UnitTesting-ASE2007.pdf

    View record from BASE
    Προσθήκη στα αγαπημένα
  3. 3
    Academic Journal

    Specification and Verification with References

    Συγγραφείς: Bruce W. Weide, Wayne D. Heym

    Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

    Πηγή: http://www.cs.iastate.edu/~leavens/SAVCBS/papers-2001/weide-heym.pdf.

    Θεματικοί όροι: 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

    Περιγραφή αρχείου: application/pdf

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

    Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.3035
    http://www.cs.iastate.edu/~leavens/SAVCBS/papers-2001/weide-heym.pdf

    View record from BASE
    Προσθήκη στα αγαπημένα
  4. 4
    Academic Journal

    Support for Non-Null Types in Java

    Συγγραφείς: Allie Mazzia, James Juett

    Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

    Πηγή: http://www-personal.umich.edu/~amazzia/pubs/590-final.pdf.

    Θεματικοί όροι: Languages, Reliability, Verification Keywords Java, null references, type system, non-null types, may-be-null types, raw

    Περιγραφή αρχείου: application/pdf

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

    Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.388.1102
    http://www-personal.umich.edu/~amazzia/pubs/590-final.pdf

    View record from BASE
    Προσθήκη στα αγαπημένα
  5. 5
    Academic Journal

    General Terms

    Συγγραφείς: Tomoyuki Higuchi

    Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

    Πηγή: http://www.pllab.riec.tohoku.ac.jp/~ohori/research/jvmcalc.pdf.

    Θεματικοί όροι: Languages, Theory, Verification Keywords Java bytecode

    Περιγραφή αρχείου: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.9763; http://www.pllab.riec.tohoku.ac.jp/~ohori/research/jvmcalc.pdf

    Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.9763
    http://www.pllab.riec.tohoku.ac.jp/~ohori/research/jvmcalc.pdf

    View record from BASE
    Προσθήκη στα αγαπημένα
  6. 6
    Academic Journal

    ABSTRACT Unit Testing Concurrent Software

    Συγγραφείς: William Pugh

    Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

    Πηγή: http://www.cs.umd.edu/projects/PL/multithreadedtc/pubs/ASE07-pugh.pdf.

    Θεματικοί όροι: D.2.5 [Software Engineering, Testing and Debugging— testing tools General Terms Experimentation, Reliability, Verification Keywords Java, testing framework, concurrent abstraction, JUnit test cases, MultithreadedTC

    Περιγραφή αρχείου: application/pdf

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

    Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.81
    http://www.cs.umd.edu/projects/PL/multithreadedtc/pubs/ASE07-pugh.pdf

    View record from BASE
    Προσθήκη στα αγαπημένα
  7. 7
    Academic Journal

    Predicate Abstraction in Java Pathfinder

    Συγγραφείς: Jakub Daniel, Pavel Parízek, Corina S. Păsăreanu

    Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

    Πηγή: http://d3s.mff.cuni.cz/publications/download/Daniel-jpf13.pdf.

    Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification General Terms Verification Keywords Java Pathfinder

    Περιγραφή αρχείου: application/pdf

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

    Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.9960
    http://d3s.mff.cuni.cz/publications/download/Daniel-jpf13.pdf

    View record from BASE
    Προσθήκη στα αγαπημένα
  8. 8
    Academic Journal

    Semantic Annotation for Java

    Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

    Πηγή: http://www.jot.fm/issues/issue_2010_05/column2.pdf.

    Θεματικοί όροι: Categories and Subject Descriptors D.2.3 [Design Tools and Techniques, Semantics and Features – assertion checkers, computer-human interface, programming by contract, specification. General Terms Documentation, Human Factors, Languages, Reliability Verification. Keywords Java, assertions, semantics, GUI construction, automatic code synthesis, reflection

    Περιγραφή αρχείου: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.6515; http://www.jot.fm/issues/issue_2010_05/column2.pdf

    Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.6515
    http://www.jot.fm/issues/issue_2010_05/column2.pdf

    View record from BASE
    Προσθήκη στα αγαπημένα
  9. 9
    Academic Journal

    Finding synchronization defects in java programs: Extended static analyses and code patterns

    Συγγραφείς: Frank Otto, Thomas Moschny

    Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

    Πηγή: http://wwwipd.ira.uka.de/%7Etichy/uploads/publikationen/178/Otto2008.pdf.

    Θεματικοί όροι: D.1.3 [Programming Techniques, Concurrent Programming—parallel programming, D.2.4 [Software Engineering, Software/Program Verification—reliability General Terms Reliability, verification. Keywords Java, synchronization defects, lockset analysis, anti-pattern detection

    Περιγραφή αρχείου: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.258.8481; http://wwwipd.ira.uka.de/%7Etichy/uploads/publikationen/178/Otto2008.pdf

    Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.258.8481
    http://wwwipd.ira.uka.de/%7Etichy/uploads/publikationen/178/Otto2008.pdf

    View record from BASE
    Προσθήκη στα αγαπημένα
  10. 10
    Academic Journal

    Semantic Annotation for Java

    Συγγραφείς: Douglas Lyon

    Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

    Πηγή: http://show.docjava.com/pub/document/jot/v9n3.pdf.

    Θεματικοί όροι: Documentation, Human Factors, Languages, Reliability Verification. Keywords Java, assertions, semantics, GUI construction, automatic code synthesis, reflection

    Περιγραφή αρχείου: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.9005; http://show.docjava.com/pub/document/jot/v9n3.pdf

    Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.9005
    http://show.docjava.com/pub/document/jot/v9n3.pdf

    View record from BASE
    Προσθήκη στα αγαπημένα
  11. 11
    Academic Journal

    Total Correctness of Recursive functions . . .

    Συγγραφείς: George Karabotsos, Patrice Chalin, Perry R. James, Leveda Giannas

    Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

    Πηγή: http://www.eecs.ucf.edu/SAVCBS/2008/papers/Karabotsos-etal.pdf.

    Θεματικοί όροι: Reliability, Languages, Theory, Verification. Keywords Java, Java Modeling Language, Full Static Program Verification

    Περιγραφή αρχείου: application/pdf

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

    Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.6457
    http://www.eecs.ucf.edu/SAVCBS/2008/papers/Karabotsos-etal.pdf

    View record from BASE
    Προσθήκη στα αγαπημένα

Εργαλεία αναζήτησης: