Výsledky vyhľadávania - Software/Program Verification— programming by contract General Terms

Blockchain-based solution to enhance carbon footprint traceability, accounting, and offsetting in the passenger aviation industry.

Autori: Patro, Pratyush Kumar Jayaraman, Raja Acquaye, Adolf a ďalší

Zdroj: International Journal of Production Research; Nov2025, Vol. 63 Issue 22, p8235-8268, 34p

Predmety: BLOCKCHAINS, AIRCRAFT industry, ORGANIZATIONAL accountability, GREENHOUSE gas mitigation, ENVIRONMENTAL management, ECOLOGICAL impact, ENVIRONMENTAL impact analysis

A Specification-based Approach to Testing Software Product Lines

Autori: Engin Uzuncaova Daniel Garcia Sarfraz Khurshid a ďalší

Prispievatelia: Engin Uzuncaova Daniel Garcia Sarfraz Khurshid a ďalší

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

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

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

AGTS: Novel automated generation of smart contract test suites for Hyperledger Fabric.

Autori: Liu, Lixue Gu, Qiqi Ke, Wei

Zdroj: Scientific Reports; 8/13/2025, Vol. 15 Issue 1, p1-15, 15p

Predmety: QUALITY assurance, BLOCKCHAINS, CRYPTOCURRENCIES, DYNAMIC testing, PENETRATION testing (Computer security)

Investigating demand forecasting practices and challenges in Ghana's Manufacturing Pharmaceutical (MPharma) small and medium enterprises (SMEs): insights and recommendations.

Autori: Aidoo-Anderson, Albert Polychronakis, Yiannis Sapountzis, Stylianos a ďalší

Zdroj: International Journal of Production Research; Nov2025, Vol. 63 Issue 21, p7899-7920, 22p

Predmety: DEMAND forecasting, PHARMACEUTICAL industry, GHANAIANS, QUALITATIVE research, INVENTORY control, INDUSTRIAL capacity

Geografický termín: GHANA

Space-Efficient Manifest Contracts

Autori: Michael Greenberg The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Michael Greenberg The Pennsylvania State University CiteSeerX Archives

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

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

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

Contracts for First-Class Classes

Autori: T. Stephen Strickland Christos Dimoulas Asumu Takikawa a ďalší

Prispievatelia: T. Stephen Strickland Christos Dimoulas Asumu Takikawa a ďalší

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

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

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

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

Expressing and Checking Intended Changes via Software Change Contracts

Autori: Jooyong Yi Dawei Qi Shin Hwei Tan a ďalší

Prispievatelia: Jooyong Yi Dawei Qi Shin Hwei Tan a ďalší

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

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

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

EzSkiROS: enhancing robot skill composition with embedded DSL for early error detection.

Autori: Rizwan, Momina Reichenbach, Christoph Caldas, Ricardo a ďalší

Zdroj: Frontiers in Robotics & AI; 2025, p1-18, 18p

Predmety: ROBOTICS software, ROBOT control systems, ROBOT design & construction, LINGUISTICS, DEBUGGING, ROBOT programming

Exploring a Blockchain-Empowered Framework for Enhancing the Distributed Agile Software Development Testing Life Cycle.

Autori: Farooq, Muhammad Shoaib Qureshi, Junaid Nasir Ahmed, Fatima a ďalší

Zdroj: Inventions (2411-5134); Aug2025, Vol. 10 Issue 4, p49, 38p

Predmety: BLOCKCHAINS, AGILE software development, COOPERATION, COMPUTER software testing, DISCLOSURE, INFORMATION technology security

Survey on Quality Assurance of Smart Contracts.

Autori: Wei, Zhiyuan Sun, Jing Zhang, Zijian a ďalší

Zdroj: ACM Computing Surveys; Feb2025, Vol. 57 Issue 2, p1-36, 36p

Predmety: GRAPH neural networks, CONVOLUTIONAL neural networks, LANGUAGE models, MACHINE learning, COMPUTER networks, BLOCKCHAINS, DEEP learning

Studying program correctness by constructing contracts

Autori: Timothy S. Gegg-harrison Gary R. Bunce Rebecca D. Ganetzky a ďalší

Prispievatelia: Timothy S. Gegg-harrison Gary R. Bunce Rebecca D. Ganetzky a ďalší

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

Predmety: General Terms Documentation, Verification. Keywords Design by contract, axiomatic semantics, Java

Popis súboru: application/pdf

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

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

A survey on automation approaches of smart contract generation.

Autori: Mars, Rawya Cheikhrouhou, Saoussen Kallel, Slim a ďalší

Zdroj: Journal of Supercomputing; Sep2023, Vol. 79 Issue 14, p16065-16097, 33p

Predmety: DATA privacy, AUTOMATIC classification, COMPUTER software, COMPUTER systems, CONTRACTS, BLOCKCHAINS

GOVERNING THE INTERFACE BETWEEN NATURAL AND FORMAL LANGUAGE IN SMART CONTRACTS.

Autori: Fairfield, Joshua Selvadurai, Niloufer

Zdroj: UCLA Journal of Law & Technology; Spring2022, Vol. 27 Issue 2, p79-118, 40p

Predmety: FORMAL languages, NATURAL languages, CONTRACTS, BLOCKCHAINS, COMPUTER programming, OBEDIENCE (Law)

Smart contract life-cycle management: an engineering framework for the generation of robust and verifiable smart contracts.

Autori: Mustafa, Iqra McGibney, Alan Rea, Susan

Zdroj: Frontiers in Blockchain; 2024, p01-19, 19p

Predmety: CONTRACT management, INDUSTRIAL engineering, ENGINEERING management, PETRI nets, CONTRACTS

GethReplayer: a smart contract testing method based on transaction replay.

Autori: Shi, Xiaohong Wang, Ziyan Zhong, Runlu a ďalší

Zdroj: International Journal of Web Information Systems; 2024, Vol. 20 Issue 4, p358-373, 16p

Systems Software Group

Autori: Dirk Wischermann Wolfgang Schröder-preikschat The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Dirk Wischermann Wolfgang Schröder-preikschat The Pennsylvania State University CiteSeerX Archives

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

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

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

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

Enhancing software defect prediction with a hybrid convolutional neural network and antlion optimization model.

Autori: Mahmoud, Alia Nabil Santos, Vitor Freire, Mario M. a ďalší

Zdroj: Cluster Computing; Oct2025, Vol. 28 Issue 6, p1-36, 36p

for Reasoning about Frame Properties

Autori: Yuyan Bao Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Yuyan Bao Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-13-02/TR.pdf.

Predmety: H.4 [Information Systems Applications, Miscellaneous, D.2.4 [Software Engineering, Software/Program Verification—formal methods, programming by contract General Terms Verification Keywords Frame axiom, modifies clause, separation logic, dynamic frames, region logic, formal methods, Dafny language, DafnyR language

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.1639
http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-13-02/TR.pdf

Fractional permissions without the fractions

Autori: Stefan Heule K. Rustan M. Leino a ďalší

Prispievatelia: Stefan Heule K. Rustan M. Leino a ďalší

Zdroj: http://research.microsoft.com/en-us/um/people/leino/papers/krml217.pdf.

Predmety: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—formal methods, programming by contract General Terms Verification Keywords Static verification

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.2024
http://research.microsoft.com/en-us/um/people/leino/papers/krml217.pdf

Toward Specification and Composition of BoxScript Components

Autori: H. Conrad Cunningham The Pennsylvania State University CiteSeerX Archives

Prispievatelia: H. Conrad Cunningham The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.olemiss.edu/~hcc/papers/specBoxScript.pdf.

Predmety: class invariants, formal methods, programming by contract. General Terms Design, Languages, Verification. Keywords Component, composition, specification, BoxScript

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.6261; http://www.cs.olemiss.edu/~hcc/papers/specBoxScript.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.6261
http://www.cs.olemiss.edu/~hcc/papers/specBoxScript.pdf