Suchergebnisse - D.3.2 [Programming Languages] Language Classifications — Object-oriented
-
1
Autoren:
Weitere Verfasser:
Schlagwörter: Software Engineering, assertion semantics, soundness, run-time assertion checking, static program verification, logical foundations, Verifying Compiler. 2001 CR Categories, D.2.1 [Software Engineering] Requirements / Specifications — languages, tools, JML, D.2.2
Dateibeschreibung: application/pdf
-
2
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.3.2 [Programming languages, Language classifications—object-oriented languages, Java, Eiffel, Smalltalk, Clos, D.3.3 [Programming languages, Language constructs and features—cl
Dateibeschreibung: application/pdf
-
3
Autoren: et al.
Quelle: ACM Transactions on Software Engineering and Methodology. 7:250-295
Schlagwörter: 4. Education, Languages, 0202 electrical engineering, electronic engineering, information engineering, D.3.2 [Programming Languages]: Language Classifications - object-oriented languages, 02 engineering and technology, D.2.5 [Software Engineering]: Testing and Debugging - test data generators, D.2.1 [Software Engineering]: Requirements/Specifications-languages, Algorithms
Zugangs-URL: http://hub.hku.hk/bitstream/10722/48420/1/29731.pdf
https://core.ac.uk/display/24391879
https://doi.org/10.1145/287000.287004
https://doi.acm.org/10.1145/287000.287004
http://www.cs.hku.hk/research/techreps/document/TR-96-07.pdf
https://hub.hku.hk/handle/10722/48420
https://dl.acm.org/doi/abs/10.1145/287000.287004
http://hdl.handle.net/10722/48420 -
4
Autoren:
Weitere Verfasser:
Schlagwörter: Formal annotation language, parser, static checker, CleanJava, JastAddJ. 1998 CR Categories, D.3.2 [Programming Languages] Language classifications⎯Object-oriented languages, D.3.4 [Programming Languages
Dateibeschreibung: application/pdf
-
5
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
-
6
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.2.1 [Software Engineering, Requirements/Specifications ⎯languages, D.2.5 [Software Engineering, Testing and Debugging⎯test data generators, D.3.2 [Programming Languages, Language Classifications⎯object-oriented languages
Dateibeschreibung: application/pdf
-
7
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2.2 [Software Engineering, Design Tools and Techniques — Object-oriented design methods, D.2.3 [Software Engineering, Coding Tools and Techniques — Object-oriented programming, D.2.4 [Software Engineering, Software/Program Verification — Correctness proofs, formal methods, programming by contract, reliability, tools, Eiffel, JML, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement — Documentation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.2 [Programming Languages, Language Classifications — Object-oriented languages, D.3.3 [Programming Languages, Language Constructs and Features — classes and objects, inheritance, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, logics of programs, pre- and post-conditions, specification techniques. General Terms, Specification
Dateibeschreibung: application/pdf
-
8
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.3.3 [Language Constructs and Features, Classes and objects, D.3.2 [Language Classifications, Object-oriented languages, D.3.1 [Formal Definitions and Theory, F.3.2 [Semantics of Programming Languages, Operational semantics, F.3.3 [Studies of Program Constructs, Type structure, D.1.5 [Object-oriented Programming] General Terms Languages, Theory, Verification Keywords Session types, object-oriented calculus, non-uniform method
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.413.8460; http://www.dcs.gla.ac.uk/~simon/publications/DynamicInterfaces.pdf
-
9
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.3.3 [Language Constructs and Features, Classes and objects, D.3.2 [Language Classifications, Object-oriented languages, D.3.1 [Formal Definitions and Theory, F.3.2 [Semantics of Programming Languages, Operational semantics, F.3.3 [Studies of Program Constructs, Type structure, D.1.5 [Object-oriented Programming] General Terms Languages, Theory, Verification Keywords Session types, object-oriented calculus, non-uniform
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.720; http://www.dcs.gla.ac.uk/~simon/publications/fool09.pdf
-
10
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory—Syntax and Semantics, D.3.2 [Programming Languages, Language Classifications— Object-oriented languages, D.3.3 [Programming Languages, Language Constructs and Features—Classes and objects, Inheritance, F.3.3 [Logics and Meaning of Programs, Studies of Program Constructs—Object-oriented constructs General Terms, Design, Languages, Theory Additional Key Words and Phrases, Java, Language design, Language semantics
Dateibeschreibung: application/pdf
-
11
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: ACM CCS Categories and Subject Descriptors, D.3.3 [Programming Lan- guages, Language Constructs and Features — inheritance, D.3.2 [Programming Languages, Language Classifications — object-oriented languages, Eiffel, D.2.3 [Software Engineering, Coding Tools and Techniques — object-oriented program- ming, D.2.2 [Software
-
12
Autoren:
Weitere Verfasser:
Schlagwörter: random testing, test data generator, test oracle, pre and postconditions, JML language. 1998 CR Categories, D.2.5 [Software Engineering] Testing and Debugging — testing tools (e.g, data generators, coverage testing, D.3.2 [Programming Languages] Language Classifications — Object-oriented
Dateibeschreibung: application/pdf
-
13
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2.2 [Software Engineering, Design Tools and Tech- niques — Object-oriented design methods, D.2.3 [Software Engineering, Coding Tools and Techniques — Object-oriented programming, D.2.4 [Software Engineering, Software/Program Verification — Correctness proofs, formal methods, programming by contract, reliability, tools, Eiffel, JML, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement — Documentation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.2 [Programming Languages, Language Classifications — Object-oriented languages, D.3.3 [Programming Languages, Language Constructs and Features — classes and objects, inher- itance, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, logics of programs, pre- and post-conditions, specification tech- niques. General Terms, Specification
Dateibeschreibung: application/pdf
-
14
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: jects, Polymorphism, Constraints, D.3.1 [Programming Lan- guages, Formal Definitions and Theory, D.3.2 [Programming Languages, Language Classifications—Object-oriented languages, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Object-oriented constructs, Type structure General Terms Design, Languages, Theory, Verification Keywords Genericity, Flow Analysis, Variant Parametric Types, Subtyping
Dateibeschreibung: application/pdf
-
15
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications–C, G.1.8 [Numerical Analysis, Partial Differential Equations–Finite element methods, G.4 [Mathematical Software, Algorithm design and analysis General Terms, Algorithms, Design Additional Key Words and Phrases, Discontinuous Galerkin methods, PDE, unstructured mesh, object-oriented
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.9418; http://www.math.utwente.nl/%7Evegtjjw/Publications/hpGEMarticles.pdf
-
16
Autoren:
Weitere Verfasser:
Schlagwörter: C.3 [Computer Systems Organization, Special-Purpose and Application-Based Systems---Real-time and embedded systems, D.3.2 [Programming Languages, Language Classifications---Object-oriented languages, Java, D.3.4 [Program- ming Languages, Processors---Compilers, D.3.4 [Program
Dateibeschreibung: application/postscript
-
17
Autoren:
Weitere Verfasser:
Schlagwörter: 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 Verifying and Reasoning about Programs — Asse, invariants
Dateibeschreibung: application/pdf
-
18
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
-
19
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
-
20
Autoren:
Weitere Verfasser:
Schlagwörter: D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings
Dateibeschreibung: application/pdf
Nájsť tento článok vo Web of Science 
Full Text Finder