Search Results - D.2.3 [Software Engineering] Coding Tools and Techniques — Object-oriented programming
-
1
Authors:
Contributors:
Subject Terms: types and effects, concurrency, safety CR Categories, D.2.10 [Software Engineering] Design
File Description: application/pdf
-
2
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.3 [Software Engineering, Coding Tools and Techniques—Object-oriented programming General Terms Experimentation, Documentation
File Description: 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
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
4
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.3 [Software Engineering, Coding Tools and Techniques—Object-oriented programming General Terms Experimentation, Documentation
File Description: application/pdf
-
5
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
6
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
7
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
8
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.10 [Software Engineering, Design, D.1.5 [Programming Techniques, Object-Oriented Programming, D.2.2 [Design Tools and Techniques, Modules and interfaces, Object-oriented design methods, D.2.3 [Coding Tools and Techniques, Object- Oriented Programming, D.3.3 [Programming Languages, Language Constructs and Features General Terms
File Description: application/pdf
-
9
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.2.10 [Software Engineering, Design, D.1.5 [Programming Tech- niques, Object-Oriented Programming, D.2.2 [Design Tools and Techniques, Modules and interfaces, Object- oriented design methods, D.2.3 [Coding Tools and Techniques, D.3.3 [Pro- gramming Languages, Language Constructs and Features General Terms, Human Factors, Languages Additional Key Words and Phrases, Classpect, Unified Aspect Language Model, Binding, Eos, Aspect-Oriented Programming, Instance-Level Advising, First Class Aspect Instances
File Description: application/pdf
-
10
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.5 [Programming Techniques, Object-oriented programming, D.2.3 [Software Engineering, Coding tools and techniques General Terms Languages Keywords iterator, Java, Alloy, abstraction functions, synthesis
File Description: application/pdf
-
11
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
12
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
13
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
14
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.5 [Programming Techniques, Object-Oriented Pro- gramming, D.2.1 [Software Engineering, Requirements/ Speci cations, D.2.2 [Software Engineering, Design Tools and Techniques, D.2.3 [Software Engineering, Coding Tools and Techniques, D.2.11 [Software Engineering, Software Architectures, D.2.13 [Software Engineering, Reusable Software, D.3.2 [Programming Languages, Language classications|object-oriented languages, very
File Description: application/pdf
-
15
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.2 [Software Engineering, Design Tools and Techniques, D.2.3 [Software Engineering, Coding Tools and Techniques, D.2.13 [Software Engineering, Reusable Software General Terms Design, Documentation, Languages, Standardization Keywords Object-oriented Programming, Frameworks, Patterns, Design Fragments
File Description: application/pdf
-
16
Authors: et al.
Contributors: et al.
Subject Terms: 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
-
17
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
18
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
19
Authors: et al.
Contributors: et al.
Subject Terms: D.3.2 [Programming languages, Object-oriented languages, D.2.3 [Software Engineering, Coding Tools and Techniques General Terms Languages Keywords traits, smalltalk, reflection, software evolution Preprint. Published as, IWST’09 August 31, Brest, France
Time: 2009
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.397.6434; http://hal.inria.fr/docs/00/74/61/30/PDF/Duca09bTraitsAPI.pdf
-
20
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.3 [Software Engineering, Coding Tools and Techniques—program editors, object-oriented programming Keywords Code Assistants, Code Mining, Ranking Code Samples, Code Reuse
File Description: application/pdf
Nájsť tento článok vo Web of Science