Suchergebnisse - SCOOP (Simple Concurrent Object Oriented Programming)

A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages

Autoren: Nanz, Sebastian Torshizi, Faraz Pedroni, Michela et al.

Index Begriffe: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/1011.6047

SCOOP – Concurrency Made Easy.

Autoren: Arslan, Volkan Eugster, Patrick Nienaltowski, Piotr et al.

Quelle: Dependable Systems: Software, Computing, Networks; 2006, p82-102, 21p

A CSP model of Eiffel’s SCOOP.

Autoren: Phillip Brooke Richard Paige Jeremy Jacob

Quelle: Formal Aspects of Computing; Nov2007, Vol. 19 Issue 4, p487-512, 26p

Schlagwörter: C++, OBJECT-oriented programming, COMPUTER programming, OBJECT-oriented methods (Computer science)

Concurrent object-oriented programming on .NET.

Autoren: Nienaltowski, P. Arslan, V. Meyer, B.

Quelle: IEE Proceedings -- Software; Oct2003, Vol. 150 Issue 5, p308-314, 7p

Schlagwörter: COMPUTER systems, OBJECT-oriented programming

A comprehensive operational semantics of the SCOOP programming model

Autoren: Morandi, Benjamin Nanz, Sebastian Meyer, Bertrand

Index Begriffe: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Programming Languages, F.3.2, text

URL: http://arxiv.org/abs/1101.1038

Attached Types and Their Application to Three Open Problems of Object-Oriented Programming.

Autoren: Black, Andrew P. Meyer, Bertrand

Quelle: ECOOP 2005 - Object-Oriented Programming; 2005, p1-32, 32p

Beyond contracts for concurrency

Autoren: Ostroff, Jonathan S. Torshizi, Faraz Ahmadi Huang, Hai Feng et al.

Quelle: Formal Aspects of Computing, 21 (4)

Schlagwörter: SCOOP (Simple Concurrent Object Oriented Programming), Concurrent contracts, Operational semantics, Verification, Temporal logic

Relation: info:eu-repo/semantics/altIdentifier/wos/000268057000003; http://hdl.handle.net/20.500.11850/86472

Verfügbarkeit: https://hdl.handle.net/20.500.11850/86472

Under consideration for publication in Formal Aspects of Computing Beyond Contracts for Concurrency

Autoren: Jonathan S. Ostroff Faraz Ahmadi Torshizi Hai Feng Huang et al.

Weitere Verfasser: Jonathan S. Ostroff Faraz Ahmadi Torshizi Hai Feng Huang et al.

Quelle: http://www.cse.yorku.ca/~faraz/papers/facj.pdf.

Schlagwörter: SCOOP (Simple Concurrent Object Oriented programming, Concurrent Contracts, Operational Semantics, Verification, Temporal Logic

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.9527; http://www.cse.yorku.ca/~faraz/papers/facj.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.9527
http://www.cse.yorku.ca/~faraz/papers/facj.pdf

Design of an empirical study for comparing the usability of concurrent programming languages

Autoren: Sebastian Nanz Faraz Torshizi Michela Pedroni et al.

Quelle: Information and Software Technology

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: http://arxiv.org/pdf/1011.6047
http://se.inf.ethz.ch/%7Emeyer/publications/empirical/empirical_scoop.pdf
http://ieeexplore.ieee.org/document/6092581/
https://dblp.uni-trier.de/db/conf/esem/esem2011.html#NanzTPM11
http://se.ethz.ch/~meyer/publications/empirical/empirical_scoop.pdf
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006092581
https://www.computer.org/csdl/proceedings-article/esem/2011/4604a325/12OmNBpmDB4

Under consideration for publication in Formal Aspects of Computing Beyond Contracts for Concurrency

Autoren: Jonathan S. Ostroff Faraz Ahmadi Torshizi Hai Feng Huang et al.

Weitere Verfasser: Jonathan S. Ostroff Faraz Ahmadi Torshizi Hai Feng Huang et al.

Quelle: http://www.cs.yorku.ca/%7Ejonathan/publications/2008/FAC-SCOOP-2008a.pdf.

Schlagwörter: SCOOP (Simple Concurrent Object Oriented programming, Concurrent Contracts, Operational Semantics, Verification, Temporal Logic

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.3981

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.3981
http://www.cs.yorku.ca/%7Ejonathan/publications/2008/FAC-SCOOP-2008a.pdf

A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model.

Autoren: West, Scott Nanz, Sebastian Meyer, Bertrand

Quelle: Formal Methods & Software Engineering (9783642169007); 2010, p597-612, 16p

Composing atomic features

Autoren: Eugster, Patrick Vaucouleur, Sebastien

Quelle: Science of Computer Programming. Dec2006, Vol. 63 Issue 2, p130-146. 17p.

Schlagwörter: *COMPUTER programming, *COMPUTER software, *PROGRAMMING languages, *OBJECT-oriented databases

Concurrent object-oriented programming.

Autoren: Meyer, B.

Quelle: Proceedings Technology of Object-Oriented Languages & Systems (TOOLS 38); 2001, p203-203, 1p

Chapter 3: Positioning of this Monograph and Bibliographical Note: 3.1 Contracts in software engineering.

Autoren: Benveniste, A. Caillaud, B. Nickovic, D. et al.

Quelle: Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p151-157, 7p

Schlagwörter: CONTRACTS, MATHEMATICAL models, SOFTWARE engineering, IMPERATIVE programming, EIFFEL (Computer program language), OBJECT-oriented programming, MATHEMATICAL invariants

People: DAMM, Werner, BENVENISTE, Albert

Who is Accountable for Asynchronous Exceptions?

Autoren: Morandi, Benjamin Nanz, Sebastian Meyer, Bertrand

Quelle: 2012 19th Asia-Pacific Software Engineering Conference; 1/ 1/2012, p462-471, 10p

Research in object-oriented manufacturing simulations: an assessment of the state of the art.

Autoren: Narayanan, S. Bodner, D. A. Sreekanth, U. et al.

Quelle: IIE Transactions; Sep98, Vol. 30 Issue 9, p795-810, 16p

Schlagwörter: OBJECT-oriented programming, COMPUTER software development, SIMULATION methods & models, OPERATIONS research, ENGINEERING systems, TECHNOLOGICAL innovations

A Survey of Active Object Languages.

Autoren: DE BOER, FRANK SERBANESCU, VLAD HÄHNLE, REINER et al.

Quelle: ACM Computing Surveys; Sep2018, Vol. 50 Issue 5, p76:1-76:39, 39p

Schlagwörter: SOFTWARE engineering, PARALLEL programs (Computer programs), CONCURRENT engineering, PROGRAMMING languages, COMPUTER programming

I Language Issues: 3 A Survey of Logic Programming-Based Object-Oriented Languages.

Autoren: Davison, Andrew

Quelle: Research Directions in Concurrent Object-Oriented Programming; 2003, p42-106, 65p

Performance-driven object-oriented program re-modularisation.

Autoren: Parsa, S. Bushehrian, O.

Quelle: IET Software (Institution of Engineering & Technology); Aug2008, Vol. 2 Issue 4, p362-378, 17p, 1 Black and White Photograph, 17 Diagrams, 1 Chart, 4 Graphs

Schlagwörter: COMPUTER software, ALGORITHMS, COMPUTER systems, COMPUTER programming, ELECTRONIC data processing

AutoProof: auto-active functional verification of object-oriented programs.

Autoren: Furia, Carlo Nordio, Martin Polikarpova, Nadia et al.

Quelle: International Journal on Software Tools for Technology Transfer; Nov2017, Vol. 19 Issue 6, p697-716, 20p

Schlagwörter: SOFTWARE verification, OBJECT-oriented methods (Computer science), AUTOMATION, MATHEMATICAL invariants, COMPUTER interfaces