Výsledky vyhledávání - Coding Tools and Techniques—object-oriented programming General Terms Design*
-
1
Autoři:
Přispěvatelé:
Témata: D.1.6 [Programming Techniques, Logic Programming, D.2.3 [Software Engineering, Coding Tools and Techniques—object-oriented programming General Terms Design, Languages, Reliability, Verification
Popis souboru: application/pdf
-
2
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.2.3 [Software Engineering, Coding Tools and Techniques—Object-oriented programming General Terms Experimentation, Documentation
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.7780; http://www.cs.cmu.edu/%7Etlatoza/chase10.pdf
-
3
-
4
Autoři:
Zdroj: Journal of Educational Computing Research; Mar2024, Vol. 62 Issue 1, p290-322, 33p
-
5
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—testing tools, D.2.3 [Software Engineering, Coding Tools and Techniques—object-oriented programming General Terms, Verification Keywords, Automated testing, bounded-exhaustive testing, imperative generators, test data generation
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.2637; http://mir.cs.illinois.edu/~marinov/publications/DanielETAL07ATRE.pdf
-
6
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.2.3 [Software Engineering, Coding Tools and Techniques—object-oriented programming General Terms Algorithms, Design and Experimentation Keywords software evolution, refactoring, program differencing, logicbased
Popis souboru: application/pdf
-
7
Autoři: a další
Zdroj: ACM Transactions on Software Engineering & Methodology; Nov2023, Vol. 32 Issue 6, p1-35, 35p
-
8
Autoři:
Zdroj: Teaching Statistics; Jan2024, Vol. 46 Issue 1, p24-37, 14p
-
9
-
10
Autoři:
Přispěvatelé:
Témata: Coding Tools and Techniques—Object-oriented Programming General Terms Languages, Experimentation, Reliability, Theory
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.9803; http://www.cs.umd.edu/~polyvios/publications/pratikakis04transparent.pdf
-
11
Autoři:
Přispěvatelé:
Témata: Coding Tools and Techniques—Object-oriented Programming General Terms Languages, Experimentation, Reliability, Theory
Popis souboru: application/pdf
-
12
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming—program modification, program transformation, D.2.3 [Software Engineering, Coding Tools and Techniques—object-oriented programming General Terms Languages, Experimentation Keywords HotSwap, Binary Refactoring, Virtual Superclass, JVM Languages
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.1887; http://www.cs.vt.edu/~tilevich/papers/HotSWUp08.pdf
-
13
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming—program modification, program transformation, D.2.3 [Software Engineering, Coding Tools and Techniques—object-oriented programming General Terms Languages, Experimentation Keywords HotSwap, Binary Refactoring, Virtual Superclass, JVM Languages
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.4902; http://www.cs.vt.edu/~tilevich/papers/HotSWUp08.pdf
-
14
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
15
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
16
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.2.3 [Software Engi- neering, Coding Tools and Techniques – object-oriented pro- gramming. D.3.3 [Programming Languages, Language Con- structs and Features – inheritance, patterns, polymorphism. General Terms Design, Experimentation, Languages
Popis souboru: application/pdf
-
17
Autoři: a další
Přispěvatelé: a další
Témata: D.2.2 [Software Engineering, Design Tools and Techniques- Object-oriented design methods, Aspect-oriented design, D.2.1 [Software Engineering, Requirements / Specifications- Methodologies, Separation of Concerns, D.2.3 [Software Engineering, Coding Tools and Techniques AspectJTM, Hyper/JTM, D.3.3 [Programming Languages, Language Constructs and Features- Aspects, Hyperspaces, J.5 [Computer Applications, Performing Arts- Music General Terms Design, Languages, Human Factors. Keywords Aspect-oriented programming, music composition
Popis souboru: application/pdf
-
18
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.2.2 [Software Engineering, Design Tools and Techniques- Object-oriented design methods, Aspect-oriented design, D.2.1 [Software Engineering, Requirements / Specifications- Methodologies, Separation of Concerns, D.2.3 [Software Engineering, Coding Tools and Techniques, D.3.3 [Programming Languages, Language Constructs and Features- Aspects, J.5 [Computer Applications, Performing Arts- Music General Terms Design, Languages, Human Factors. Keywords Aspect-oriented programming, Multi-dimensional Separation of Concerns, music composition, music representation
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.659.906; http://mcl.open.ac.uk/MusicLab/uploads/AOSD+Aspect+music.1.pdf
-
19
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.9411; http://www.cs.stevens.edu/~naumann/pub/behsub2.pdf
-
20
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.2.3 [Software En- gineering, Coding Tools and Techniques—Object-oriented programming, D.2.5 [Software Engineering, Testing and Debugging—Testing tools, D.3.3 [Programming Languages, Language Constructs and Features—Frameworks, D.3.4 [Copyright notice will appear here once ’preprint ’ option is removed.] [Programming Languages, Processors—Code generation, Interpreters, Parsing General Terms Languages, Design, Experimentation Keywords X10, Java, source-to-source compilation, metadata, enterprise applications, non-functional concerns, transparent
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.458.8014; http://people.cs.vt.edu/~tilevich/papers/aosd2012.pdf
Nájsť tento článok vo Web of Science 
Full Text Finder