Výsledky vyhledávání - Coding Tools AND 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- Control structures

Autoři: Yuheng Long Sean L. Mooney Tyler Sondag a další

Přispěvatelé: Yuheng Long Sean L. Mooney Tyler Sondag a další

Zdroj: http://design.cs.iastate.edu/papers/TR-09-28/LMSR-Panini.pdf.

Témata: implicit-invocation languages, aspect-oriented programming languages, event types, event expressions, concurrent languages. CR Categories

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.302.3882

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.302.3882
http://design.cs.iastate.edu/papers/TR-09-28/LMSR-Panini.pdf

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- Control structures

Autoři: Hridesh Rajan Steven M. Kautz Eric Lin a další

Přispěvatelé: Hridesh Rajan Steven M. Kautz Eric Lin a další

Zdroj: http://design.cs.iastate.edu/papers/TR-13-01/capsule-oriented.pdf.

Témata: concurrency, modularity, synergy CR Categories

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.3421

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.3421
http://design.cs.iastate.edu/papers/TR-13-01/capsule-oriented.pdf

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- Control structures

Autoři: Yuheng Long Hridesh Rajan The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Yuheng Long Hridesh Rajan The Pennsylvania State University CiteSeerX Archives

Zdroj: http://archives.cs.iastate.edu/documents/disk0/00/00/06/80/00000680-00/TR.pdf.

Témata: types and effects, concurrency, safety CR Categories, D.2.10 [Software Engineering] Design

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.397.3950

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.397.3950
http://archives.cs.iastate.edu/documents/disk0/00/00/06/80/00000680-00/TR.pdf

Questions about Object Structure during Coding Activities

Autoři: Marwan Abi-antoun Nariman Ammar Thomas Latoza a další

Přispěvatelé: Marwan Abi-antoun Nariman Ammar Thomas Latoza a další

Zdroj: http://www.cs.cmu.edu/%7Etlatoza/chase10.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.7780
http://www.cs.cmu.edu/%7Etlatoza/chase10.pdf

A Case Study in Evaluating the Usefulness of the Run-time Structure during Coding Tasks

Autoři: Marwan Abi-antoun Nariman Ammar The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Marwan Abi-antoun Nariman Ammar The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.wayne.edu/~mabianto/papers/10-haose.pdf.

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.298.8367

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.8367
http://www.cs.wayne.edu/~mabianto/papers/10-haose.pdf

JIAD: A tool to infer design patterns in refactoring

Autoři: J Rajesh The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: J Rajesh The Pennsylvania State University CiteSeerX Archives

Zdroj: http://dos.iitm.ac.in/LabPapers/final-ppdp.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.8055

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.8055
http://dos.iitm.ac.in/LabPapers/final-ppdp.pdf

Applying Traits to the Smalltalk Collection Classes *

Autoři: Black, Andrew Schärli, Nathanael Ducasse, Stéphane a další

Přispěvatelé: Black, Andrew Schärli, Nathanael Ducasse, Stéphane a další

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

Témata: 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

Dostupnost: https://hal.science/hal-05074033
https://hal.science/hal-05074033v1/document
https://hal.science/hal-05074033v1/file/Blac03a-OOSPLA03-TraitsHierarchy.pdf

Modular Reasoning

Autoři: Gary T. Leavens David A. Naumann The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Gary T. Leavens David A. Naumann The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-13-03/TR.pdf.

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.357.7470

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.357.7470
http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-13-03/TR.pdf

Writing Self-testing Java Classes with SelfTest

Autoři: Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.utep.edu/cheon/techreport/tr14-31.pdf.

Témata: 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 souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.3707

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.3707
http://www.cs.utep.edu/cheon/techreport/tr14-31.pdf

An Example Proof of Correctness for a Collaboration-Based Design

Autoři: Laura K. Dillon R. E. Kurt Stirewalt The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Laura K. Dillon R. E. Kurt Stirewalt The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cse.msu.edu/~ldillon/Sel_pubs/fse01-subm-tr.ps.

Témata: Coding Tools and Techniques---Object-oriented Programming Keywords Amalia, Collaboration-based design, High-fidelity formal models, Inference graphs, Program transformations, Proofs of correctness

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.3756

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.3756
http://www.cse.msu.edu/~ldillon/Sel_pubs/fse01-subm-tr.ps

Educational Programming Environments for Enhancing Conceptual Design in the Object-Oriented Paradigm: A Systematic Mapping Study.

Autoři: Tsichouridis, Alexandros Xinogalos, Stelios Ampatzoglou, Apostolos

Zdroj: Journal of Educational Computing Research; Mar2024, Vol. 62 Issue 1, p290-322, 33p

Témata: CONCEPTUAL design, SCHOOL environment, OBJECT-oriented programming, EDUCATIONAL technology, EDUCATIONAL games, RESEARCH questions

On test repair using . . .

Autoři: Brett Daniel Tihomir Gvero Darko Marinov a další

Přispěvatelé: Brett Daniel Tihomir Gvero Darko Marinov a další

Zdroj: http://mir.cs.illinois.edu/reassert/pubs/symreassert.pdf.

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

Popis souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.7842
http://mir.cs.illinois.edu/reassert/pubs/symreassert.pdf

Stateful Aspects: The Case for Aspect-Oriented Modeling

Autoři: Thomas Cottenier The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Thomas Cottenier The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.aspect-modeling.org/aosd07/accepted_papers/a2-cottenier.pdf.

Témata: 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 souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.7234

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.7234
http://www.aspect-modeling.org/aosd07/accepted_papers/a2-cottenier.pdf

Nordic Journal of Computing TOWARDS FULLY-FLEDGED REVERSE INHERITANCE IN EIFFEL

Autoři: Markku Sakkinen Ciprian-bogdan Chirila Towards Fully-fledged Reverse a další

Přispěvatelé: Markku Sakkinen Ciprian-bogdan Chirila Towards Fully-fledged Reverse a další

Zdroj: https://hal.archives-ouvertes.fr/hal-00415768/document/.

Témata: 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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.8765

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.8765

Automated Testing of Refactoring Engines

Autoři: Brett Daniel Danny Dig Kely Garcia a další

Přispěvatelé: Brett Daniel Danny Dig Kely Garcia a další

Zdroj: http://mir.cs.illinois.edu/~marinov/publications/DanielETAL07ATRE.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.2637
http://mir.cs.illinois.edu/~marinov/publications/DanielETAL07ATRE.pdf

MSeqGen: Object-oriented unit-test generation via mining source code

Autoři: Suresh Thummalapenta Tao Xie Nikolai Tillmann a další

Přispěvatelé: Suresh Thummalapenta Tao Xie Nikolai Tillmann a další

Zdroj: http://people.engr.ncsu.edu/txie/publications/esecfse09-mseqgen.pdf.

Témata: 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 souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.4689

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.4689
http://people.engr.ncsu.edu/txie/publications/esecfse09-mseqgen.pdf

Behavioral subtyping, specification inheritance, and modular reasoning

Autoři: Gary T. Leavens David A. Naumann The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Gary T. Leavens David A. Naumann The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-13-03/TR.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.9929

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.9929
http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-13-03/TR.pdf

Designing Jini Distributed Services -- A Framework To Support . . .

Autoři: Marcelo B. D'Amorim Carlos A. G. Ferraz The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Marcelo B. D'Amorim Carlos A. G. Ferraz The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.ccs.neu.edu/home/lorenz/oopsla2001/49_DAmorim.ps.

Témata: Coding Tools and Techniques|Object-oriented programming Keywords Component development, Separation of concerns, Jini

Popis souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.2586
http://www.ccs.neu.edu/home/lorenz/oopsla2001/49_DAmorim.ps

Using Aspects to Help Composers

Autoři: Patrick Hill Simon Holland Robin C. Laney a další

Přispěvatelé: Patrick Hill Simon Holland Robin C. Laney a další

Zdroj: http://computing-reports.open.ac.uk/2003/2003_21.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.584.8574

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.584.8574
http://computing-reports.open.ac.uk/2003/2003_21.pdf

F Steimann “Systematically refactoring inheritance to delegation

Autoři: Hannes Kegel Friedrich Steimann Lehrgebiet Programmiersysteme a další

Přispěvatelé: Hannes Kegel Friedrich Steimann Lehrgebiet Programmiersysteme a další

Zdroj: http://www.fernuni-hagen.de/ps/pubs/ICSE2008.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.569.1797

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.569.1797
http://www.fernuni-hagen.de/ps/pubs/ICSE2008.pdf