Výsledky vyhľadávania - "D.3.3 [Programming Languages] Language Constructs and Features — Modules"
-
1
Autori:
Prispievatelia:
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
-
2
Autori:
Zdroj: Aspect-oriented Software Development; 3/16/15, p31-34, 4p
-
3
Autori: a ďalší
Zdroj: Aspect-oriented Software Development; 4/22/14, p21-24, 4p
-
4
Autori:
Zdroj: ACM Transactions on Programming Languages & Systems; Apr2009, Vol. 31 Issue 3, p11:1-11:50, 50p, 7 Charts
-
5
Autori: Crary, Karl
Zdroj: ACM Transactions on Computational Logic; Apr2007, Vol. 8 Issue 2, p1-31, 31p, 6 Diagrams
-
6
Autori:
Prispievatelia:
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
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
Nájsť tento článok vo Web of Science
Full Text Finder