-
1Conference
Συγγραφείς: Cruz, Raimil, Rezk, Tamara, Serpette, Bernard, P., Tanter, Éric
Συνεισφορές: Computer Science Department Santiago (DCC), Faculty of Science, Universidad de Chile = University of Chile Santiago (UCHILE)-Universidad de Chile = University of Chile Santiago (UCHILE), Secure Diffuse Programming (INDES), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Programming Language Technology For Communication Services (Phoenix), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Université de Bordeaux, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation Bordeaux (EA4136), Université de Bordeaux (UB)-UFR Sciences médicales 3 Bordeaux -Université de Bordeaux (UB)-UFR Sciences médicales 3 Bordeaux
Πηγή: ECOOP 2017 - 31st European Conference on Object-Oriented Programming ; https://hal.science/hal-01637023 ; ECOOP 2017 - 31st European Conference on Object-Oriented Programming, Jun 2017, Barcelona, Spain. pp.1-27, ⟨10.4230/LIPIcs.ECOOP.2017.53⟩
Θεματικοί όροι: and phrases type abstraction, information flow control, relaxed noninterference, type abstraction, 1998 ACM Subject Classification D.4.6 Security and Protection: Information flow controls, D.3.2 Language Classifications: Object-oriented languages, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Θέμα γεωγραφικό: Spain
Time: Barcelona, Spain
-
2Academic Journal
Συγγραφείς: Cruz, Raimil, Rezk, Tamara, Serpette, Bernard, P., Tanter, Éric
Συνεισφορές: PLEIAD, Computer Science Department Santiago (DCC), Faculty of Science, Universidad de Chile = University of Chile Santiago (UCHILE)-Universidad de Chile = University of Chile Santiago (UCHILE)-Faculty of Science, Universidad de Chile = University of Chile Santiago (UCHILE)-Universidad de Chile = University of Chile Santiago (UCHILE), Secure Diffuse Programming (INDES), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Πηγή: ISSN: 2509-8195 ; Dagstuhl Artifacts Series ; https://inria.hal.science/hal-01644835 ; Dagstuhl Artifacts Series, 2017, 3 (2), 2 p. ⟨10.4230/DARTS.3.2.9⟩.
Θεματικοί όροι: relaxed noninterference, type abstraction, information flow control, 1998 ACM Subject Classification D.4.6 Security and Protection: Information flow controls, D.3.2 Language Classifications: Object-oriented languages, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
-
3Academic Journal
Πηγή: ACM Transactions on Software Engineering and Methodology. 7:250-295
Θεματικοί όροι: 4. Education, Languages, 0202 electrical engineering, electronic engineering, information engineering, D.3.2 [Programming Languages]: Language Classifications - object-oriented languages, 02 engineering and technology, D.2.5 [Software Engineering]: Testing and Debugging - test data generators, D.2.1 [Software Engineering]: Requirements/Specifications-languages, Algorithms
Σύνδεσμος πρόσβασης: http://hub.hku.hk/bitstream/10722/48420/1/29731.pdf
https://core.ac.uk/display/24391879
https://doi.org/10.1145/287000.287004
https://doi.acm.org/10.1145/287000.287004
http://www.cs.hku.hk/research/techreps/document/TR-96-07.pdf
https://hub.hku.hk/handle/10722/48420
https://dl.acm.org/doi/abs/10.1145/287000.287004
http://hdl.handle.net/10722/48420 -
4Academic Journal
Συγγραφείς: Gary T. Leavens, David A. Naumann
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.2.2 [Software Engineering, Design Tools and Techniques — Object-oriented design methods, D.2.3 [Software Engineering, Coding Tools and Techniques — Object-oriented programming, D.2.4 [Software Engineering, Software/Program Verification — Correctness proofs, formal methods, programming by contract, reliability, tools, Eiffel, JML, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement — Documentation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.2 [Programming Languages, Language Classifications — Object-oriented languages, D.3.3 [Programming Languages, Language Constructs and Features — classes and objects, inheritance, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, logics of programs, pre- and post-conditions, specification techniques. General Terms, Specification
Περιγραφή αρχείου: application/pdf
-
5Academic Journal
Συγγραφείς: Cesar Yeep, Yoonsik Cheon
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Formal annotation language, parser, static checker, CleanJava, JastAddJ. 1998 CR Categories, D.3.2 [Programming Languages] Language classifications⎯Object-oriented languages, D.3.4 [Programming Languages
Περιγραφή αρχείου: application/pdf
-
6Academic Journal
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: ACM CCS Categories and Subject Descriptors, D.3.3 [Programming Lan- guages, Language Constructs and Features — inheritance, D.3.2 [Programming Languages, Language Classifications — object-oriented languages, Eiffel, D.2.3 [Software Engineering, Coding Tools and Techniques — object-oriented program- ming, D.2.2 [Software
-
7Academic Journal
Συγγραφείς: Martin Schoeberl, Stephan Korsholm, Tomas Kalibera, Anders P. Ravn
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.4.7 [Operating Systems, Organization and Design—Real-time sys- tems and embedded systems, D.3.3 [Programming Languages, Language Classifications—Object-oriented languages, Language Constructs and Features—Input/output General Terms, Languages, Design, Implementation Additional Key Words and Phrases, Device driver, embedded system, Java, Java virtual machine
Περιγραφή αρχείου: application/pdf
-
8Academic Journal
Συγγραφείς: Luigi Liquori, Arnaud Spiwack
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory—Syntax and Semantics, D.3.2 [Programming Languages, Language Classifications— Object-oriented languages, D.3.3 [Programming Languages, Language Constructs and Features—Classes and objects, Inheritance, F.3.3 [Logics and Meaning of Programs, Studies of Program Constructs—Object-oriented constructs General Terms, Design, Languages, Theory Additional Key Words and Phrases, Java, Language design, Language semantics
Περιγραφή αρχείου: application/pdf
-
9Academic Journal
Συγγραφείς: Roland Ducournau, Lirmm Cnrs, Université Montpellier Ii
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.3.2 [Programming languages, Language classifications—object-oriented languages, Java, Eiffel, Smalltalk, Clos, D.3.3 [Programming languages, Language constructs and features—cl
Περιγραφή αρχείου: application/pdf
-
10Academic Journal
Συγγραφείς: Gary T. Leavens, David A. Naumann
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.2.2 [Software Engineering, Design Tools and Tech- niques — Object-oriented design methods, D.2.3 [Software Engineering, Coding Tools and Techniques — Object-oriented programming, D.2.4 [Software Engineering, Software/Program Verification — Correctness proofs, formal methods, programming by contract, reliability, tools, Eiffel, JML, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement — Documentation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.2 [Programming Languages, Language Classifications — Object-oriented languages, D.3.3 [Programming Languages, Language Constructs and Features — classes and objects, inher- itance, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, logics of programs, pre- and post-conditions, specification tech- niques. General Terms, Specification
Περιγραφή αρχείου: application/pdf
-
11Academic Journal
Συγγραφείς: Wei-ngan Chin, Florin Craciun, Siau-cheng Khoo, Corneliu Popeea
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: jects, Polymorphism, Constraints, D.3.1 [Programming Lan- guages, Formal Definitions and Theory, D.3.2 [Programming Languages, Language Classifications—Object-oriented languages, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Object-oriented constructs, Type structure General Terms Design, Languages, Theory, Verification Keywords Genericity, Flow Analysis, Variant Parametric Types, Subtyping
Περιγραφή αρχείου: application/pdf
-
12Academic Journal
Συγγραφείς: Gary T. Leavens, David A. Naumann
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Language Classifications — Object-oriented languages, D.3.3 [Programming Languages] Language Constructs and Features — classes and objects
Περιγραφή αρχείου: application/pdf
-
13Academic Journal
Συγγραφείς: Gary T. Leavens, Yoonsik Cheon
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: formal methods, programming by contract, reliability, tools, validation, JML, D.2.5 [Software Engineering] Testing and Debugging — Debugging aids, design, monitors, test data generators, testing tools, theory, D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, invariants
Περιγραφή αρχείου: application/pdf
-
14Academic Journal
Συγγραφείς: Yoonsik Cheon, Myoung Yee Kim, Ashaveena Perum
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Software Engineering] Software/Program Verification — Assertion checkers, class invariants, formal methods, programming by contract, reliability, tools, validation, JML, D.2.5 [Software Engineering] Testing and Debugging — Debugging aids, design, monitors, test data generators, testing tools, theory, D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings of Programs] Specifying and
Περιγραφή αρχείου: application/pdf
-
15Academic Journal
Συγγραφείς: Yoonsik Cheon, Ashaveena Perum
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: method call sequence specification, runtime checking, assertion, pre and postconditions, programming by contract, JML language. 1998 CR Categories, D.2.1 [Software Engineering] Requirements / Specifications — languages, tools, JML, D.2.4 [Software Engineering] Software/Program Verification — Assertion checkers, class invariants, formal methods, reliability, validation, D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics
Περιγραφή αρχείου: application/pdf
-
16Academic Journal
Συγγραφείς: Patrice Chalin
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings
Περιγραφή αρχείου: application/pdf
-
17Academic Journal
Συγγραφείς: Patrice Chalin
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings
Περιγραφή αρχείου: application/pdf
-
18Academic Journal
Συγγραφείς: Yoonsik Cheon, Gary T. Leavens
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: checkers, class invariants, formal methods, programming by contract, reliability, tools, validation, JML, D.2.5 [Software Engineering] Testing and Debugging — Debugging aids, design, monitors, testing tools, theory, JUnit, D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, invariants, pre- and post-conditions, specification techniques
Περιγραφή αρχείου: application/pdf
-
19Academic Journal
Συγγραφείς: C. Scott Ananian, Martin Rinard
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: C.3 [Computer Systems Organization, Special-Purpose and Application-Based Systems---Real-time and embedded systems, D.3.2 [Programming Languages, Language Classifications---Object-oriented languages, Java, D.3.4 [Program- ming Languages, Processors---Compilers, D.3.4 [Program
Περιγραφή αρχείου: application/postscript
-
20Academic Journal
Συγγραφείς: Yoonsik Cheon, Gary T. Leavens
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Software/Program Verification — Assertion checkers, class invariants, formal methods, programming by contract, reliability, tools, validation, JML, D.2.5 [Software Engineering] Testing and Debugging — Debugging aids, design, monitors, testing tools, theory, JUnit, D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse
Περιγραφή αρχείου: application/pdf