Suchergebnisse - "D.3.2 [Programming Languages] Language Classifications — Object-oriented"

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

    D.3.2 [Programming Languages] Language Classifications — Object-oriented languages; F.3.1 [Logics and Meanings

    Autoren: Patrice Chalin The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Patrice Chalin The Pennsylvania State University CiteSeerX Archives

    Quelle: http://www.cs.concordia.ca/~faculty/chalin/papers/TR-2006-001.v4a.pdf.

    Schlagwörter: Software Engineering, assertion semantics, soundness, run-time assertion checking, static program verification, logical foundations, Verifying Compiler. 2001 CR Categories, D.2.1 [Software Engineering] Requirements / Specifications — languages, tools, JML, D.2.2

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.1937
    http://www.cs.concordia.ca/~faculty/chalin/papers/TR-2006-001.v4a.pdf

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

    In black and white: an integrated approach to class-level testing of object-oriented programs

    Autoren: Chan, FT Tse, TH Chen, TY et al.

    Quelle: ACM Transactions on Software Engineering and Methodology. 7:250-295

    Schlagwörter: 4. Education, Languages, 0202 electrical engineering, electronic engineering, information engineering, D.3.2 [Programming Languages]: Language Classifications - object-oriented languages, 02 engineering and technology, D.2.5 [Software Engineering]: Testing and Debugging - test data generators, D.2.1 [Software Engineering]: Requirements/Specifications-languages, Algorithms

    Zugangs-URL: http://hub.hku.hk/bitstream/10722/48420/1/29731.pdf
    https://core.ac.uk/display/24391879
    https://doi.org/10.1145/287000.287004
    https://doi.acm.org/10.1145/287000.287004
    http://www.cs.hku.hk/research/techreps/document/TR-96-07.pdf
    https://hub.hku.hk/handle/10722/48420
    https://dl.acm.org/doi/abs/10.1145/287000.287004
    http://hdl.handle.net/10722/48420

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    for the CleanJava Annotation Language

    Autoren: Cesar Yeep Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Cesar Yeep Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

    Quelle: http://www.cs.utep.edu/cheon/techreport/tr13-29.pdf.

    Schlagwörter: Formal annotation language, parser, static checker, CleanJava, JastAddJ. 1998 CR Categories, D.3.2 [Programming Languages] Language classifications⎯Object-oriented languages, D.3.4 [Programming Languages

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.310.1479
    http://www.cs.utep.edu/cheon/techreport/tr13-29.pdf

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

    Automated random testing to detect specification-code inconsistencies

    Autoren: Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

    Quelle: http://www.cs.utep.edu/~cheon/techreport/tr07-07.pdf.

    Schlagwörter: random testing, test data generator, test oracle, pre and postconditions, JML language. 1998 CR Categories, D.2.5 [Software Engineering] Testing and Debugging — testing tools (e.g, data generators, coverage testing, D.3.2 [Programming Languages] Language Classifications — Object-oriented

    Dateibeschreibung: application/pdf

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

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

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

    A contextual interpretation of undefinedness for runtime assertion checking

    Autoren: Gary T. Leavens Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Gary T. Leavens Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

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

    Schlagwörter: 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 Verifying and Reasoning about Programs — Asse, invariants

    Dateibeschreibung: application/pdf

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

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

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

    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

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

    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
  8. 8

    Table of Contents

    Autoren: Patrice Chalin The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Patrice Chalin The Pennsylvania State University CiteSeerX Archives

    Quelle: http://www.cs.concordia.ca/~faculty/chalin/papers/TR-2005-001-r2.pdf.

    Schlagwörter: D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.5574
    http://www.cs.concordia.ca/~faculty/chalin/papers/TR-2005-001-r2.pdf

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

    Revision History

    Autoren: Patrice Chalin The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Patrice Chalin The Pennsylvania State University CiteSeerX Archives

    Quelle: http://www.cs.concordia.ca/~chalin/papers/TR-2005-005-r2.pdf.

    Schlagwörter: D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.6677
    http://www.cs.concordia.ca/~chalin/papers/TR-2005-005-r2.pdf

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

    The JML and JUnit Way of Unit Testing and its Implementation

    Autoren: Yoonsik Cheon Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Yoonsik Cheon Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

    Quelle: http://www.cs.utep.edu/cheon/data/cheon-leavens04.pdf.

    Schlagwörter: checkers, class invariants, formal methods, programming by contract, reliability, tools, validation, JML, D.2.5 [Software Engineering] Testing and Debugging — Debugging aids, design, monitors, testing tools, theory, JUnit, D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, invariants, pre- and post-conditions, specification techniques

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.3930
    http://www.cs.utep.edu/cheon/data/cheon-leavens04.pdf

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

    A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

    Autoren: Yoonsik Cheon Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Yoonsik Cheon Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

    Quelle: http://archives.cs.iastate.edu/documents/disk0/00/00/02/58/00000258-00/tr01-12.pdf.

    Schlagwörter: 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, testing tools, theory, JUnit, D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.9880
    http://archives.cs.iastate.edu/documents/disk0/00/00/02/58/00000258-00/tr01-12.pdf

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

    A Runtime Assertion Checker for the Java Modeling Language (JML)

    Autoren: Yoonsik Cheon Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Yoonsik Cheon Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

    Quelle: ftp://ftp.cs.iastate.edu/pub/techreports/TR02-05/TR.pdf

    Schlagwörter: 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, testing tools, theory, D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, invariants, pre- and postconditions, specification techniques

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.2535

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

    On Binary Methods

    Autoren: Kim Bruce Luca Cardelli Gary T. Leavens et al.

    Weitere Verfasser: Kim Bruce Luca Cardelli Gary T. Leavens et al.

    Quelle: ftp://ftp.cs.iastate.edu/pub/techreports/TR95-08/TR.ps.Z

    Schlagwörter: and Theory--- semantics, D.3.2 [Programming Languages] Language Classifications--- object-oriented languages, D.3.3 [Programming Languages] Language Constructs--- Abstract data types, modules, packages, F.3.2 [Logics

    Dateibeschreibung: application/postscript

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.7293

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

    A Critical Comparison

    Autoren: Carmen Avila Amritam Sarcar Yoonsik Cheon et al.

    Weitere Verfasser: Carmen Avila Amritam Sarcar Yoonsik Cheon et al.

    Quelle: http://www.cs.utep.edu/cheon/techreport/tr10-04.pdf.

    Schlagwörter: post-conditions, specification techniques

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.4586
    http://www.cs.utep.edu/cheon/techreport/tr10-04.pdf

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

    Using OCL and AspectJ

    Autoren: Yoonsik Cheon Carmen Avila Steve Roach et al.

    Weitere Verfasser: Yoonsik Cheon Carmen Avila Steve Roach et al.

    Quelle: http://www.cs.utep.edu/cheon/techreport/tr09-35.pdf.

    Schlagwörter: 1998 CR Categories, D.2.4 [Software Engineering] Design Tools and Techniques⎯modules and

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.1987
    http://www.cs.utep.edu/cheon/techreport/tr09-35.pdf

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

    Call and Execution Semantics in AspectJ

    Autoren: Ohad Barzilay Shmuel Tyszberowicz Yishai A. Feldman et al.

    Weitere Verfasser: Ohad Barzilay Shmuel Tyszberowicz Yishai A. Feldman et al.

    Quelle: http://www.cs.iastate.edu/~leavens/FOAL/papers-2004/barzilay-etal.pdf.

    Schlagwörter: AspectJ

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.5636
    http://www.cs.iastate.edu/~leavens/FOAL/papers-2004/barzilay-etal.pdf

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

    Multiple dispatch as dispatch on tuples

    Autoren: Copyright Gary T. Leavens Todd Millstein et al.

    Weitere Verfasser: Copyright Gary T. Leavens Todd Millstein et al.

    Quelle: http://archives.cs.iastate.edu/documents/disk0/00/00/01/73/00000173-01/TR98-03.pdf.

    Schlagwörter: semantics

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.9841
    http://archives.cs.iastate.edu/documents/disk0/00/00/01/73/00000173-01/TR98-03.pdf

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

    Evaluating the Expressiveness of a Multimethod Object-Oriented Programming Language

    Autoren: Karakoy, Sevtap Computer Science

    Weitere Verfasser: Karakoy, Sevtap Computer Science

    Quelle: archive/lib.dr.iastate.edu/cs_techreports/66/TR98_12.pdf|||Sat Jan 15 01:25:04 UTC 2022

    Schlagwörter: Programming Languages and Compilers, Systems Architecture

    Dateibeschreibung: application/pdf

    Relation: archive/lib.dr.iastate.edu/cs_techreports/66/; 1082; 5298548; cs_techreports/66; https://dr.lib.iastate.edu/handle/20.500.12876/20253

    Verfügbarkeit: https://dr.lib.iastate.edu/handle/20.500.12876/20253
    https://hdl.handle.net/20.500.12876/20253

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

Suchwerkzeuge: