Výsledky vyhľadávania - "Software/Program Verification—Assertion checkers"
-
1
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Assertion checkers, model checking, D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, testing tools, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement—Restructuring, reverse engineering, and reengineering, D.3.2 [Programming Languages, Language Classifications—Applicative (functional) languages, macro and assembly languages, F.3.2 [Logics and Meanings of Programs, Semantics of Program
Popis súboru: application/pdf
-
2
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification—Assertion Checkers, Cor- rectness Proofs, F.3.1 [Logics and Meanings of Programs, Spec- ifying and Verifying and Reasoning about Programs—Invariants, Assertions, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, D.4.6 [Operating Systems, Security and Protection—Verification General Terms Verification, Algorithms, Reliability Keywords Concurrency, Abstract Interpretation, Compositional Reasoning, Data Flow Graphs, Parameterized Programs, Thread Invariants
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.454.2594; http://www.cs.toronto.edu/~zkincaid/pub/popl12.pdf
-
3
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors D.2.5 [Software Engineer- ing, Testing and Debugging — debugging aids, diagnostics, D.2.4 [Software Engineering, Software/Program Verification — assertion checkers, formal methods, D.1.3 [Programming Tech- niques, Concurrent Programming — parallel programming General Terms Languages, Theory, Verification Keywords Concurrent Programs, Atomicity, Synchronization Id
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.527.2360; http://portal.ku.edu.tr/~stasiran/publications/padtad09.pdf
-
4
Autori: a ďalší
Prispievatelia: a ďalší
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, testing tools, theory, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, invariants, pre- and postconditions
Popis súboru: application/pdf
-
5
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Assertion checkers, D.2.6 [Software Engineering, Programming Environments—Integrated Environments. General Terms Reliability, Performance, Experimentation. Keywords Web macros, end user software engineering, programming by demon- stration, dependability, assertions
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.567.6382; http://cse.unl.edu/~kstolee/robofox.pdf
-
6
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: http://secure.ucd.ie/products/opensource/ESCJava2/ESCTools/docs/Escjava2-ImplementationNotes.pdf.
Predmety: 2003 CR Categories, D.2.1 [Software Engineering] Requirements/Specifications — languages, tools, theory, JML, ESC/Java, ESC/Java2, D.2.4 [Software Engineering] Software/Program Verification — assertion checkers, class invariants, formal methods, programming by contract, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying
Popis súboru: application/pdf
-
7
Autori:
Prispievatelia:
Predmety: Information hiding, visibility, behavioral interface specification language, proof obligation, public, protected, private, client, JML language. 2006 CR Categories, D.2.1 [Software Engineering] Requirements/Specifications — Languages, D.2.4 [Software Engineering] Software/Program Verification — Assertion checkers, class invariants, correctness proofs, formal methods, programming by contract, reliability, tools, Spec, Eiffel, JML, D.3.3 [Programming Languages] Language Constructs and Features — Modules, Packages, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, invariants, logics of programs, pre- and post-conditions, specification techniques
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.166.130; http://www.sct.inf.ethz.ch/teaching/ws2006/SemSpecVer/papers/Information_Hiding_and_Visibility_in_Interface_Specifications.pdf
-
8
Autori:
Prispievatelia:
Predmety: D.2.4 [Software Engineering, Software/Program Verification- Assertion checkers, D.2.11 [Software Engineering, Software Architectures- Domain Specific Architectures General Terms Measurement, Security, Verification Keywords Service Oriented Architecture, trust, client-side data privacy
Popis súboru: application/pdf
-
9
Autori: a ďalší
Prispievatelia: a ďalší
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
-
10
Autori:
Prispievatelia:
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
-
11
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Engineering] Software/Program Verification — Assertion checkers, class invari- ants, formal methods, programming by contract, reliability, tools, validation, JML, D.2.5 [Software Engineering] Testing and Debugging — Debugging aids, design, testing tools, theory, D.3.2 [Programming Languages] Language Classifi- cations — Object-oriented languages, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, invari
Popis súboru: application/pdf
-
12
Autori:
Prispievatelia:
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, testing tools, theory, 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
-
13
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Assertion checkers, Reliability, Statistical methods, D.2.5 [Software Engineering, Testing and Debugging— Symbolic Execution
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.3943; http://www.cs.virginia.edu/~zhou/please/xie03archer.pdf
-
14
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification---Assertion checkers, Reliability, Statistical methods, D.2.5 [Software Engineering, Testing and Debugging--- Symbolic Execution
Popis súboru: application/postscript
-
15
Autori:
Prispievatelia:
Predmety: Key Words, alias, dummy aliasing, verification, optimization Category, D.2.4 Software Engineering- Software/Program Verification [Assertion checkers] D.2.5 Software Engine, Symbolic execution] D.3.4 Programming Languages- Processors [Compilers, Optimization
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.802; http://www.jucs.org/jucs_9_3/alias_verification_for_fortran/Nguyen_T_V_N.pdf
-
16
Autori:
Prispievatelia:
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
-
17
Autori:
Prispievatelia:
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
-
18
Autori:
Prispievatelia:
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, invariants, pre- and post-conditions, specification techniques
Popis súboru: application/pdf
-
19
Autori:
Prispievatelia:
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, testing tools, theory, D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings of
Popis súboru: application/pdf
-
20
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: D.2.4 [SOFTWARE ENGINEERING, Software/Program Verification—Assertion checkers, Formal methods General Terms Verification, Reliability Keywords differential analysis
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.353.6405; http://www.stanford.edu/~sharmar/pubs/dac.pdf
Nájsť tento článok vo Web of Science