Výsledky vyhľadávania - "D.3.3 [Programming Languages] Language Constructs and Features — Modules"

Information Hiding and Visibility in Interface Specifications

Autori: Gary T. Leavens Peter Müller The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Gary T. Leavens Peter Müller The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.sct.inf.ethz.ch/teaching/ws2006/SemSpecVer/papers/Information_Hiding_and_Visibility_in_Interface_Specifications.pdf.

Predmety: Information hiding, visibility, behavioral interface specification language, proof obligation, public, protected, private, client, JML language. 2006 CR Categories, D.2.1 [Software Engineering] Requirements/Specifications — Languages, D.2.4 [Software Engineering] Software/Program Verification — Assertion checkers, class invariants, correctness proofs, formal methods, programming by contract, reliability, tools, Spec, Eiffel, JML, D.3.3 [Programming Languages] Language Constructs and Features — Modules, Packages, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, invariants, logics of programs, pre- and post-conditions, specification techniques

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.166.130; http://www.sct.inf.ethz.ch/teaching/ws2006/SemSpecVer/papers/Information_Hiding_and_Visibility_in_Interface_Specifications.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.166.130
http://www.sct.inf.ethz.ch/teaching/ws2006/SemSpecVer/papers/Information_Hiding_and_Visibility_in_Interface_Specifications.pdf

On Liberating Programs from the von Neumann Architecture via Event-Based Modularization.

Autori: Malakuti, Somayeh Aksit, Mehmet

Zdroj: Aspect-oriented Software Development; 3/16/15, p31-34, 4p

Modularizing Crosscutting Contracts with AspectJML.

Autori: Rebêlo, Henrique Leavens, Gary T. Bagherzadeh, Mehdi a ďalší

Zdroj: Aspect-oriented Software Development; 4/22/14, p21-24, 4p

Separation and Information Hiding.

Autori: O’HEARN, PETER W. HONGSEOK YANG REYNOLDS, JOHN C.

Zdroj: ACM Transactions on Programming Languages & Systems; Apr2009, Vol. 31 Issue 3, p11:1-11:50, 50p, 7 Charts

Predmety: ELECTRONIC file management, DATA structures, DATABASE management, DATA compression, COMPUTER files, COMPUTER logic, COMPUTER science, COMPUTER programming

Sound and Complete Elimination of Singleton Kinds.

Autori: Crary, Karl

Zdroj: ACM Transactions on Computational Logic; Apr2007, Vol. 8 Issue 2, p1-31, 31p, 6 Diagrams

Predmety: METATHEORY, TRANSLATIONS, PROGRAMMING languages, COMPILERS (Computer programs), COMPUTABLE functions, ALGORITHMS

Hierarchical Modularity

Autori: Matthias Blume Andrew W. Appel The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Matthias Blume Andrew W. Appel The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www-2.cs.cmu.edu/~rwh/courses/modules/papers/blume-appel99/paper.pdf.

Predmety: packages General Terms, Design, Languages, Management Additional Key Words and Phrases, Compilation management, linking, modularity, modules, name visibility

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.6421
http://www-2.cs.cmu.edu/~rwh/courses/modules/papers/blume-appel99/paper.pdf