Výsledky vyhledávání - "Software/Program Verification—Programming by contract"

Software change contracts

Autoři: Dawei Qi Jooyong Yi Abhik Roychoudhury a další

Přispěvatelé: Dawei Qi Jooyong Yi Abhik Roychoudhury a další

Zdroj: http://www.comp.nus.edu.sg/%7Eabhik/pdf/fse12.pdf.

Témata: Categories and Subject Descriptors D.2.1 [Software Engineering, Requirements/Specifications—Languages, D.2.4 [Software Engineering, Software/Program Verification—Programming by contract Keywords Software Evolution, Regression Testing, Change Contract, JML

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.5983; http://www.comp.nus.edu.sg/%7Eabhik/pdf/fse12.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.5983
http://www.comp.nus.edu.sg/%7Eabhik/pdf/fse12.pdf

Modular Verification for Aspect-Oriented Interfaces

Autoři: Mehdi Bagherzadeh Hridesh Rajan Gary T. Leavens a další

Přispěvatelé: Mehdi Bagherzadeh Hridesh Rajan Gary T. Leavens a další

Zdroj: http://www.cs.iastate.edu/%7Edesign/papers/TR-10-02/TR-10-02.pdf.

Témata: D.2.4 [Software/Program Verification] Programming by contract, Assertion checkers F.3.1 [Specifying and Verifying and Reasoning about Programs] Assertions, Invariant, Pre- and post-conditions, Specification techniques

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.2331
http://www.cs.iastate.edu/%7Edesign/papers/TR-10-02/TR-10-02.pdf

Enhanced extended static checking in JML4: Benefits of multiple-prover support

Autoři: Perry R. James Patrice Chalin The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Perry R. James Patrice Chalin The Pennsylvania State University CiteSeerX Archives

Zdroj: http://users.encs.concordia.ca/~chalin/papers/JamesChalin09-ACM-SAC-SVT09-preprint.pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Programming by contract, Correctness proofs, F.3.1 [Logics and Meaning of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification Keywords extended stat, static verification, theorem provers, Java Modeling Language, JML4, ESC, ESC4

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.568.2399
http://users.encs.concordia.ca/~chalin/papers/JamesChalin09-ACM-SAC-SVT09-preprint.pdf

A Specification-based Approach to Testing Software Product Lines

Autoři: Engin Uzuncaova Daniel Garcia Sarfraz Khurshid a další

Přispěvatelé: Engin Uzuncaova Daniel Garcia Sarfraz Khurshid a další

Zdroj: http://www.cs.utexas.edu/ftp/pub/predator/FSE2007.pdf.

Témata: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—testing tools, D.2.4 [Software Engineering, Software/Program Verification— programming by contract General Terms, Reliability, Verification, Design Keywords, Product-lines, specification-based testing, test data generation, GenVoca, AHEAD, Alloy

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.6338; http://www.cs.utexas.edu/ftp/pub/predator/FSE2007.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.6338
http://www.cs.utexas.edu/ftp/pub/predator/FSE2007.pdf

On the effectiveness of contracts as test oracles in the detection and diagnosis of functional faults in concurrent object-oriented software

Autoři: Araujo, W. (Wladimir) Briand, L.C. (Lionel C.) Labiche, Y. (Yvan)

Zdroj: IEEE Transactions on Software Engineering vol. 40 no. 10, pp. 971-992

Témata: Concurrent programming, object-oriented programming, Software Quality/SQA-Measurement applied to SQA and V and V, Software/Program Verification-Programming by contract

Relation: https://ir.library.carleton.ca/pub/8027

Dostupnost: https://ir.library.carleton.ca/pub/8027
https://doi.org/10.1109/TSE.2014.2339829

Systems Software Group

Autoři: Dirk Wischermann Wolfgang Schröder-preikschat The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Dirk Wischermann Wolfgang Schröder-preikschat The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www4.informatik.uni-erlangen.de/DE/~wischerm/ecoop2010.pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Programming by contract, D.2.5 [Software Engineering, Testing and Debugging—Testing Tools, Tracing General Terms Reliability

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.5325
http://www4.informatik.uni-erlangen.de/DE/~wischerm/ecoop2010.pdf

Contracts for First-Class Classes

Autoři: T. Stephen Strickland Christos Dimoulas Asumu Takikawa a další

Přispěvatelé: T. Stephen Strickland Christos Dimoulas Asumu Takikawa a další

Zdroj: http://www.ccs.neu.edu/racket/pubs/toplas13-sdtf.pdf.

Témata: Categories and Subject Descriptors, D.2.3 [Software Engineering, Coding Tools and Techniques—Objectoriented programming, D.2.4 [Software Engineering, Software/Program Verification—Programming by contract, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics General Terms, Reliability Additional Key Words and Phrases, Contracts, first-class class systems ACM Reference Format

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.84
http://www.ccs.neu.edu/racket/pubs/toplas13-sdtf.pdf

Space-Efficient Manifest Contracts

Autoři: Michael Greenberg The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Michael Greenberg The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cis.upenn.edu/~mgree/papers/popl2014sub_space.pdf.

Témata: Categories and Subject Descriptors D.3.1 [Programming Languages, Formal Definitions and Theory, D.2.4 [Software Engineering, Software/Program Verification—Programming by contract General Terms Languages, Theory

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.358.1269; http://www.cis.upenn.edu/~mgree/papers/popl2014sub_space.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.358.1269
http://www.cis.upenn.edu/~mgree/papers/popl2014sub_space.pdf

Expressing and Checking Intended Changes via Software Change Contracts

Autoři: Jooyong Yi Dawei Qi Shin Hwei Tan a další

Přispěvatelé: Jooyong Yi Dawei Qi Shin Hwei Tan a další

Zdroj: http://www.comp.nus.edu.sg/~abhik/pdf/issta13.pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Programming by contract, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, Syntax General Terms Experimentation, Languages, Reliability Keywords Software changes, Dynamic checking, Test generation, Test repair

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.310.6443; http://www.comp.nus.edu.sg/~abhik/pdf/issta13.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.310.6443
http://www.comp.nus.edu.sg/~abhik/pdf/issta13.pdf

Past Expression: Encapsulating Pre-states at Post-conditions by Means of AOP

Autoři: Jooyong Yi Xianghua Deng Abhik Roychoudhury a další

Přispěvatelé: Jooyong Yi Xianghua Deng Abhik Roychoudhury a další

Zdroj: http://www.comp.nus.edu.sg/~abhik/pdf/aosd13.pdf.

Témata: Categories and Subject Descriptors D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, Syntax, D.2.4 [Software Engineering, Software/Program Verification—Programming by contract Keywords Contract, Encapsulation, Old Expression, Past Expression, Branch Pointcut, Runtime Assertion Checking (RAC

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.2190; http://www.comp.nus.edu.sg/~abhik/pdf/aosd13.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.2190
http://www.comp.nus.edu.sg/~abhik/pdf/aosd13.pdf

Polymorphic Manifest Contracts, Revised and Resolved.

Autoři: TARO SEKIYAMA ATSUSHI IGARASHI GREENBERG, MICHAEL

Zdroj: ACM Transactions on Programming Languages & Systems; Feb2017, Vol. 39 Issue 1, p3-3:36, 36p

Témata: PROGRAMMING languages, COMPUTER programmers, COMPUTER programming, METATHEORY, COMPUTER science

Modular Reasoning in the Presence of Event Subtyping.

Autoři: BagOerzadeOα, Mehdi Dyer, Robert Fernando, Rex D. a další

Zdroj: Aspect-oriented Software Development; 3/16/15, p117-132, 16p

Enforcing Information Hiding in Interface Specifications: A Client-Aware Checking Approach.

Autoři: Rebêlo, Henrique Leavens, Gary T.

Zdroj: Aspect-oriented Software Development; 3/16/15, p47-51, 5p

Modular Specification and Dynamic Enforcement of Syntactic Language Constraints when Generating Code.

Autoři: Erdweg, Sebastian Vergu, Vlad Mezini, Mira a další

Zdroj: Aspect-oriented Software Development; 4/22/14, p241-252, 12p

AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts.

Autoři: Rebelo, Henrique Leavens, Gary T. Bagherzadeh, Mehdi a další

Zdroj: Aspect-oriented Software Development; 4/22/14, p157-168, 12p

Finding Bugs in Program Generators by Dynamic Analysis of Syntactic Language Constraints.

Autoři: Erdweg, Sebastian Vergu, Vlad Mezini, Mira a další

Zdroj: Aspect-oriented Software Development; 4/22/14, p17-20, 4p

Software Change Contracts.

Autoři: JOOYONG YI DAWEI QI SHIN HWEI TAN a další

Zdroj: ACM Transactions on Software Engineering & Methodology; May2015, Vol. 24 Issue 3, p1-43, 43p

Témata: SOFTWARE engineering, COMPUTER software correctness, COMPUTER programming management, JAVA programming language software, PROGRAMMING languages

Contracts for First-Class Classes.

Autoři: STRICKLAND, T. STEPHEN DIMOULAS, CHRISTOS TAKIKAWA, ASUMU a další

Zdroj: ACM Transactions on Programming Languages & Systems; Nov2013, Vol. 35 Issue 3, p11-11:58, 58p

Témata: SOFTWARE architecture, PROGRAMMING languages, COMPUTER programming, COMPUTER software, PROGRAMMING software

AN AGILE MDA APPROACH FOR EXECUTABLE UML STRUCTURED ACTIVITIES.

Autoři: LAZĂR, I. PÂRV, B. MOTOGNA, S. a další

Zdroj: Studia Universitatis Babeş-Bolyai, Informatica; 2007, Vol. 52 Issue 2, p101-114, 14p

Studying program correctness by constructing contracts

Autoři: Timothy S. Gegg-harrison Gary R. Bunce Rebecca D. Ganetzky a další

Přispěvatelé: Timothy S. Gegg-harrison Gary R. Bunce Rebecca D. Ganetzky a další

Zdroj: http://cs.winona.edu/tgeggharrison/publications/iticse03.pdf.

Témata: General Terms Documentation, Verification. Keywords Design by contract, axiomatic semantics, Java

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.4480; http://cs.winona.edu/tgeggharrison/publications/iticse03.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.4480
http://cs.winona.edu/tgeggharrison/publications/iticse03.pdf