Suchergebnisse - "Software/Program Verification—Class invariants"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Symbolic execution, D.2.4 [Software Engineering, Software/Program Verification—Class invariants General Terms
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.5332; http://ranger.uta.edu/~csallner/papers/csallner08dysy.pdf
-
2
Autoren: et al.
Weitere Verfasser: et al.
Quelle: http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf.
Schlagwörter: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming, D.1.5 [Programming Techniques, Object-oriented Programming, D.2.4 [Software Engineering, Software/Program Verification—Class invariants, Correctness proofs, Formal methods, Programming by contract, F.3.1 [Logics and Meanings of programs, Specifying and Verifying and Reasoning about Programs—Assertions, Invariants, Logics of programs, Mechanical verification, Pre- and post-conditions, Specification techniques General Terms, Verification Additional Key Words and Phrases, Aliasing, data races, local reasoning, modular reasoning, ownership, verification condition generation ACM Reference Format
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.5177; http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf
Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.5177
http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf -
3
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Symbolic execution, D.2.4 [Software Engineering, Software/Program Verification—Class invariants General Terms
Dateibeschreibung: application/pdf
-
4
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Symbolic execution, D.2.4 [Software Engineering, Software/Program Verification—Class invariants General Terms
Dateibeschreibung: application/pdf
-
5
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: formal specification, application programming interface, security, programming by contract, pre and postconditions, JML language. 1998 CR Categories, D.2.4 [Software Engineering] Software/Program Verification — class invariants
Dateibeschreibung: application/pdf
-
6
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Program- ming, D.1.5 [Programming Techniques, Object-oriented Programming, D.2.4 [Software En- gineering, Software/Program Verification—Class invariants, Correctness proofs, Formal meth- ods, Programming by contract, F.3.1 [Logics and Meanings of programs, Specifying and Verifying and Reasoning about Programs—Assertions, Invariants, Logics of programs, Mechani- cal verification, Pre- and post-conditions, Specification techniques General Terms, Verification Additional Key Words and Phrases, Aliasing, data races, local reasoning, modular reasoning, ownership, verification
Dateibeschreibung: application/pdf
-
7
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification — Class invariants, correctness proofs, formal methods, programming by contract, object orientation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.3 [Programming Languages, Language Constructs and Features — Classes and objects, modules, packages, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, specification techniques. General Terms, Verification, Languages Additional Key Words and Phrases, modularity, data abstraction, data invariants, information hiding, heap separation, resource
Dateibeschreibung: application/pdf
-
8
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification — Class invariants, correctness proofs, formal methods, programming by contract, object orientation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.3 [Programming Languages, Language Constructs and Features — Classes and objects, modules, packages, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, specification techniques. General Terms, Verification, Languages Additional Key Words and Phrases, modularity, data abstraction, data invariants, information hiding, heap separation, resource
Dateibeschreibung: application/pdf
-
9
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification — Class invariants, correctness proofs, formal methods, programming by contract, object orientation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.3 [Programming Languages, Language Constructs and Features — Classes and objects, modules, packages, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, specification techniques. General Terms, Verification, Languages Additional Key Words and Phrases, modularity, data abstraction, data invariants, information hiding, heap separation, resource
Dateibeschreibung: application/pdf
-
10
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification — Class invariants, correctness proofs, formal methods, programming by contract, object orientation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.3 [Programming Languages, Language Constructs and Features — Classes and objects, modules, packages, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, specification techniques. General Terms, Verification, Languages Additional Key Words and Phrases, modularity, data abstraction, data invariants, information hiding, heap separation, resource
Dateibeschreibung: application/pdf
-
11
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification — Class invariants, correctness proofs, formal methods, programming by contract, object orientation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.3 [Programming Languages, Language Constructs and Features — Classes and objects, modules, packages, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, specification techniques. General Terms, Verification, Languages Additional Key Words and Phrases, modularity, data abstraction, data invariants, information hiding, heap separation, resource protection Contents
Dateibeschreibung: application/pdf
-
12
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification — Class invariants, correctness proofs, formal methods, programming by contract, object orientation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.3 [Programming Languages, Language Constructs and Features — Classes and objects, modules, packages, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, specification techniques. General Terms, Verification, Languages Additional Key Words and Phrases, modularity, data abstraction, data invariants, information hiding, heap separation, resource protection Contents
Dateibeschreibung: application/pdf
Nájsť tento článok vo Web of Science