-
1
المؤلفون: Mischael Schill, Bertrand Meyer, Christopher M. Poskitt
المساهمون: Politecnico di Milano [Milan] (POLIMI), Innopolis University, Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées, Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich] (ETH Zürich), Singapore University of Technology and Design (SUTD), Alberto Lluch Lafuente, José Proença, TC 6, WG 6.1
المصدر: Lecture Notes in Computer Science
18th International Conference on Coordination Languages and Models (COORDINATION)
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.227-244, ⟨10.1007/978-3-319-39519-7_14⟩
Lecture Notes in Computer Science ISBN: 9783319395180مصطلحات موضوعية: FOS: Computer and information sciences, Java, Semantics (computer science), Computer science, Concurrency, Distributed computing, SPECIAL PROGRAMMING METHODS, OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), 0102 computer and information sciences, 02 engineering and technology, OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), 01 natural sciences, CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Computer Science - Software Engineering, VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), Synchronization (computer science), SPECIFICATIONS (SOFTWARE ENGINEERING), 0202 electrical engineering, electronic engineering, information engineering, Overhead (computing), [INFO]Computer Science [cs], SPEZIFIKATIONEN (SOFTWARE ENGINEERING), Protocol (object-oriented programming), computer.programming_language, Abstraction (linguistics), Computer Science - Programming Languages, SPEZIELLE PROGRAMMIERMETHODEN, 020207 software engineering, Software Engineering (cs.SE), Computer Science - Distributed, Parallel, and Cluster Computing, 010201 computation theory & mathematics, Programming paradigm, Distributed, Parallel, and Cluster Computing (cs.DC), ddc:004, computer, Programming Languages (cs.PL)
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bf0c75148fa6659814910c974e89db07
http://arxiv.org/abs/1604.04591 -
2
المؤلفون: Fürst, Andreas
المساهمون: Basin, David A., Butler, Michael
مصطلحات موضوعية: Data processing, computer science, SPEZIFIKATIONEN (SOFTWARE ENGINEERING), SPEZIFIKATIONSSPRACHEN (SOFTWARE ENGINEERING), TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING), COMPUTERANWENDUNGEN IN VERKEHR UND TRANSPORT, SPECIFICATIONS (SOFTWARE ENGINEERING), SPECIFICATION LANGUAGES (SOFTWARE ENGINEERING), TESTING + DEBUGGING (SOFTWARE ENGINEERING), COMPUTER APPLICATIONS IN TRAFFIC AND TRANSPORTATION, ddc:004
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1d997edcec703cc6633646c41c6c948
-
3
المؤلفون: Königseder, Corinna
المساهمون: Shea, Kristina, Cagan, Jonathan
مصطلحات موضوعية: SPEZIFIKATIONEN (SOFTWARE ENGINEERING), CAD (RECHNERGESTÜTZTES ENTWERFEN UND KONSTRUIEREN), CAD (COMPUTER AIDED DESIGN), SPECIFICATIONS (SOFTWARE ENGINEERING), COMPUTER APPLICATIONS IN ENGINEERING AND TECHNOLOGY, COMPUTERANWENDUNGEN IN TECHNIK UND INGENIEURWESEN, Data processing, computer science, ddc:004
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c9c112e65d3e8ffb8258f39a141f0d75
-
4
المؤلفون: Achim D. Brucker, Burkhart Wolff
المصدر: Electronic Notes in Theoretical Computer Science. 80:24-40
مصطلحات موضوعية: POSIX, Correctness, General Computer Science, Computer science, HOL, Access control, security, Unix, computer.software_genre, Theoretical Computer Science, Discretionary access control, Data processing, computer science, Software, Distributed System Security Architecture, SPECIFICATIONS (SOFTWARE ENGINEERING), Reference architecture, SPEZIFIKATIONEN (SOFTWARE ENGINEERING), ZUVERLÄSSIGKEIT + FEHLERTOLERANZ (SOFTWARE ENGINEERING), COMPUTERANWENDUNGEN IN TECHNIK UND INGENIEURWESEN, RELIABILITY + FAULT-TOLERANCE (SOFTWARE ENGINEERING), COMPUTER APPLICATIONS IN ENGINEERING AND TECHNOLOGY, Programming language, business.industry, access control, Enterprise information security architecture, Formal methods, CVS, Distributed development, ddc:004, business, computer, Computer Science(all)
وصف الملف: application/application/pdf
-
5
المؤلفون: Dahinden, Markus
المساهمون: Hromkovič, Juraj, Hinterberger, Hans
مصطلحات موضوعية: Data processing, computer science, HOCHSCHULUNTERRICHT + HOCHSCHULDIDAKTIK (HOCHSCHULWESEN), COMPUTERUNTERSTÜTZTER UNTERRICHT + NEW MEDIA (UNTERRICHT), SPECIFICATIONS (SOFTWARE ENGINEERING), UNIVERSITY TEACHING + UNIVERSITY DIDACTICS (HIGHER EDUCATION), SPEZIFIKATIONEN (SOFTWARE ENGINEERING), COMPUTER-AIDED INSTRUCTION + NEW MEDIA (INSTRUCTION), ddc:004
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::451e3a83ca5d71f9dc3d1f190bbd0137
https://hdl.handle.net/20.500.11850/91080 -
6
المؤلفون: Polikarpova, Nadia
المساهمون: Leino, Rustan M., Meyer, Bertrand
مصطلحات موضوعية: SOFTWARE REUSABILITY + SOFTWARE REUSE + COMPONENT-BASED SOFTWARE DESIGN (SOFTWARE ENGINEERING), Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), SOFTWAREWIEDERVERWENDUNG + KOMPONENTENBASIERTE SOFTWAREENTWICKLUNG (SOFTWARE ENGINEERING), SPEZIFIKATIONEN (SOFTWARE ENGINEERING), VERIFIKATION (SOFTWARE ENGINEERING), SPECIFICATIONS (SOFTWARE ENGINEERING), ddc:004
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dde8d4bb5665596596d147cc1b7e4045
-
7
المؤلفون: Morandi, Benjamin
المساهمون: Meseguer, José, Meyer, Bertrand
مصطلحات موضوعية: CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), VERTEILTE ALGORITHMEN + PARALLELE ALGORITHMEN (PROGRAMMIERMETHODEN), PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME), SPEZIFIKATIONEN (SOFTWARE ENGINEERING), DISTRIBUTED ALGORITHMS + PARALLEL ALGORITHMS (PROGRAMMING METHODS), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), SPECIFICATIONS (SOFTWARE ENGINEERING), Data processing, computer science, ddc:004
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a582f12b93267f48d183119f796a83ca
https://hdl.handle.net/20.500.11850/154649 -
8
المؤلفون: Mohammad Torabi-Dashti, Simone Frau
المصدر: CSF
Technical Report / ETH Zurich, Department of Computer Science, 702مصطلحات موضوعية: Programming language, Computer science, Distributed computing, DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME), Formal methods, computer.software_genre, Decidability, NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS), Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), Fragment (logic), DATA SECURITY + DATA PROTECTION (OPERATING SYSTEMS), Formal specification, SPECIFICATIONS (SOFTWARE ENGINEERING), Role-based access control, SPEZIFIKATIONEN (SOFTWARE ENGINEERING), NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME), VERIFIKATION (SOFTWARE ENGINEERING), Trust management (information system), ddc:004, Role hierarchy, Formal verification, computer
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8511774115fcddb901c74ff9de197b5f
https://doi.org/10.1109/csf.2011.9 -
9
المؤلفون: Kassios, Ioannis T., Müller, Peter
المصدر: Technical Report, 711
مصطلحات موضوعية: SPEZIFIKATIONEN (SOFTWARE ENGINEERING), VERIFICATION (SOFTWARE ENGINEERING), SPECIFICATIONS (SOFTWARE ENGINEERING), VERIFIKATION (SOFTWARE ENGINEERING), Data processing, computer science, ddc:004
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eec09f0fd4f55c36ff7ca813f880d25d
-
10
المؤلفون: Basin, David A., Clavel, Manuel, Egea, Marina, García de Dios, Miguel A., Dania, Carolina, Ortiz, Gonzalo, Valdazo, Javier
مصطلحات موضوعية: Data processing, computer science, BENUTZEROBERFLÄCHEN (INFORMATIONSSYSTEME), DATA SECURITY + DATA PROTECTION (OPERATING SYSTEMS), SPEZIFIKATIONEN (SOFTWARE ENGINEERING), SPECIFICATIONS (SOFTWARE ENGINEERING), USER INTERFACES (INFORMATION SYSTEMS), DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME), ddc:004
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aaf8f53dae9698101351a676bdd624e9