Suchergebnisse - "OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS)"

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model

Autoren: HEUßNER, Alexander POSKITT, Christopher M. CORRODI, Claudio et al.

Weitere Verfasser: HEUßNER, Alexander POSKITT, Christopher M. CORRODI, Claudio 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, 181

Schlagwö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

An Interference-Free Programming Model for Network Objects

Autoren: Schill, Mischael Poskitt, Christopher M. Meyer, Bertrand

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

Relation: http://hdl.handle.net/20.500.11850/155552

Verfügbarkeit: https://hdl.handle.net/20.500.11850/155552
https://doi.org/10.3929/ethz-a-010624290

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model

Autoren: Heußner, Alexander Poskitt, Christopher M. Corrodi, Claudio et al.

Weitere Verfasser: Heußner, Alexander Poskitt, Christopher M. Corrodi, Claudio 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

Verfügbarkeit: https://hdl.handle.net/20.500.11850/99999
https://doi.org/10.3929/ethz-a-010415005

An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software

Autoren: Piccioni, Marco Oriol, Manuel Meyer, Bertrand 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

Modular invariants for layered object structures

Autoren: Müller, Peter Poetzsch-Heffter, Arnd Leavens, Gary T.

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

Zugangs-URL: https://www.research-collection.ethz.ch/bitstream/20.500.11850/69749/1/eth-4621-01.pdf
http://hdl.handle.net/20.500.11850/69749

Oberon, gadgets, and some archetypal aspects of persistent objects

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

Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE

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

MODULA-2 and object-oriented programming

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

An IDE-based solution for schema evolution of object-oriented software

Autoren: Piccioni, Marco Oriol, Manuel Meyer, Bertrand 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

Verfügbarkeit: https://hdl.handle.net/20.500.11850/69757
https://doi.org/10.3929/ethz-a-006733700

Setup of matsimJ with C++-planomat

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

Verfügbarkeit: https://hdl.handle.net/20.500.11850/39286
https://doi.org/10.3929/ethz-a-005283098

The relationship detector: Uncovering hidden relationships in object-oriented programs

Autoren: Burns, Alexandra Balzer, Stephanie Gross, Thomas 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

Verfügbarkeit: https://hdl.handle.net/20.500.11850/69588
https://doi.org/10.3929/ethz-a-006785814

Formal techniques for Java-like programs

Autoren: Eisenbach, Susan Leavens, Gary T. Müller, Peter 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

Relation: https://hdl.handle.net/20.500.11850/69834

Verfügbarkeit: https://hdl.handle.net/20.500.11850/69834
https://doi.org/10.3929/ethz-a-006666086

A profound reflection on C++ template mechanism

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

Relation: http://hdl.handle.net/20.500.11850/148190

Verfügbarkeit: https://hdl.handle.net/20.500.11850/148190
https://doi.org/10.3929/ethz-a-004770832

A finite element framework for geotechnical applications based on object-oriented programming

Autoren: Fritz, Pit Zheng, Xiong Institut für Geotechnik Zürich

Weitere Verfasser: Fritz, Pit Zheng, Xiong Institut für Geotechnik Zürich

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

Relation: http://hdl.handle.net/20.500.11850/145415

Verfügbarkeit: https://hdl.handle.net/20.500.11850/145415
https://doi.org/10.3929/ethz-a-004230928

Visualization of dispatching strategies

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

Relation: http://hdl.handle.net/20.500.11850/148520

Verfügbarkeit: https://hdl.handle.net/20.500.11850/148520
https://doi.org/10.3929/ethz-a-004916885

Framework design: a role modeling approach

Autoren: Riehle, Dirk Gross, Thomas

Weitere Verfasser: Riehle, Dirk Gross, Thomas

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

TVAL+: a sound and generic combination of TVLA and value analyses

Autoren: Ferrara, Pietro Fuchs, Raphael Juhasz, Uri

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

Objects in context: An empirical study of object relationships

Autoren: Balzer, Stephanie Burns, Alexandra Gross, Thomas

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

Zugangs-URL: http://www.lst.ethz.ch/research/publications/TR594_2008/TR594_2008.pdf
https://www.research-collection.ethz.ch/handle/20.500.11850/69262
http://hdl.handle.net/20.500.11850/69262

Relations: Abstracting object collaborations

Autoren: Balzer, Stephanie Eugster, Patrick Gross, Thomas

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

Zugangs-URL: https://www.research-collection.ethz.ch/handle/20.500.11850/69582
http://hdl.handle.net/20.500.11850/69582

Specification and verification of closures

Autoren: Kassios, Ioannis T. Müller, Peter

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

Zugangs-URL: http://e-collection.library.ethz.ch/eserv/eth:5050/eth-5050-01.pdf
https://www.research-collection.ethz.ch/handle/20.500.11850/153103
http://hdl.handle.net/20.500.11850/153103