Výsledky vyhľadávania - "D.3.2 [Programming Languages] Language Classifications — Object-oriented languages"

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

Autori: Patrice Chalin The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Patrice Chalin The Pennsylvania State University CiteSeerX Archives

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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

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

Autori: Chan, FT Tse, TH Chen, TY a ďalší

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

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

Prí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

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

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

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

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

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

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Yoonsik Cheon Myoung Yee Kim Ashaveena Perum a ďalší

Prispievatelia: Yoonsik Cheon Myoung Yee Kim Ashaveena Perum a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

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

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

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Patrice Chalin The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Patrice Chalin The Pennsylvania State University CiteSeerX Archives

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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

Autori: Patrice Chalin The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Patrice Chalin The Pennsylvania State University CiteSeerX Archives

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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

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

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

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

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

Prispievatelia: 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.

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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)

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

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

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

Predmety: 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 súboru: application/pdf

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

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

On Binary Methods

Autori: Kim Bruce Luca Cardelli Gary T. Leavens a ďalší

Prispievatelia: Kim Bruce Luca Cardelli Gary T. Leavens a ďalší

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

Predmety: 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 súboru: application/postscript

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

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

A Critical Comparison

Autori: Carmen Avila Amritam Sarcar Yoonsik Cheon a ďalší

Prispievatelia: Carmen Avila Amritam Sarcar Yoonsik Cheon a ďalší

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

Predmety: post-conditions, specification techniques

Popis súboru: application/pdf

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

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

Using OCL and AspectJ

Autori: Yoonsik Cheon Carmen Avila Steve Roach a ďalší

Prispievatelia: Yoonsik Cheon Carmen Avila Steve Roach a ďalší

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

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

Popis súboru: application/pdf

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

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

Call and Execution Semantics in AspectJ

Autori: Ohad Barzilay Shmuel Tyszberowicz Yishai A. Feldman a ďalší

Prispievatelia: Ohad Barzilay Shmuel Tyszberowicz Yishai A. Feldman a ďalší

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

Predmety: AspectJ

Popis súboru: application/pdf

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

Dostupnosť: 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

Multiple dispatch as dispatch on tuples

Autori: Copyright Gary T. Leavens Todd Millstein a ďalší

Prispievatelia: Copyright Gary T. Leavens Todd Millstein a ďalší

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

Predmety: semantics

Popis súboru: application/pdf

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

Dostupnosť: 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

Evaluating the Expressiveness of a Multimethod Object-Oriented Programming Language

Autori: Karakoy, Sevtap Computer Science

Prispievatelia: Karakoy, Sevtap Computer Science

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

Predmety: Programming Languages and Compilers, Systems Architecture

Popis súboru: 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

Dostupnosť: https://dr.lib.iastate.edu/handle/20.500.12876/20253
https://hdl.handle.net/20.500.12876/20253