Suchergebnisse - "Engineering] Software/Program Verification — Assertion checkers"
-
1
Autoren:
Weitere Verfasser:
Schlagwörter: access control contracts, pre and postconditions, runtime assertion checking, stack inspection, JML. 1998 CR Categories, D.2.2 [Software Engineering] Design Tools and Techniques — Modules and
Dateibeschreibung: application/pdf
-
2
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
-
3
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
-
4
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
-
5
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
-
6
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
-
7
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
-
8
Autoren:
Quelle: ICSE: International Conference on Software Engineering; 2008, p33-40, 8p, 3 Diagrams, 2 Charts
Schlagwörter: OPEN source software, COMPUTER security, COMPUTER programming, COMPUTER software development, SOFTWARE engineering, COMPUTER systems
-
9
Autoren: et al.
Quelle: Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451); 2003, p460-465, 6p
-
10
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: post-conditions, specification techniques
Dateibeschreibung: application/pdf
-
11
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 1998 CR Categories, D.2.4 [Software Engineering] Design Tools and Techniques⎯modules and
Dateibeschreibung: application/pdf
-
12
Autoren: et al.
Weitere Verfasser: et al.
Dateibeschreibung: application/pdf
-
13
Autoren: et al.
Quelle: ACM Transactions on Programming Languages & Systems; Oct2014, Vol. 36 Issue 4, p11:1-11:73, 73p
-
14
Autoren:
Quelle: ACM Transactions on Programming Languages & Systems; Apr2013, Vol. 35 Issue 1, p4:1-4:59, 59p
-
15
Autoren: et al.
Quelle: ACM Computing Surveys; Jun2012, Vol. 44 Issue 3, p16-16:58, 58p
-
16
Autoren:
Quelle: ACM Transactions on Software Engineering & Methodology; Sep2011, Vol. 20 Issue 4, p14:1-14:64, 64p
Schlagwörter: STATISTICAL hypothesis testing, SEMANTICS, SCIENTIFIC observation, ROAD maps, METHODOLOGY
-
17
Autoren:
Quelle: ACM Transactions on Programming Languages & Systems; Aug2010, Vol. 32 Issue 6, p23-23:84, 84p, 13 Black and White Photographs, 11 Diagrams, 8 Charts, 1 Graph
-
18
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Languages, Theory, Verification
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.5506; http://www.research.microsoft.com/pubs/70608/popl09.pdf
-
19
Autoren:
Weitere Verfasser:
Schlagwörter: UML, Alloy, pre/post conditions, invariants
Dateibeschreibung: application/pdf
-
20
Autoren:
Quelle: IEEE Transactions on Software Engineering; 02/01/2011, Vol. 37 Issue 2, p247-263, 0p, 3 Diagrams, 5 Charts
Nájsť tento článok vo Web of Science 
Full Text Finder