Suchergebnisse - "Software/Program Verification- Assertion checkers"
-
1
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
2
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
5
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.567.6382; http://cse.unl.edu/~kstolee/robofox.pdf
-
6
Autoren: et al.
Weitere Verfasser: et al.
Quelle: http://secure.ucd.ie/products/opensource/ESCJava2/ESCTools/docs/Escjava2-ImplementationNotes.pdf.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
7
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
9
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
10
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
11
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
12
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
13
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/postscript
-
15
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
17
Autoren:
Weitere Verfasser:
Quelle: ftp://ftp.cs.iastate.edu/pub/techreports/TR02-05/TR.pdf
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
18
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
19
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
20
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: D.2.4 [SOFTWARE ENGINEERING, Software/Program Verification—Assertion checkers, Formal methods General Terms Verification, Reliability Keywords differential analysis
Dateibeschreibung: 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