Search Results - "D.1.5 [Programming Techniques] Object-oriented Programming"
-
1
Authors: et al.
Contributors: et al.
Subject Terms: objects-first, design patterns, abstract coupling, loose coupling, pedagogy, assignments, software quality
File Description: 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
-
2
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: compositionality, contracts, interfaces, objectorientation, Creol, deontic logic
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.7602; http://www.ifi.uio.no/~gerardo/savcbs2007.pdf
-
3
Authors:
Contributors:
Subject Terms: Design, Performance, Experimentation, Standardization
File Description: 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
-
4
Authors: et al.
Contributors: et al.
Subject Terms: 1999 CR Categories, D.1.5 [Programming Techniques] Object-oriented programming, D.3.2 [Programming
File Description: application/pdf
-
5
Authors:
Contributors:
Subject Terms: object-oriented programming, behavioral subtype, abstract data type, mutation, aliasing, modular veri cation, supertype abstraction 1996 CR Categories, D.1.5 [Programming Techniques] Object-oriented Programming
File Description: application/pdf
-
6
Authors:
Contributors:
Source: ftp://ftp.cs.iastate.edu/pub/techreports/TR94-22/TR.ps.Z
Subject Terms: 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
File Description: application/postscript
-
7
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.1.5 [Programming Techniques] Object-oriented Programming, D.2.10 [Software Engineering, Design— Design Patterns, K.3.2 [Computers and Education, Computer and Information Science Education —Computer science education General Terms, Design, Languages, Education Additional Key Words and Phrases, Educational Patterns, Design Patterns ACM Reference Format
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.6109; http://koeppe.nl/publications/PatternsForPatternTeaching_part2.pdf
-
8
Authors:
Source: ACM / SIGPLAN Notices; Nov2015, Vol. 50 Issue 11, p93-103, 11p
-
9
Authors:
Source: ACM Transactions on Programming Languages & Systems; Oct2012, Vol. 34 Issue 3, p13:1-13:43, 43p
-
10
Authors:
Source: ACM Transactions on Software Engineering & Methodology; Mar2012, Vol. 21 Issue 2, p8-8.34, 34p
-
11
Authors: et al.
Source: ACM Transactions on Programming Languages & Systems; Feb2009, Vol. 31 Issue 2, p7:1-7:54, 54p, 43 Diagrams, 2 Charts
-
12
Authors: et al.
Source: ACM Transactions on Programming Languages & Systems; Jan2009, Vol. 31 Issue 1, p1:1-1:48, 48p, 1 Diagram, 13 Charts
-
13
Authors:
Contributors:
Subject Terms: programming, effective subtype
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.5742; http://www.cs.ubc.ca/spider/walker/papers/walker.2000b.ps.gz
-
14
Authors:
Contributors:
Source: ftp://ftp.iam.unibe.ch/pub/scg/Papers/gsp.ps.gz
Subject Terms: Semantics, D.3.2 [Programming Languages] Concurrent, distributed and parallel
File Description: application/postscript
-
15
Authors: et al.
Contributors: et al.
Subject Terms: Key Words and Phrases, Protocol design, protocol implementation, reuse, statecharts
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.440; http://www.cs.helsinki.fi/u/grano/ps/unkari95.ps.gz
-
16
Authors: et al.
Contributors: et al.
Subject Terms: Tietojenkäsittelyoppi - Computer Science
File Description: 55 s. + 1 liite; fulltext
Relation: https://trepo.tuni.fi/handle/10024/79273
Availability: https://trepo.tuni.fi/handle/10024/79273
-
17
Authors:
Contributors:
Subject Terms: General Terms, Software components, hard real-time, service time bound Additional Key Words and Phrases, basic concurrency constraint (BCC, deadline, guaranteed execution duration bound (GEDB, message-triggered, non-blocking buffer, ordered is
File Description: application/pdf
-
18
Authors:
Source: ACM Transactions on Programming Languages & Systems; Dec2011, Vol. 33 Issue 6, p3-3, 1p
Nájsť tento článok vo Web of Science
Full Text Finder