Výsledky vyhledávání - D.1.5 [Programming Techniques] Object-oriented programming
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf.
Témata: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming, D.1.5 [Programming Techniques, Object-oriented Programming, D.2.4 [Software Engineering, Software/Program Verification—Class invariants, Correctness proofs, Formal methods, Programming by contract, F.3.1 [Logics and Meanings of programs, Specifying and Verifying and Reasoning about Programs—Assertions, Invariants, Logics of programs, Mechanical verification, Pre- and post-conditions, Specification techniques General Terms, Verification Additional Key Words and Phrases, Aliasing, data races, local reasoning, modular reasoning, ownership, verification condition generation ACM Reference Format
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.5177; http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf
-
2
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.2.11 [Software Engineering, Software Architectures, D.2.13 [Software Engineering, Reusable Software, D.1.5 [Programming Techniques, Object- Oriented Programming, D.3.3 [Programming Languages, Language Constructs and Features General Terms, Design, Languages Additional Key Words and Phrases, Collaboration-based design, component-based software, product-line
Popis souboru: application/pdf
-
3
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.1.5 [Programming Techniques, Object-oriented pro- gramming, D.2.11 [Software Engineering, Software Architectures—Domain specific architec- tures, D.2.13 [Software Engineering, Reusable Software—Reusable libraries, G.1.7 [Numerical Analysis, Ordinary Differential Equations—Multistep and multivalue methods, G.4 [Mathemat- ical Software, Algorithm design and analysis, efficiency, parallel and vector implementations, user
Popis souboru: application/pdf
-
4
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Témata: compositionality, contracts, interfaces, objectorientation, Creol, deontic logic
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.7602; http://www.ifi.uio.no/~gerardo/savcbs2007.pdf
-
5
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.1.5 [Programming Techniques, Object-Oriented Programming, D.2.6 [Programming Techniques, Programming Environments, D.2.m [Programming Techniques, Miscellaneous—reusable software, H.5.2 [Information Interfaces and Presentation, User Interfaces—training, help, and documentation General Terms, Documentation, Human Factors, Languages Additional Key Words and Phrases, Debugging into existence, example-based learning, reuse of uses, Smalltalk
Popis souboru: application/pdf
-
6
Autoři: a další
Přispěvatelé: a další
Témata: objects-first, design patterns, abstract coupling, loose coupling, pedagogy, assignments, software quality
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.6613; http://www.exciton.cs.rice.edu/research/OOPSLA04/ricembs.pdf
-
7
Autoři:
Přispěvatelé:
Zdroj: ftp://ftp.cs.iastate.edu/pub/techreports/TR94-22/TR.ps.Z
Témata: object-oriented programming, type checking, verification, modules, binary method, matching, subtyping, record update, state, semantics, covariance, contravariance, flow analysis, self, method schemas. 1994 CR Categories, D.1.5 [Programming Techniques] Object-oriented Programming, D.2.2 [Software Engineering] Tools and Techniques--- modules and interfaces, D.2.2 [Software Engineering] Program Verification
Popis souboru: application/postscript
-
8
Autoři:
Přispěvatelé:
Témata: Design, Performance, Experimentation, Standardization
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.5166; http://www.dre.vanderbilt.edu/~arvindk/publications/OOPSLA_QoS.pdf
-
9
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
10
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.5 [Programming Techniques, Object-Oriented Programming, D.2.2 [Software Engineering, Design Tools and Techniques – Object–oriented design methods, Software libraries, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement, D.2.10 [Software Engineering, Design – Representations, D.2.13 [Software Engineering, Reusable Software- domain engineering, General Terms Design, Languages, Experimentation Keywords generic design, generics, reuse, component-based development, static meta-programming
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.1902; http://www.comp.nus.edu.sg/~stan/PAPERS/Genericity.pdf
-
11
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.5 [Programming Techniques, Object-oriented Pro- gramming, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement, D.2.13 [Reusable Soft- ware, Reusable libraries, D.3.3 [Language Constructs and Features, Frameworks, Patterns] General Terms Languages, Management Keywords scientific software, program adaptation, aspect-oriented pro- gramming, software
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.484.7067; http://people.cs.vt.edu/~tilevich/papers/aosd11.pdf
-
12
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Program- ming, D.1.5 [Programming Techniques, Object-oriented Programming, D.2.4 [Software En- gineering, Software/Program Verification—Class invariants, Correctness proofs, Formal meth- ods, Programming by contract, F.3.1 [Logics and Meanings of programs, Specifying and Verifying and Reasoning about Programs—Assertions, Invariants, Logics of programs, Mechani- cal verification, Pre- and post-conditions, Specification techniques General Terms, Verification Additional Key Words and Phrases, Aliasing, data races, local reasoning, modular reasoning, ownership, verification
Popis souboru: application/pdf
-
13
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features, D.1.5 [Programming Techniques, Object- oriented Programming General Terms Languages, Theory Keywords information flow, reference immutability
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.572.4295; http://www.cs.rpi.edu/~milanova/docs/FTFJP13.pdf
-
14
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.1.5 [Programming Techniques, Object-oriented Programming, D.2.2 [Design Tools and Techniques, Object-oriented design methods, D.2.11 [Software Architectures, Patterns—Adaptive Object Model General Terms, Design Additional Key Words and Phrases, Factory Objects, Adaptive Object Model (AOM, Creational Patterns, Lazy Loading, ModelTalk ACM Reference Format
Popis souboru: application/pdf
-
15
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.1.5 [Programming Techniques, Object-Oriented Pro- gramming, D.3.3 [Programming Languages, Language Constructs and Features—Control structures, D.3.4 [Programming Languages, Processors—Code generation, Run-time environ- ments, Optimization General Terms, Design, Human Factors, Languages Additional Key Words and Phrases, Nu, invocation, weaving, aspect-oriented intermediate- languages, aspect-oriented virtual machines
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.499.9802; http://www.cs.iastate.edu/~rdyer/papers/tosem09.pdf
-
16
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.5 [Programming Techniques, Object-Oriented Pro- gramming, D.3.3 [Programming Languages, Language Constructs and Features General Terms Type system, Type qualifier, Fault tolerance, Group method
Popis souboru: application/pdf
-
17
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
18
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
19
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.5 [Programming Techniques, Object-oriented Programming – metalevel architec- tures, D.3.2 [Programming Languages, Language Classifica- tions – Specialized application languages, D.3.3 [Programming Languages, Language Constructs and Features – Concurrent programming structures, D.3.4 [Programming Languages, Processors – Code generation, Runtime environments. General Terms Design, Languages, Verification, Reliability. Keywords Sensor Networks, Actors, Adaptive Object-Models 1. Ambient Intelligence and Sensor Networks
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.1325; http://pdf.aminer.org/000/305/902/object_models_for_model_based_applications.pdf
-
20
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.5 [Programming Techniques, Object-oriented Programming, D.2.3 [Soft- ware Engineering, Coding Tools and Techniques, D.3.3 [Programming Languages, Language Constructs and Fea- tures, D.3.4 [Programming Languages, Processors General Terms Languages, Design Keywords Dryad Compiler, Stratego, Java, Bytecode, SDF, Compilers, Meta Programming, Embedded Languages, Lan- guage Extensions, Domain-Specific Languages, Source Trac- ing, Traits, Iterators
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.562.681; http://martin.bravenboer.name/docs/oopsla08.pdf
Nájsť tento článok vo Web of Science