Výsledky vyhledávání - "D.3.2 [Programming Languages] Language Classifications — Object-oriented languages"

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

Autoři: Chan, FT Tse, TH Chen, TY a další

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

Témata: 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

Přístupová URL adresa: 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

for the CleanJava Annotation Language

Autoři: Cesar Yeep Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Cesar Yeep Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: application/pdf

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

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

A contextual interpretation of undefinedness for runtime assertion checking

Autoři: Gary T. Leavens Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Gary T. Leavens Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: application/pdf

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

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

A complete automation of unit testing for Java programs

Autoři: Yoonsik Cheon Myoung Yee Kim Ashaveena Perum a další

Přispěvatelé: Yoonsik Cheon Myoung Yee Kim Ashaveena Perum a další

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

Témata: 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 souboru: application/pdf

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

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

Autoři: Yoonsik Cheon Ashaveena Perum The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Yoonsik Cheon Ashaveena Perum The Pennsylvania State University CiteSeerX Archives

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

Témata: 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 souboru: application/pdf

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

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

Table of Contents

Autoři: Patrice Chalin The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Patrice Chalin The Pennsylvania State University CiteSeerX Archives

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

Témata: D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings

Popis souboru: application/pdf

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

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

Revision History

Autoři: Patrice Chalin The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Patrice Chalin The Pennsylvania State University CiteSeerX Archives

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

Témata: D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings

Popis souboru: application/pdf

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

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

The JML and JUnit Way of Unit Testing and its Implementation

Autoři: Yoonsik Cheon Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Yoonsik Cheon Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: application/pdf

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

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

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

Autoři: Yoonsik Cheon Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Yoonsik Cheon Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: application/pdf

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

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

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

Autoři: Yoonsik Cheon Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Yoonsik Cheon Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: application/pdf

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

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

On Binary Methods

Autoři: Kim Bruce Luca Cardelli Gary T. Leavens a další

Přispěvatelé: Kim Bruce Luca Cardelli Gary T. Leavens a další

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

Témata: 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

Popis souboru: application/postscript

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

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