-
1Conference
Συγγραφείς: Muller-Birn, Claudia, Birn, Lukas
Πηγή: 2009 IEEE Symposium on Visual Analytics Science and Technology Visual Analytics Science and Technology, 2009. VAST 2009. IEEE Symposium on. :251-252 Oct, 2009
Relation: 2009 IEEE Symposium on Visual Analytics Science and Technology (VAST)
-
2Conference
Συγγραφείς: Black, Andrew, Schärli, Nathanael, Ducasse, Stéphane
Συνεισφορές: University of British Columbia Canada (UBC), Software Composition Group Bern (SCG), Universität Bern = University of Bern = Université de Berne (UNIBE), Reflective Evolution of Ever-running Software Systems (EVREF), Centre Inria de l'Université de Lille, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille-Berger-Levrault-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)
Πηγή: 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
Θεματικοί όροι: 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]
Θέμα γεωγραφικό: Anaheim, United States
-
3Academic Journal
Συγγραφείς: Yoonsik Cheon
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
4Academic Journal
Συγγραφείς: Gary T. Leavens, David A. Naumann
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
5Academic Journal
Συγγραφείς: Marwan Abi-antoun, Nariman Ammar
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.3 [Software Engineering, Coding Tools and Techniques—Object-oriented programming General Terms Experimentation, Documentation
Περιγραφή αρχείου: application/pdf
-
6Academic Journal
Συγγραφείς: Brett Daniel, Tihomir Gvero, Darko Marinov
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
-
7Academic Journal
Συγγραφείς: Marwan Abi-antoun, Nariman Ammar, Thomas Latoza
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.3 [Software Engineering, Coding Tools and Techniques—Object-oriented programming General Terms Experimentation, Documentation
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.7780; http://www.cs.cmu.edu/%7Etlatoza/chase10.pdf
-
8Academic Journal
Συγγραφείς: Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan De Halleux, Wolfram Schulte
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
9Academic Journal
Συγγραφείς: Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
-
10Academic Journal
Συγγραφείς: Thomas Cottenier
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
11Academic Journal
Συγγραφείς: Gary T. Leavens, David A. Naumann
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
12Academic Journal
Συγγραφείς: J Rajesh
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
13Academic Journal
Συγγραφείς: Reid Kaufmann, David Janzen
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
-
14Academic Journal
Συγγραφείς: Marcelo B. D'Amorim, Carlos A. G. Ferraz
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Coding Tools and Techniques|Object-oriented programming Keywords Component development, Separation of concerns, Jini
Περιγραφή αρχείου: 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
-
15Academic Journal
Συγγραφείς: Laura K. Dillon, R. E. Kurt Stirewalt
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Coding Tools and Techniques---Object-oriented Programming Keywords Amalia, Collaboration-based design, High-fidelity formal models, Inference graphs, Program transformations, Proofs of correctness
Περιγραφή αρχείου: application/postscript
-
16Academic Journal
Συγγραφείς: Gary T. Leavens, David A. Naumann
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
-
17Academic Journal
Συγγραφείς: Polyvios Pratikakis, Jaime Spacco
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Coding Tools and Techniques—Object-oriented Programming General Terms Languages, Experimentation, Reliability, Theory
Περιγραφή αρχείου: 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
-
18Academic Journal
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Coding Tools and Techniques—Object-oriented programming General Terms Languages, Experimentation. Keywords Code reuse, Code search engine, Code examples, hotspots
Περιγραφή αρχείου: application/pdf
-
19Academic Journal
Συγγραφείς: Iman Keivanloo, Juergen Rilling, Ying Zou
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.3 [Software Engineering, Coding Tools and Techniques – object-oriented programming, H.3.3 [Information Storage and Retrieval, Information Search and Retrieval – search process, General Terms Algorithms, Performance, Experimentation Keywords Source code search, clone detection, working code example
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.675.3301; http://post.queensu.ca/%7Ezouy/files/icse2014.pdf
-
20Academic Journal
Συγγραφείς: Andrew Giang, Marwan Abi-antoun
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.3 [Software En- gineering, Coding Tools and Techniques—Object-oriented programming Keywords Object structure, Object diagrams
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.8203; http://www.cs.wayne.edu/~mabianto/papers/GA13_DEMO.pdf