Výsledky vyhledávání - Software/Program Verification—Programming by contract General Terms Languages~

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

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 Lan- guages, Formal Definitions and Theory, D.2.4 [Software Engi- neering, Software/Program Verification—Programming by con- tract General Terms Languages, Theory

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.564.8573
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

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

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

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

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

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

On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software.

Autoři: Araujo, Wladimir Briand, Lionel C. Labiche, Yvan

Zdroj: IEEE Transactions on Software Engineering; Oct2014, Vol. 40 Issue 10, p971-992, 22p

Témata: CONTRACTS, COMPUTER files, COMPUTER systems, CAD/CAM systems, SOFTWARE verification

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

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

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

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

Assessing Listening and Spoken Language in Children with Hearing Loss

Autoři: Bradham, Tamala S. Houston, K. Todd

Resource Type: eBook.

Témata: Auditory perception, Children, Auditory perception--Testing, Language acquisition

Categories: MEDICAL / Surgery / General

Reliable Software Technologies – Ada-Europe 2017 : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Autoři: Johann Blieberger Markus Bader

Resource Type: eBook.

Témata: Compilers (Computer programs), Software engineering, Computers, Special purpose, Computer science, Operating systems (Computers)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Operating Systems / General, COMPUTERS / Software Development & Engineering / General

Career Opportunities.

Zdroj: Computer (00189162); Feb2012, Vol. 45 Issue 2, p100-111, 0p

Témata: JOB advertising, SOFTWARE engineers, COMPUTER programmers

Principles of Systems Design

Autoři: Jean-François Raskin Krishnendu Chatterjee Laurent Doyen a další

Resource Type: eBook.

Témata: Computer science, Machine theory, Artificial intelligence, Software engineering

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General

Advances in Hydroinformatics

Autoři: Philippe Gourbesville Guy Caignaert

Resource Type: eBook.

Témata: Water, Hydrology, Environmental engineering, Civil engineering, Geographic information systems, Mathematics—Data processing

Categories: SCIENCE / Earth Sciences / Hydrology, COMPUTERS / Computer Science, MATHEMATICS / Applied, SCIENCE / Earth Sciences / Geography, TECHNOLOGY & ENGINEERING / Civil / General, TECHNOLOGY & ENGINEERING / Environmental / General

Unimagined Futures – ICT Opportunities and Challenges

Autoři: Leon Strous Roger Johnson David Alan Grier a další

Resource Type: eBook.

Témata: Artificial intelligence, Information technology, Internet of things, Quantum computing

Categories: COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Software Development & Engineering / General

Springer Handbook of Model-Based Science

Autoři: Lorenzo Magnani Tommaso Bertolotti

Resource Type: eBook.

Témata: Science--Simulation methods

Categories: COMPUTERS / Artificial Intelligence / General, MATHEMATICS / Logic, PSYCHOLOGY / Cognitive Psychology & Cognition, SCIENCE / Physics / General, SCIENCE / Philosophy & Social Aspects, TECHNOLOGY & ENGINEERING / Engineering (General)