Suchergebnisse - "OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS)"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Electronic Proceedings in Theoretical Computer Science, Vol 181, Iss Proc. GaM 2015, Pp 32-47 (2015)
Electronic Proceedings in Theoretical Computer Science, 181Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, VERIFICATION (SOFTWARE ENGINEERING), PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), VERIFIKATION (SOFTWARE ENGINEERING), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computer Science - Software Engineering, Data processing, computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Computer Science - Programming Languages, Software Engineering, QA75.5-76.95, 16. Peace & justice, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Computer Science - Distributed, Parallel, and Cluster Computing, 13. Climate action, Electronic computers. Computer science, Distributed, Parallel, and Cluster Computing (cs.DC), Mathematics, Programming Languages (cs.PL)
Dateibeschreibung: application/application/pdf; application/pdf
Zugangs-URL: https://arxiv.org/pdf/1504.02611
http://arxiv.org/abs/1504.02611
https://doaj.org/article/fd3cc78824824a399d60e05688af2c9a
https://www.research-collection.ethz.ch/handle/20.500.11850/99999
https://www.research-collection.ethz.ch/bitstream/20.500.11850/99999/1/eth-47638-01.pdf
http://se.inf.ethz.ch/people/poskitt/publications/Heussner-PCM.GaM.2015.pdf
https://ink.library.smu.edu.sg/sis_research/4911/
http://chrisposkitt.com/files/publications/Heussner-PCM.GaM.2015.pdf
https://arxiv.org/abs/1504.02611
https://www.arxiv.org/abs/1504.02611
http://ui.adsabs.harvard.edu/abs/2015arXiv150402611H/abstract
https://arxiv.org/pdf/1504.02611.pdf
https://128.84.21.199/abs/1504.02611
http://export.arxiv.org/abs/1504.02611
http://hdl.handle.net/20.500.11850/99999 -
2
Autoren:
Schlagwörter: VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), SPEZIELLE PROGRAMMIERMETHODEN, SPEZIFIKATIONEN (SOFTWARE ENGINEERING), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), SPECIAL PROGRAMMING METHODS, SPECIFICATIONS (SOFTWARE ENGINEERING), info:eu-repo/classification/ddc/004, Data processing, computer science
Dateibeschreibung: application/application/pdf
-
3
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Electronic Proceedings in Theoretical Computer Science, 181
Schlagwörter: VERIFICATION (SOFTWARE ENGINEERING), PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), VERIFIKATION (SOFTWARE ENGINEERING), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), info:eu-repo/classification/ddc/004, Data processing, computer science
Dateibeschreibung: application/application/pdf
Relation: http://hdl.handle.net/20.500.11850/99999
-
4
Autoren: et al.
Quelle: Technical Report / Department of Computer Science, ETH Zurich, 638
Schlagwörter: Data processing, computer science, 0202 electrical engineering, electronic engineering, information engineering, OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), 02 engineering and technology, OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS)
Dateibeschreibung: application/application/pdf
Zugangs-URL: https://www.research-collection.ethz.ch/bitstream/20.500.11850/69220/1/eth-5037-01.pdf
https://www.research-collection.ethz.ch/bitstream/20.500.11850/69220/1/eth-5037-01.pdf
https://www.research-collection.ethz.ch/handle/20.500.11850/69220
https://dl.acm.org/doi/10.1109/ASE.2009.100
http://se.ethz.ch/~meyer/publications/persistence/OO_evolution.pdf
https://dblp.uni-trier.de/db/conf/kbse/ase2009.html#PiccioniOMS09
https://www.computer.org/csdl/proceedings-article/ase/2009/3891a650/12OmNzE54C8
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005431717
http://ieeexplore.ieee.org/document/5431717/
http://hdl.handle.net/20.500.11850/69220 -
5
Autoren:
Quelle: Technical report, 424
Schlagwörter: Invariant, JML, Ownership, OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), Object-oriented programming, 0102 computer and information sciences, 02 engineering and technology, OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), 01 natural sciences, Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), SPECIFICATIONS (SOFTWARE ENGINEERING), 0202 electrical engineering, electronic engineering, information engineering, Visibility, Modular verification, VERIFIKATION (SOFTWARE ENGINEERING), SPEZIFIKATIONEN (SOFTWARE ENGINEERING), Software
Dateibeschreibung: application/application/pdf
-
6
Autoren: Gutknecht, Jürg
Quelle: Technischer Bericht / Eidgenössische Technische Hochschule, Departement Informatik, 243
Schlagwörter: Data processing, computer science, Oberon, System design, Object-oriented systems, Persistent objects, 0202 electrical engineering, electronic engineering, information engineering, Object-oriented languages, 02 engineering and technology, OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), OBERON (PROGRAMMIERSPRACHEN), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), Component frame, Objectoriented languages, Modular systems, OBERON (PROGRAMMING LANGUAGES), Objectoriented systems, Component frameworks
Dateibeschreibung: application/application/pdf
Zugangs-URL: https://www.research-collection.ethz.ch/bitstream/20.500.11850/68787/1/eth-3336-01.pdf
http://e-collection.library.ethz.ch/eserv/eth:3336/eth-3336-01.pdf
https://www.research-collection.ethz.ch/handle/20.500.11850/68787
https://core.ac.uk/display/24240849
https://www.research-collection.ethz.ch/bitstream/20.500.11850/68787/1/eth-3336-01.pdf
https://dblp.uni-trier.de/db/journals/isci/isci93.html#Gutknecht96
https://www.sciencedirect.com/science/article/pii/0020025596000618
http://hdl.handle.net/20.500.11850/68787 -
7
Autoren: Claudio Corrodi
Quelle: arXiv: Programming Languages.
Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), SPEZIELLE PROGRAMMIERSPRACHEN, 0102 computer and information sciences, 02 engineering and technology, OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), 01 natural sciences, Logic in Computer Science (cs.LO), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Software Engineering (cs.SE), Computer Science - Software Engineering, Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), 0202 electrical engineering, electronic engineering, information engineering, VERIFIKATION (SOFTWARE ENGINEERING), SPECIAL PROGRAMMING LANGUAGES, Programming Languages (cs.PL)
Zugangs-URL: http://arxiv.org/abs/1505.05265
https://arxiv.org/abs/1505.05265
http://se.inf.ethz.ch/student_projects/claudio_corrodi/ClaudioCorrodi-Thesis.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1505.html#Corrodi15
http://export.arxiv.org/pdf/1505.05265
http://ui.adsabs.harvard.edu/abs/2015arXiv150505265C/abstract
https://www.research-collection.ethz.ch/handle/20.500.11850/155096 -
8
Autoren: Wirth, Niklaus
Quelle: ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computer Systeme, 117
Schlagwörter: OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), MODULA (PROGRAMMING LANGUAGES), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), MODULA (PROGRAMMIERSPRACHEN), Data processing, computer science, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Dateibeschreibung: application/application/pdf
Zugangs-URL: https://www.research-collection.ethz.ch/bitstream/20.500.11850/68705/1/eth-3247-01.pdf
https://www.research-collection.ethz.ch/bitstream/20.500.11850/68705/1/eth-3247-01.pdf
https://www.research-collection.ethz.ch/handle/20.500.11850/68705
https://dblp.uni-trier.de/db/journals/mam/mam14.html#Wirth90
https://www.sciencedirect.com/science/article/pii/0141933190900654
http://www.sciencedirect.com/science/article/pii/0141933190900654
http://e-collection.library.ethz.ch/view/eth:3247
http://hdl.handle.net/20.500.11850/68705 -
9
Autoren: et al.
Quelle: Technical report, 619
Schlagwörter: OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), info:eu-repo/classification/ddc/004, Data processing, computer science
Dateibeschreibung: application/application/pdf
Relation: http://hdl.handle.net/20.500.11850/69757
-
10
Autoren: Meister, Konrad
Quelle: Arbeitsberichte Verkehrs- und Raumplanung, 416
Schlagwörter: MATSIM-T, OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), Agentenbasierte Simulation, Agent-based simulation, Planomat, OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), COMPUTER APPLICATIONS IN TRAFFIC AND TRANSPORTATION, COMPUTERANWENDUNGEN IN VERKEHR UND TRANSPORT, info:eu-repo/classification/ddc/004, info:eu-repo/classification/ddc/380, Data processing, computer science, Commerce, communications, transport
Dateibeschreibung: application/application/pdf
Relation: http://hdl.handle.net/20.500.11850/39286
-
11
Autoren: et al.
Quelle: Technical Report / ETH Zurich, Department of Computer Science, 550
Schlagwörter: OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), SYSTEMPROGRAMMIERUNG (BETRIEBSSYSTEME), SYSTEMS PROGRAMMING (OPERATING SYSTEMS), info:eu-repo/classification/ddc/004, Data processing, computer science
Dateibeschreibung: application/application/pdf
Relation: http://hdl.handle.net/20.500.11850/69588
-
12
Autoren: et al.
Quelle: Technical Report / Department of Computer Science, ETH Zurich, 408
Schlagwörter: SPEZIFIKATIONEN (SOFTWARE ENGINEERING), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), SPECIFICATIONS (SOFTWARE ENGINEERING), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), JAVA (PROGRAMMING LANGUAGES), JAVA (PROGRAMMIERSPRACHEN), info:eu-repo/classification/ddc/004, Data processing, computer science
Dateibeschreibung: application/application/pdf
-
13
Autoren: Baumann, Rainer
Schlagwörter: C++ (PROGRAMMIERSPRACHEN), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), C++ (PROGRAMMING LANGUAGES), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), info:eu-repo/classification/ddc/004, Data processing, computer science
Dateibeschreibung: application/application/pdf
-
14
Autoren:
Weitere Verfasser:
Schlagwörter: GEOMECHANIK (BAUINGENIEURWESEN), FINITE-ELEMENTE-METHODE (NUMERISCHE MATHEMATIK), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), GEOMECHANICS (CIVIL ENGINEERING), FINITE ELEMENT METHOD (NUMERICAL MATHEMATICS), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), info:eu-repo/classification/ddc/620, info:eu-repo/classification/ddc/004, Engineering & allied operations, Data processing, computer science
Dateibeschreibung: application/application/pdf
-
15
Autoren: Grossniklaus, Michael
Schlagwörter: PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), info:eu-repo/classification/ddc/004, Data processing, computer science
Dateibeschreibung: application/application/pdf
-
16
Autoren:
Weitere Verfasser:
Quelle: Softwaretechnik-trends. 20
Schlagwörter: Data processing, computer science, OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS)
Dateibeschreibung: application/application/pdf
Zugangs-URL: https://dblp.uni-trier.de/db/journals/stt/stt20.html#Riehle00a
http://dblp.uni-trier.de/db/journals/stt/stt20.html#Riehle00a
https://pi.informatik.uni-siegen.de/stt/20_4/05_Dissertationen/Riehle.ps.gz
https://www.research-collection.ethz.ch/handle/20.500.11850/144452
https://pi.informatik.uni-siegen.de/stt/20_2/20_2_diss_riehle.html
http://hdl.handle.net/20.500.11850/144452 -
17
Autoren:
Schlagwörter: Data processing, computer science, THEORIE DER PROGRAMMIERUNG, TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), TESTING + DEBUGGING (SOFTWARE ENGINEERING), THEORY OF PROGRAMMING, OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS)
Dateibeschreibung: application/application/pdf
Zugangs-URL: http://hdl.handle.net/20.500.11850/154135
-
18
Autoren:
Quelle: Technical Report / Department of Computer Science, ETH Zurich, 594
Schlagwörter: Data processing, computer science, OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS)
Dateibeschreibung: application/application/pdf
-
19
Autoren:
Quelle: Technical Report / Department of Computer Science, ETH Zurich, 539
Schlagwörter: Data processing, computer science, OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS)
Dateibeschreibung: application/application/pdf
-
20
Autoren:
Quelle: Technical Report / Department of Computer Science, ETH Zurich, 660
Schlagwörter: Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), SPECIFICATIONS (SOFTWARE ENGINEERING), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), VERIFIKATION (SOFTWARE ENGINEERING), SPEZIFIKATIONEN (SOFTWARE ENGINEERING), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS)
Dateibeschreibung: application/application/pdf
Full Text Finder
Nájsť tento článok vo Web of Science