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

Authors: HEUßNER, Alexander, POSKITT, Christopher M., CORRODI, Claudio, MORANDI, Benjamin

Contributors: Rensink, Arend, Zambon, Eduardo

Source: Electronic Proceedings in Theoretical Computer Science, Vol 181, Iss Proc. GaM 2015, Pp 32-47 (2015)
Electronic Proceedings in Theoretical Computer Science, 181

Subject Terms: 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)

File Description: application/application/pdf; application/pdf

Access 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

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

Subject Terms: 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

File Description: application/application/pdf

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

Availability: 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

Authors: Heußner, Alexander, Poskitt, Christopher M., Corrodi, Claudio, Morandi, Benjamin

Contributors: Rensink, Arend, Zambon, Eduardo

Source: Electronic Proceedings in Theoretical Computer Science, 181

Subject Terms: 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

File Description: application/application/pdf

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

Availability: 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

Authors: Piccioni, Marco, Oriol, Manuel, Meyer, Bertrand, Schneider, Teseo

Source: Technical Report / Department of Computer Science, ETH Zurich, 638

Subject Terms: Data processing, computer science, 0202 electrical engineering, electronic engineering, information engineering, OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), 02 engineering and technology, OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS)

File Description: application/application/pdf

Access 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

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

Source: Technical report, 424

Subject Terms: 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

File Description: application/application/pdf

Access 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

Authors: Gutknecht, Jürg

Source: Technischer Bericht / Eidgenössische Technische Hochschule, Departement Informatik, 243

Subject Terms: 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

File Description: application/application/pdf

Access 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

Authors: Claudio Corrodi

Source: arXiv: Programming Languages.

Subject Terms: 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)

Access 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

Authors: Wirth, Niklaus

Source: ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computer Systeme, 117

Subject Terms: 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

File Description: application/application/pdf

Access 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

Authors: Piccioni, Marco, Oriol, Manuel, Meyer, Bertrand, Schneider, Teseo

Source: Technical report, 619

Subject Terms: OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), info:eu-repo/classification/ddc/004, Data processing, computer science

File Description: application/application/pdf

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

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

Setup of matsimJ with C++-planomat

Authors: Meister, Konrad

Source: Arbeitsberichte Verkehrs- und Raumplanung, 416

Subject Terms: 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

File Description: application/application/pdf

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

Availability: 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

Authors: Burns, Alexandra, Balzer, Stephanie, Gross, Thomas, id_orcid:0 000-0002-2038-2902

Source: Technical Report / ETH Zurich, Department of Computer Science, 550

Subject Terms: OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), SYSTEMPROGRAMMIERUNG (BETRIEBSSYSTEME), SYSTEMS PROGRAMMING (OPERATING SYSTEMS), info:eu-repo/classification/ddc/004, Data processing, computer science

File Description: application/application/pdf

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

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

Formal techniques for Java-like programs

Authors: Eisenbach, Susan, Leavens, Gary T., Müller, Peter, Poetzsch, Michael, Poll, Erik

Source: Technical Report / Department of Computer Science, ETH Zurich, 408

Subject Terms: 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

File Description: application/application/pdf

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

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

A profound reflection on C++ template mechanism

Authors: Baumann, Rainer

Subject Terms: C++ (PROGRAMMIERSPRACHEN), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), C++ (PROGRAMMING LANGUAGES), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), info:eu-repo/classification/ddc/004, Data processing, computer science

File Description: application/application/pdf

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

Availability: 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

Authors: Fritz, Pit, Zheng, Xiong

Contributors: Institut für Geotechnik Zürich

Subject Terms: 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

File Description: application/application/pdf

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

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

Visualization of dispatching strategies

Authors: Grossniklaus, Michael

Subject Terms: 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

File Description: application/application/pdf

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

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

Framework design: a role modeling approach

Authors: Riehle, Dirk

Contributors: Gross, Thomas

Source: Softwaretechnik-trends. 20

Subject Terms: Data processing, computer science, OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS)

File Description: application/application/pdf

Access 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

Authors: Ferrara, Pietro, Fuchs, Raphael, Juhasz, Uri

Subject Terms: 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)

File Description: application/application/pdf

Access URL: http://hdl.handle.net/20.500.11850/154135

Objects in context: An empirical study of object relationships

Authors: Balzer, Stephanie, Burns, Alexandra, Gross, Thomas

Source: Technical Report / Department of Computer Science, ETH Zurich, 594

Subject Terms: Data processing, computer science, OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS)

File Description: application/application/pdf

Access 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

Authors: Balzer, Stephanie, Eugster, Patrick, Gross, Thomas

Source: Technical Report / Department of Computer Science, ETH Zurich, 539

Subject Terms: Data processing, computer science, OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS)

File Description: application/application/pdf

Access 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

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

Source: Technical Report / Department of Computer Science, ETH Zurich, 660

Subject Terms: Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), SPECIFICATIONS (SOFTWARE ENGINEERING), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), VERIFIKATION (SOFTWARE ENGINEERING), SPEZIFIKATIONEN (SOFTWARE ENGINEERING), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS)

File Description: application/application/pdf

Access 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