Search results for "encapsulation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
124	Nathanael Schärli, Andrew P. Black, Stéphane Ducasse	Object-oriented encapsulation for dynamically typed languages.	OOPSLA	2004	DBLP DOI BibTeX RDF	encapsulation policies, information hiding, smalltalk, encapsulation, dynamic typing
83	Andreas Roth 0002	Specification and Verification of Encapsulation in Java Programs.	FMOODS	2005	DBLP DOI BibTeX RDF
82	Takahiro Matsuda 0002, Goichiro Hanaoka, Kanta Matsuura, Hideki Imai	An Efficient Encapsulation Scheme from Near Collision Resistant Pseudorandom Generators and Its Application to IBE-to-PKE Transformations.	CT-RSA	2009	DBLP DOI BibTeX RDF	IND-CCA security, encapsulation, public key encryption, identity-based encryption, pseudorandom generator
74	Yi Lu 0003, John Potter	Protecting representation with effect encapsulation.	POPL	2006	DBLP DOI BibTeX RDF	object encapsulation, representation exposure, types, ownership types, effect systems
66	David A. Naumann	On assertion-based encapsulation for object invariants and simulations.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Object invariants, Encapsulation and abstraction, Separation and alias control
58	Wolfgang De Meuter, Éric Tanter, Stijn Mostinckx, Tom Van Cutsem, Jessie Dedecker	Flexible object encapsulation for ambient-oriented programming.	DLS	2005	DBLP DOI BibTeX RDF
57	Kin-Keung Ma, Jeffrey S. Foster	Inferring aliasing and encapsulation properties for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	lending, ownership inference, uniqueness inference, uno, java, aliasing, encapsulation, ownership, uniqueness
57	Lei Wu 0002, Xiangxu Meng, Shijun Liu	Service-oriented encapsulation of manufacturing resources.	IEEE SCC	2007	DBLP DOI BibTeX RDF	service-oriented, encapsulation, Web Service Resource Framework (WSRF)
57	Yuan He, Tao Yu, Bin Shen	Research on WSRF-Based Resource Management Model and Encapsulation in Manufacturing Grid.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Resource encapsulation, Web service, Resource management, WSRF, Manufacturing Grid (MG)
57	Jerome Miecznikowski, Laurie J. Hendren	Decompiling Java Using Staged Encapsulation.	WCRE	2001	DBLP DOI BibTeX RDF	Java Decompile Soot Dava Staged Encapsulation Sable
51	Michael Hollins, John Rosenberg, Michael Hitchens	Subtyping and Protection in Persistent Programming Languages.	HICSS (1)	1997	DBLP DOI BibTeX RDF
50	Paolo Tonella	Concept Analysis for Module Restructuring.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	modularization, reengineering, abstract data type, legacy systems, encapsulation, restructuring, Concept analysis
49	Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, Roel Wuyts	Composable Encapsulation Policies.	ECOOP	2004	DBLP DOI BibTeX RDF
49	Jung Ha Hong, Oleg Gusak, Khosrow Sohraby, Neal Oliver	Performance Analysis of Packet Encapsulation and Aggregation.	MASCOTS	2006	DBLP DOI BibTeX RDF	batch service queues, quasi birth-death Markov chain, probability generating function, aggregation, Encapsulation
49	Antoine Beugnard	Method overloading and overriding cause encapsulation flaw: an experiment on assembly of heterogeneous components.	SAC	2006	DBLP DOI BibTeX RDF	objet oriented language interoperability, software component, encapsulation
49	Martijn Stam	A Key Encapsulation Mechanism for NTRU.	IMACC	2005	DBLP DOI BibTeX RDF	Key Encapsulation, Random Oracle Model, NTRU, Plaintext Awareness
49	Manuel Barbosa, Pooya Farshim	Efficient Identity-Based Key Encapsulation to Multiple Parties.	IMACC	2005	DBLP DOI BibTeX RDF	Key Encapsulation Mechanism (KEM), Provable Security, Identity Based Cryptography, Hybrid Encryption
49	Michael R. Wick, Daniel E. Stevenson, Andrew T. Phillips	Seven design rules for teaching students sound encapsulation and abstraction of object properties and member data.	SIGCSE	2004	DBLP DOI BibTeX RDF	accessors, abstraction, mutators, encapsulation
49	Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira	Ownership types for object encapsulation.	POPL	2003	DBLP DOI BibTeX RDF	object encapsulation, ownership types, software upgrades
42	Yuan He, Tao Yu, Lilan Liu, Bin Shen, Haiyang Sun	A WSRF-Based Resource Management System of Manufacturing Grid.	CCGRID	2006	DBLP DOI BibTeX RDF
42	Jon. Hallett	Formulating Update Messages.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	Smalltalk
41	Lei Wu 0002, Xiangxu Meng, Shijun Liu	A Service-Oriented, Scalable Approach to Grid-Enabling of Manufacturing Resources.	CDVE	2007	DBLP DOI BibTeX RDF	manufacturing resource, grid, service-oriented, encapsulation, Web Service Resource Framework (WSRF)
41	Stefan Wappler, Ina Schieferdecker	Improving evolutionary class testing in the presence of non-public methods.	ASE	2007	DBLP DOI BibTeX RDF	object-orientation, unit testing, encapsulation, evolutionary testing
41	Andrew Waugh	The design of the VERS encapsulated object experience with an archival information package.	Int. J. Digit. Libr.	2006	DBLP DOI BibTeX RDF	Digital preservation, Encapsulation, OAIS
41	Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard	Ownership types for safe programming: preventing data races and deadlocks.	OOPSLA	2002	DBLP DOI BibTeX RDF	deadlocks, encapsulation, data races, ownership types
41	Xuandong Li, Guoliang Zheng	A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages.	APSEC	1996	DBLP DOI BibTeX RDF	software maintenance, software reuse, inheritance, encapsulation, object-oriented programming languages
41	Chee-Hong Teh, Tat Chee Wan, Rahmat Budiarto, Way-Chuang Ang	Unidirectional Lightweight Encapsulation with Header Compression for IP Based Satellite Communication over DVB-S.	AINTEC	2007	DBLP DOI BibTeX RDF
41	Shinyoung Lim, Abdelsalam Helal	Encapsulation and Entity-Based Approach of Interconnection Between Sensor Platform and Middleware of Pervasive Computing.	UCS	2006	DBLP DOI BibTeX RDF
41	David A. Naumann	Assertion-Based Encapsulation, Object Invariants and Simulations.	FMCO	2004	DBLP DOI BibTeX RDF
41	James Noble 0001	Iterators and Encapsulation.	TOOLS (33)	2000	DBLP DOI BibTeX RDF
41	Michele Bugliesi, Hasan M. Jamil	A Logic for Encapsulation in Object Oriented Languages.	PLILP	1994	DBLP DOI BibTeX RDF
41	Houari A. Sahraoui, Walcélio L. Melo, Hakim Lounis, F. Dumont	Applying Concept Formation Methods to Object Identification in Procedural Code.	ASE	1997	DBLP DOI BibTeX RDF	concept formation methods, procedural code, legacy software systems, computer-supported approach, procedural software systems, modularity, flexibility, information hiding, reusability, maintainability, encapsulation, expandability, object-oriented technology, object identification, data encapsulation
41	Sahng-Mann Han	Is OO Working as It Promised?	COMPSAC	1996	DBLP DOI BibTeX RDF	OO software development paradigm, operator polymorphism, reusable component libraries, software development time, business organisations, software engineering, data structures, object-oriented programming, software maintenance, software development, abstraction, requirements, inheritance, inheritance, reusability, object-oriented methods, encapsulation, business data processing, object-oriented paradigm, code size, data encapsulation, software applications
41	Hyun C. Kim, V. S. S. Nair	Application layer software fault tolerance for distributed object-oriented systems.	COMPSAC	1995	DBLP DOI BibTeX RDF	application layer software fault tolerance, object failures, active object replication schemes, common interface, object-oriented programming, distributed processing, software fault tolerance, encapsulation, replicated objects, data encapsulation, distributed object-oriented systems, hardware failures
40	R. Paul Wiegand, Gautham Anil, Ivan I. Garibay, Ozlem O. Garibay, Annie S. Wu	On the performance effects of unbiased module encapsulation.	GECCO	2009	DBLP DOI BibTeX RDF	module encapsulation, search space bias, runtime analysis
40	Jong Hwan Park, Ki Tak Kim, Dong Hoon Lee 0001	Cryptanalysis and improvement of a multi-receiver identity-based key encapsulation at INDOCRYPT 06.	AsiaCCS	2008	DBLP DOI BibTeX RDF	multi-receiver identity-based key encapsulation
40	David G. Clarke, Sophia Drossopoulou	Ownership, encapsulation and the disjointness of type and effect.	OOPSLA	2002	DBLP DOI BibTeX RDF	aliasing, encapsulation, ownership types, type-and-effects systems
40	Rebecca Matson	Re-forming information: a case study in teaching content encapsulation.	SIGDOC	2001	DBLP DOI BibTeX RDF	encapsulated content, information encapsulation, information design
40	Robert W. Bowdidge, William G. Griswold	How Software Engineering Tools Organize Programmer Behavior During the Task of Data Encapsulation.	Empir. Softw. Eng.	1997	DBLP DOI BibTeX RDF	empirical study, software tools, restructuring, data encapsulation
40	Charles Kindel	COM: what makes it work, black-box encapsulation through multiple, immutable interfaces.	EDOC	1997	DBLP DOI BibTeX RDF	commercial reality, black box-encapsulation, interface immutability, programming, multiple interfaces, component system, component object model, location transparency
40	Stuart H. Zweben, Stephen H. Edwards, Bruce W. Weide, Joseph E. Hollingsworth	The Effects of Layering and Encapsulation on Software Development Cost and Quality.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Empirical study, software development, software reuse, software components, abstract data types, encapsulation
34	Fagen Li, Masaaki Shirase, Tsuyoshi Takagi	Identity-Based Hybrid Signcryption.	ARES	2009	DBLP DOI BibTeX RDF
34	Asuman Dogac, Mehmet Altinel, Cetin Ozkan, Ilker Durusoy	Implementation Aspects of an Object-Oriented DBMS.	SIGMOD Rec.	1995	DBLP DOI BibTeX RDF
34	Robert W. Bowdidge, William G. Griswold	Automated Support for Encapsulating Abstract Data Types.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF
33	Tony Gorschek, Ewan D. Tempero, Lefteris Angelis	A large-scale empirical study of practitioners' use of object-oriented concepts.	ICSE (1)	2010	DBLP DOI BibTeX RDF	inheritance depth, number of methods, survey, encapsulation
33	Manuel Barbosa, Pooya Farshim	Secure Cryptographic Workflow in the Standard Model.	INDOCRYPT	2006	DBLP DOI BibTeX RDF	Cryptographic Workflow, Key Encapsulation, Secret Sharing, Identity-Based Encryption
33	Donald Gordon, James Noble 0001, Robert Biddle	ConstrainedJava.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	constraints, aliasing, encapsulation
33	Jakob Jonsson, Burton S. Kaliski Jr.	On the Security of RSA Encryption in TLS.	CRYPTO	2002	DBLP DOI BibTeX RDF	key encapsulation, RSA encryption, TLS
33	James Noble 0001, David G. Clarke, John Potter	Object Ownership for Dynamic Alias Protection.	TOOLS (32)	1999	DBLP DOI BibTeX RDF	object-orientation, aliasing, encapsulation, ownership
33	Naftaly H. Minsky	Towards Alias-Free Pointers.	ECOOP	1996	DBLP DOI BibTeX RDF	pointer-induced aliasing, hiding, programming with threads, storage management, encapsulation
33	Bruce A. Cota, Robert G. Sargent	A Modification of the Process Interaction World View.	ACM Trans. Model. Comput. Simul.	1992	DBLP DOI BibTeX RDF	process interaction, process world view, process-oriented simulation, modularity, encapsulation, parallel discrete event simulation, event-driven simulation, discrete event modeling
33	Hans-Dieter Ehrich, Amílcar Sernadas	Algebraic Implementation of Objects over Objects.	REX Workshop	1989	DBLP DOI BibTeX RDF	object morphisms, process morphisms, semantic fundamentals, algebraic implementation, refinement, processes, objects, extension, encapsulation, object-oriented systems, reification
33	Fagen Li, Masaaki Shirase, Tsuyoshi Takagi	Efficient Signcryption Key Encapsulation without Random Oracles.	Inscrypt	2008	DBLP DOI BibTeX RDF	Hybrid signcryption, KEM, tag-KEM, standard model
33	Kung-Kiu Lau, Faris M. Taweel	Data Encapsulation in Software Components.	CBSE	2007	DBLP DOI BibTeX RDF
33	Tatsuaki Okamoto	Authenticated Key Exchange and Key Encapsulation in the Standard Model.	ASIACRYPT	2007	DBLP DOI BibTeX RDF
33	Eike Kiltz	Chosen-Ciphertext Secure Key-Encapsulation Based on Gap Hashed Diffie-Hellman.	Public Key Cryptography	2007	DBLP DOI BibTeX RDF
33	Qiong Huang 0001, Duncan S. Wong	Generic Certificateless Key Encapsulation Mechanism.	ACISP	2007	DBLP DOI BibTeX RDF
33	Raphael C.-W. Phan, Serge Vaudenay	Security-Preserving Asymmetric Protocol Encapsulation.	ICISC	2007	DBLP DOI BibTeX RDF
33	Jan Bredereke	On Feature Orientation and on Requirements Encapsulation Using Families of Requirements.	Objects, Agents, and Features	2003	DBLP DOI BibTeX RDF
33	Marina Biberstein, Joseph Gil, Sara Porat	Sealing, Encapsulation, and Mutability.	ECOOP	2001	DBLP DOI BibTeX RDF
33	Toufik Ahmed, Guillaume Buridant, Ahmed Mehaoua	Encapsulation and Marking of MPEG-4 Video Over IP Differentiated Services.	ISCC	2001	DBLP DOI BibTeX RDF
33	Jun Sawada, Warren A. Hunt Jr.	Hardware Modeling Using Function Encapsulation.	FMCAD	2000	DBLP DOI BibTeX RDF
33	Mengchi Liu	Incorporating Methods and Encapsulation into Deductive Object-Oriented Database Languages.	DEXA	1998	DBLP DOI BibTeX RDF
33	Bobby Krupczak, Kenneth L. Calvert, Mostafa H. Ammar	Protocol Portability through Module Encapsulation.	ICNP	1996	DBLP DOI BibTeX RDF
33	Christian S. Collberg	Distributed High-Level Module Binding for Flexible Encapsulation and Fast Inter-Modular Optimization.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
32	Alfons Kemper, Christoph Kilger, Guido Moerkotte	Function Materialization in Object Bases: Design, Realization, and Evaluation.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	function materialization, performance tuning measures, rematerialization, fine-grained control, data type implementor, classification, query processing, query processing, optimisation, object-oriented databases, database theory, information hiding, operational semantics, object-oriented languages, updates, encapsulation, access methods, indexing methods, GOM, optimization technique, object-oriented data models, relational database systems, object identity, data encapsulation, database programming languages, view materialization, object bases
32	Chooi-Tian Lee, Jack W. Harris	Principle and Technique for Encapsulation of User Control and Data Information in Separate Frames.	LCN	1996	DBLP DOI BibTeX RDF	real-time interactive multimedia services, data/media integration, separate frames, ATM protocol, application communication services, network communication services, user-data information, network-level, FAL protocol, traffic policing, frame adaptation layer protocol, World Wide Web, network protocols, encapsulation, secure communication, traffic shaping, telecommunication services, reliable communication, user control, communication services
31	Randy Kuang, Maria Perepechaenko	Homomorphic polynomial public key encapsulation over two hidden rings for quantum-safe key encapsulation.	Quantum Inf. Process.	2023	DBLP DOI BibTeX RDF
31	Martin Vassor	Graphes de localités : une approche formelle à l'encapsulation et implémentation. (Location graphs : a formal approach to encapsulation and its implementation).		2021	RDF
31	Géraldine Penven	Encapsulation de dispositifs symbiotiques implantables : évaluation de la biocompatibilité et des performances. (Encapsulation of implantable symbiotic devices : evaluation of biocompatibility and performances).		2016	RDF
31	Camille Teruel	Adaptability and Encapsulation in Dynamically-Typed Languages: Taming Reflection and Extension Methods. (Adaptabilité et Encapsulation dans les Langages Dynamiquement Typés: Dompter la Réflexion et les Méthode d'Extension).		2016	RDF
31	Janina Voigt, Warwick Irwin, Neville Churcher	Class Encapsulation and Object Encapsulation - An Empirical Study.	ENASE	2010	DBLP BibTeX RDF
31	Pradosh Mohapatra, Eric C. Rosen	The BGP Encapsulation Subsequent Address Family Identifier (SAFI) and the BGP Tunnel Encapsulation Attribute.	RFC	2009	DBLP DOI BibTeX RDF
31	Godred Fairhurst, Bernhard Collini-Nocker	Extension Formats for Unidirectional Lightweight Encapsulation (ULE) and the Generic Stream Encapsulation (GSE).	RFC	2008	DBLP DOI BibTeX RDF
25	Marco Papaleo, Rosario Firrincieli, Stefano Cioni, Alessandro Vanelli-Coralli, Giovanni Emanuele Corazza, Ho-Jin Lee, Pansoo Kim	Link Layer FEC in DVB-RCS: Performance Evaluation in nLoS Conditions.	VTC Spring	2008	DBLP DOI BibTeX RDF
25	Patrick Eugster	Type-based publish/subscribe: Concepts and experiences.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Java, distribution, Abstraction, generics, reflection, publish/subscribe, type
25	Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer 0002	Infering Ownership Types for Encapsulated Object-Oriented Program Components.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
25	Assia Doudou, Benoît Garbinato, Rachid Guerraoui	Encapsulating Failure Detection: From Crash to Byzantine Failures.	Ada-Europe	2002	DBLP DOI BibTeX RDF
25	Glenn Maughan, Raphael Simon	Mastering the Windows Eiffel Library.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
25	Paolo Tonella	Using the O-A Diagram to Encapsulate Dynamic Memory Access.	ICSM	1998	DBLP DOI BibTeX RDF
25	Peter Wegner	Granularity of modules in object-based concurrent systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
25	Masayuki Abe, Rosario Gennaro, Kaoru Kurosawa	Tag-KEM/DEM: A New Framework for Hybrid Encryption.	J. Cryptol.	2008	DBLP DOI BibTeX RDF	Tag-KEM, Key encapsulation, Threshold encryption, Hybrid encryption
25	Ralph Acker, Christian Roth, Rudolf Bayer	Parallel Query Processing in Databases on Multicore Architectures.	ICA3PP	2008	DBLP DOI BibTeX RDF	relational dbms, intra-operator, inter-operator, scheduling, optimization, encapsulation, parallel query processing
25	Philipp Bouillon, Eric Großkinsky, Friedrich Steimann	Controlling Accessibility in Agile Projects with the Access Modifier Modifier.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	Design, Refactoring, Tool support, Encapsulation, Agile software development
25	Tamar Benaya, Ela Zur	Understanding Object Oriented Programming Concepts in an Advanced Programming Course.	ISSEP	2008	DBLP DOI BibTeX RDF	Object Oriented Programming, Inheritance, Polymorphism, Encapsulation
25	Peter Tabeling, Rasmus Hofmann	A Prototypical Platform for Architecture Oriented Development.	ECBS	2006	DBLP DOI BibTeX RDF	FundamentalModeling Concepts, Software architecture, transactions, inheritance, polymorphism, encapsulation, data consistency, STAGE, FMC
25	Spyridon Triantafyllis, Matthew J. Bridges, Easwaran Raman, Guilherme Ottoni, David I. August	A framework for unrestricted whole-program optimization.	PLDI	2006	DBLP DOI BibTeX RDF	interprocedural optimization, procedure unification, region encapsulation, region formation, whole-program analysis, whole-program optimization, specialization, interprocedural analysis, inlining, path-sensitive analysis, superblock, region-based compilation
25	Neil Ongkingco, Pavel Avgustinov, Julian Tibble, Laurie J. Hendren, Oege de Moor, Ganesh Sittampalam	Adding open modules to AspectJ.	AOSD	2006	DBLP DOI BibTeX RDF	aspect-oriented programming, modularity, encapsulation
25	Yu David Liu, Scott F. Smith 0001	Interaction-based programming with classages.	OOPSLA	2005	DBLP DOI BibTeX RDF	classages, interaction, interface, encapsulation, relationship, confinement
25	Mark A. Holliday	Animation of computer networking concepts.	ACM J. Educ. Resour. Comput.	2003	DBLP DOI BibTeX RDF	Selective Repeat, hypertext transfer protocol., media access, fragmentation, encapsulation, error control, Java applets, Protocol stack, CSMA/CD, name resolution
25	Peter R. King, Jocelyne Nanard, Marc Nanard	Multimedia document engineering in MCF.	ACM Symposium on Document Engineering	2002	DBLP DOI BibTeX RDF	modularity encapsulation, design, multimedia, reuse, abstraction, scenario, role, engineering
25	Anneke Kleppe, Jos Warmer	Making UML Activity Diagrams Object-Oriented.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	UML metamodel, UML semantics, UML, constraints, information hiding, delegation, encapsulation, responsibility, activity diagram, pre- and postconditions, flow diagrams
25	Amir A. Khwaja	Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling.	COMPSAC	1997	DBLP DOI BibTeX RDF	design rule checker, design rule checking systems, electronic design automation tools, semiconductor technology, DRC systems, DRC module, IC package design tool, object oriented modeling technique, abstraction, inheritance, extensibility, object oriented modeling, encapsulation, circuit CAD, dynamic binding, EDA tool
25	Ahmed Mehaoua, Raouf Boutaba, Guy Pujolle	An adaptive and selective cell drop policy with dynamic data partitioning for best effort video over ATM.	LCN	1997	DBLP DOI BibTeX RDF	selective cell drop policy, dynamic data partitioning, best effort video, ATM best effort services, MPEG based video delivery framework, unspecified bit rate, video oriented cell discarding scheme, switch buffer occupancy, video cell payload types, dynamic frame level priority data partition mechanism, MPEG data structure, enhanced ATM Adaptation Layer type 5, slice based MPEG2 encapsulation strategy, video delivery framework, real MPEG video data, asynchronous transfer mode, available bit rate
25	Michael V. Mannino, Injun Choi, Don S. Batory	The Object-Oriented Functional Data Language.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	object-oriented functional data language, interactive strongly typed database programming language, O/sup 2/FDL, equational notation, strong typing, type restrictions, type variables, function interfaces, monotonic subtype rule, function redefinition, extended lambda -calculus, software engineering, software engineering, object oriented programming, object-oriented programming, functional programming, inheritance, operational semantics, object-oriented languages, relational algebra, encapsulation, high level languages, denotational semantics
25	José Luiz Fiadeiro, T. S. E. Maibaum	Describing, Structuring and Implementing Objects.	REX Workshop	1990	DBLP DOI BibTeX RDF	object specification, specification morphism, interpretation between theories, action logic, concurrency, locality, encapsulation, deontic logic
25	Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul N. Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf	Validating The Utility Of Abstraction Techniques.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Abstraction and representation, Verification, Formal specification, Validation, Programming languages, Correctness, Types, Abstract data types, Encapsulation, Programming methodology, Proofs of correctness, Modular decomposition
24	Kung-Kiu Lau, Mario Ornaghi	Control Encapsulation: A Calculus for Exogenous Composition of Software Components.	CBSE	2009	DBLP DOI BibTeX RDF
24	Paulo Moura	From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse.	ICLP	2009	DBLP DOI BibTeX RDF
24	Michel Abdalla, Dario Catalano, Dario Fiore 0001	Verifiable Random Functions from Identity-Based Key Encapsulation.	EUROCRYPT	2009	DBLP DOI BibTeX RDF