Výsledky vyhľadávania - "Coding Tools and Techniques – object-oriented programming"
-
1
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: http://design.cs.iastate.edu/papers/TR-13-01/capsule-oriented.pdf.
Predmety: concurrency, modularity, synergy CR Categories
Popis súboru: application/pdf
-
2
Autori:
Prispievatelia:
Predmety: types and effects, concurrency, safety CR Categories, D.2.10 [Software Engineering] Design
Popis súboru: application/pdf
-
3
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: implicit-invocation languages, aspect-oriented programming languages, event types, event expressions, concurrent languages. CR Categories
Popis súboru: application/pdf
-
4
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: OOPSLA 2003 - 18th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications ; https://hal.science/hal-05074033 ; OOPSLA 2003 - 18th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, Oct 2003, Anaheim, United States. pp.47-64
Predmety: Mixins, Traits, Smalltalk, Collection hierarchy, Stream classes, Refactoring, Inheritance, Multiple Inheritance, Languages Reuse, D.2.3 [Coding Tools and Techniques]: Object-oriented programming Design, D.2.3 [Coding Tools and Techniques]: Object-oriented programming Design Languages Reuse Mixins Traits Smalltalk Collection hierarchy Stream classes Refactoring Inheritance Multiple Inheritance, D.3.3 [Language Constructs and Features]: Classes and objects, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Geografické téma: Anaheim, United States
-
5
Autori:
Prispievatelia:
Predmety: annotation, annotation processor, test case, unit test, Java, JUnit, SelfTest. 1998 CR Categories, D.2.3 [Software Engineering] Coding Tools and Techniques — Object-oriented programming, D.2.5 [Software Engineering] Testing and Debugging — Testing tools (e.g, data generators, coverage testing, D.3.4 [Programming Languages] Processors — Compilers, preprocessors
Popis súboru: application/pdf
-
6
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
-
7
Autori:
Prispievatelia:
Predmety: Coding Tools and Techniques---Object-oriented Programming Keywords Amalia, Collaboration-based design, High-fidelity formal models, Inference graphs, Program transformations, Proofs of correctness
Popis súboru: application/postscript
-
8
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors D.2.3 [Software Engineering, Coding Tools and Techniques—Object-oriented programming General Terms Experimentation, Documentation
Popis súboru: application/pdf
-
9
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.7842; http://mir.cs.illinois.edu/reassert/pubs/symreassert.pdf
-
10
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors D.2.3 [Software Engineering, Coding Tools and Techniques—Object-oriented programming General Terms Experimentation, Documentation
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.7780; http://www.cs.cmu.edu/%7Etlatoza/chase10.pdf
-
11
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, D.2.3 [Software Engineering, Coding Tools and Techniques—Object-oriented programming, D.2.6 [Software Engineering, Programming Environments—Integrated environments, General Terms, Languages, Experimentation Keywords, Object-oriented testing, Sequence mining
Popis súboru: application/pdf
-
12
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: 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
-
13
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors D.2.2 [Software Engineering, Design Tools and Techniques – Modules and interfaces, Object-oriented design methods, State diagrams. D.2.3 [Software Engineering, Coding Tools and Techniques – Object-oriented programming, Structured programming. Keywords Aspect-Oriented Modeling, Model-Driven Software Development, State machine diagrams
Popis súboru: application/pdf
-
14
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
-
15
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
-
16
-
17
Autori:
Prispievatelia:
Predmety: Coding Tools and Techniques|Object-oriented programming Keywords Component development, Separation of concerns, Jini
Popis súboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.2586; http://www.ccs.neu.edu/home/lorenz/oopsla2001/49_DAmorim.ps
-
18
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
-
19
Autori:
Prispievatelia:
Predmety: Coding Tools and Techniques—Object-oriented Programming General Terms Languages, Experimentation, Reliability, Theory
Popis súboru: 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
-
20
Prispievatelia: The Pennsylvania State University CiteSeerX Archives
Predmety: Coding Tools and Techniques—Object-oriented programming General Terms Languages, Experimentation. Keywords Code reuse, Code search engine, Code examples, hotspots
Popis súboru: application/pdf
Nájsť tento článok vo Web of Science