Search results for "encapsulation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Daniel Moldt, Frank Wienberg	Multi-Agent-Systems Based on Coloured Petri Nets.	ICATPN	1997	DBLP DOI BibTeX RDF	Distributed Object-Orientation, Multi-Agent-System, Coloured Petri Net, Distributed Artificial Intelligence, Agent-Oriented Programming
8	Vladimír Székely, Andras Pahi, András Poppe, Márta Rencz, Alpar Csendes	SISSSI-A tool for dynamic electro-thermal simulation of analog VLSI cells.	ED&TC	1997	DBLP DOI BibTeX RDF
8	Jiun-Liang Chen, Feng-Jian Wang, Yung-Lin Chen	Slicing Object-Oriented Programs.	APSEC	1997	DBLP DOI BibTeX RDF	software engineering, object oriented, program slicing, dependency graph
8	António Rito Silva	A Quality Design Solution for Object Synchronization.	Euro-Par	1997	DBLP DOI BibTeX RDF
8	Paulo Sérgio Almeida	Balloon Types: Controlling Sharing of State in Data Types.	ECOOP	1997	DBLP DOI BibTeX RDF
8	Mira Mezini	Dynamic Object Evolution without Name Collisions.	ECOOP	1997	DBLP DOI BibTeX RDF
8	John Rosenberg, Michael Kölling	Testing object-oriented programs: making it simple.	SIGCSE	1997	DBLP DOI BibTeX RDF
8	Markus H. Gross, Thomas C. Sprenger, J. Finger	Visualizing Information on a Sphere.	INFOVIS	1997	DBLP DOI BibTeX RDF
8	Yasunori Ishihara, Hiroyuki Seki, Minoru Ito	Type-Consistency Problems for Queries in Object-Oriented Databases.	ICDT	1997	DBLP DOI BibTeX RDF
8	Markus Pizka, Claudia Eckert 0001	A Language-Based Approach to Construct Structured and Efficient.	HICSS (1)	1997	DBLP DOI BibTeX RDF
8	Jos C. M. Baeten, Jan A. Bergstra	Bounded Stacks, Bags and Queues.	CONCUR	1997	DBLP DOI BibTeX RDF
8	Bruno Achauer	Objects in real-time systems: issues for language implementors.	OOPS Messenger	1996	DBLP DOI BibTeX RDF
8	Jerry Chih-Yuan Yang, Giovanni De Micheli, Maurizio Damiani	Scheduling and control generation with environmental constraints based on automata representations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
8	Steve McConnell	Missing in Action: Information Hiding.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
8	Thomas J. McCabe	Cyclomatic Complexity and the Year 2000.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
8	Gregor Kiczales	Beyond the Black Box: Open Implementation.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
8	Jonathan Lee, Lein F. Lai, Wei T. Huang	Task-Based Specifications Through Conceptual Graphs.	IEEE Expert	1996	DBLP DOI BibTeX RDF
8	David W. Oliver	Creating Object Models - Design and Architecture .	ECBS	1996	DBLP DOI BibTeX RDF	System Engineering Process, Automated Search of Solution Space, System design, System architecture
8	George A. Papadopoulos	Concurrent Object-Oriented Programming Techniques in a Term Graph Rewriting Framework.	PDP	1996	DBLP DOI BibTeX RDF	Concurrent Object-Oriented Programming Techniques, Records, Term Graph Rewriting
8	Heung Seok Chae, Yong Rae Kwon	Assessing and Restructuring of Classes Based on Cohesion.	APSEC	1996	DBLP DOI BibTeX RDF
8	Keishi Tajima	Static Detection of Security Flaws in Object-Oriented Databases.	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
8	Barbara Liskov, Atul Adya, Miguel Castro 0001, Mark Day, Sanjay Ghemawat, Robert Gruber, Umesh Maheshwari, Andrew C. Myers, Liuba Shrira	Safe and Efficient Sharing of Persistent Objects in Thor.	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
8	Johan van den Akker, Arno Siebes	DEGAS: Capturing Dynamics in Objects.	CAiSE	1996	DBLP DOI BibTeX RDF
8	William G. Griswold, Morison I. Chen, Robert W. Bowdidge, J. David Morgenthaler	Tool Support for Planning the Restructuring of Data Abstractions in Large Systems.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	C
8	Jay Lepreau, Bryan Ford, Mike Hibler	The persistent relevance of the local operating system to global applications.	ACM SIGOPS European Workshop	1996	DBLP DOI BibTeX RDF
8	Andreas Scherer	Combining Neural Networks with Other Prediction Techniques.	HICSS (2)	1996	DBLP DOI BibTeX RDF
8	Li Li, A. Jefferson Offutt	Algorithmic Analysis of the Impact of Changes to Object-Oriented Software.	ICSM	1996	DBLP DOI BibTeX RDF
8	Elizabeth Burd, Malcolm Munro, Clazien D. Wezeman	Analysing Large COBOL Programs: the extraction of reusable modules.	ICSM	1996	DBLP DOI BibTeX RDF
8	Man-lai Tse, Wing-hang Wong, Ho-fung Leung	Programming with Communicating Nondeterministic Logic Objects.	ISPAN	1996	DBLP DOI BibTeX RDF
8	Michael Oudshoorn, Stephen Crawley	Beyond Ada 95: The Addition of Persistence and Its Consequences.	Ada-Europe	1996	DBLP DOI BibTeX RDF
8	Kasilingam Periyasamy, Ciby Mathew	Paradigm shift in software re-engineering: an experience report.	CASCON	1996	DBLP BibTeX RDF
8	Henry G. Baker	'Use-Once' Variables and Linear Objects - Storage Management, Reflection and Multi-Threading.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	Common Lisp C++ Object-oriented languages
8	Michael Kifer, Georg Lausen, James Wu	Logical Foundations of Object-Oriented and Frame-Based Languages.	J. ACM	1995	DBLP DOI BibTeX RDF	frame-based languages, nonmonotonic inheritance, semantics, object-oriented programming, logic programming, deductive databases, typing, proof theory
8	Jia Liang Han	Program Partition and Logic Program Analysis.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	logic programming, query optimization, program verifications, deductive databases, semantic analysis, Declarative programming, program partitions
8	Flavio Bonfatti, Gianni Gadda, Paola Daniela Monari	Re-usable Software Design for Programmable Logic Controllers.	Workshop on Languages, Compilers, & Tools for Real-Time Systems	1995	DBLP DOI BibTeX RDF
8	Barry Eaglestone	Composition Tools Integration with a Music Database System	DEXA	1995	DBLP DOI BibTeX RDF
8	António Rito Silva, Pedro Manuel Antunes Sousa, José Alves Marques	Development of Distributed Applications with Separation of Concerns.	APSEC	1995	DBLP DOI BibTeX RDF
8	Isambo Karali, Constantin Halatsis	A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics.	TAPSOFT	1995	DBLP DOI BibTeX RDF
8	Martin Hofmann 0001, Benjamin C. Pierce	Positive Subtyping.	POPL	1995	DBLP DOI BibTeX RDF
8	John Plevyak, Xingbin Zhang, Andrew A. Chien	Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages.	POPL	1995	DBLP DOI BibTeX RDF
8	Martin Lang 0003, Matthias Stümpfle, Hartmut Kocher	Building a Hierarchical CAN-Simulator Using an Object-Oriented Environment.	MMB	1995	DBLP DOI BibTeX RDF
8	Patrick Steyaert, Wolfgang De Meuter	A Marriage of Class- and Object-Based inheritance Without Unwanted Children.	ECOOP	1995	DBLP DOI BibTeX RDF
8	Rexford H. Swain	Namespaces: APL/W vs. APL2.	APL	1995	DBLP DOI BibTeX RDF	APL, localization, package, namespace
8	Andrew Dinn, Norman W. Paton, M. Howard Williams, Alvaro A. A. Fernandes, Maria L. Barja	The Implementation of a Deductive Query Language over an OODB.	DOOD	1995	DBLP DOI BibTeX RDF
8	Scott E. Hudson	User interface specification using an enhanced spreadsheet model.	ACM Trans. Graph.	1994	DBLP DOI BibTeX RDF	automatic display update, prototype-instance-based inheritance, semantic feedback, direct manipulation, end-user programming, user interface management systems, interface builders, constraint systems
8	Yves Ledru	Proof-Based Development of Specifications with KIDS/VDM.	FME	1994	DBLP DOI BibTeX RDF
8	Tom Mens, Kim Mens, Patrick Steyaert	OPUS: a Formal Approach to Object-Orientation.	FME	1994	DBLP DOI BibTeX RDF
8	Rosen Sharma, Srinivasan Keshav	Signaling and Operating System Support for Native-Mode ATM Applications.	SIGCOMM	1994	DBLP DOI BibTeX RDF
8	Stephen Martin Guy Freeman, Mark S. Manasse	Adding Digital Video to an Object-Oriented User Interface Toolkit.	ECOOP	1994	DBLP DOI BibTeX RDF
8	Rajiv Tewari, David Gitlin	On object-oriented libraries in the undergraduate curriculum: importance and effectiveness.	SIGCSE	1994	DBLP DOI BibTeX RDF
8	John Launchbury, Simon L. Peyton Jones	Lazy Functional State Threads.	PLDI	1994	DBLP DOI BibTeX RDF
8	Olav Schettler, Susanne Heymann	Towards support for design description languages in EDA framework.	ICCAD	1994	DBLP BibTeX RDF
8	Elisa Bertino, Pierangela Samarati, Sushil Jajodia	High Assurance Discretionary Access Control for Object Bases.	CCS	1993	DBLP DOI BibTeX RDF
8	David D. Langan	EOS: An Object-Oriented Operating System for Embedded Real-Time Applications.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF
8	Hans-Peter Kriegel, Stephan Heep, Andreas Fahldiek, Norbert Mysliwitz	Query Processing of Geometric Objects with Free Form Boundaries in Spatial Datbases.	DEXA	1993	DBLP DOI BibTeX RDF
8	Patrick Steyaert, Wim Codenie, Theo D'Hondt, Koen De Hondt, Carine Lucas, Marc Van Limberghen	Nested Mixin-Methods in Agora.	ECOOP	1993	DBLP DOI BibTeX RDF
8	Kenneth R. Wood	A Practical Approach to Software Engineering Using Z and the Refinement Calculus.	SIGSOFT FSE	1993	DBLP DOI BibTeX RDF	Z
8	Alexei N. Skurikhin, Alvin J. Surkan	Identification of Parallelism in Neural Networks by Simulation with Language J..	APL	1993	DBLP DOI BibTeX RDF	APL
8	Didier Buchs, Nicolas Guelfi	Formal Development of Actor Programs Using Structured Algebraic Petri Nets.	PARLE	1993	DBLP DOI BibTeX RDF	Formal program development, actor languages semantics, algebraic abstract data types, high-level Petri nets, modular specification
8	Jesper Jørgensen II	A Comparison of the Object-Oriented Features of Ada 9X and C++.	Ada-Europe	1993	DBLP DOI BibTeX RDF
8	Dale Miller 0001	A Proposal for Modules in Lambda-Prolog.	ELP	1993	DBLP DOI BibTeX RDF
8	Yves Eychenne, Michel Simatic, Christophe Baradel, Bruno Kohen	Exploiting late binding in object messaging for implementing object replication.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
8	Christopher F. Codella, Reza Jalili, Lawrence Koved, J. Bryan Lewis, Daniel T. Ling, James S. Lipscomb, David A. Rabenhorst, Chu P. Wang, V. Alan Norton, Paula Sweeney, Greg Turk	Interactive simulation in a multi-person virtual world.	CHI	1992	DBLP DOI BibTeX RDF	virtual reality, virtual worlds, user interface management system, interactive simulation, dialog manager
8	Philip S. Santas	SYMO2: Objects and Classes for Symbolic Computation Systems.	DISCO	1992	DBLP DOI BibTeX RDF
8	Dominique Clément, Vincent Prunet, Francis Montagnac	Integrated Software Components: A Paradigm for Control Integration.	Software Development Environments and CASE Technology	1991	DBLP DOI BibTeX RDF
8	Christoph F. Eick	Integrating Variables and Operations into Rule-Based Forward Chaining Systems.	ISMIS	1991	DBLP DOI BibTeX RDF
8	Andrew Davison 0001	From Parlog to Polka in two easy Steps.	PLILP	1991	DBLP DOI BibTeX RDF
8	Christian Neusius	Synchronizing Actions.	ECOOP	1991	DBLP DOI BibTeX RDF
8	Warwick B. Mugridge, John Hamer, John G. Hosking	Multi-Methods in a Statically-Typed Programming Language.	ECOOP	1991	DBLP DOI BibTeX RDF	contravariance, object-oriented, polymorphism, static-typing, multi-methods
8	Roel J. Wieringa	A Formalization of Objects Using Equational Dynamic Logic.	DOOD	1991	DBLP DOI BibTeX RDF
8	Stevan Mrdalj, Asad Khailany	Semantics in Object-Oriented Data Models (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
8	Heidi J. C. Ellis, Steven A. Demurjian, Fred J. Maryanski, George McA. Beshers, Joan Peckham	Extending the Behavioral Capabilities of the Object-Oriented Paradigm with an Active Model of Propagation.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
8	A. Knight, J. May, Jeff McAffer, T. Nguyen, Jörg-Rüdiger Sack	A Computational geometry Workbench.	SCG	1990	DBLP DOI BibTeX RDF
8	Gul Agha	The Structure and Semantics of Actor Languages.	REX Workshop	1990	DBLP DOI BibTeX RDF	Programming Language Theory, Concurrent Programming Structures, Distributed Systems, Concurrency, Object-Oriented Programming, Actors, Multiprocessor Architectures
8	Rakesh Agrawal 0001, Narain H. Gehani, J. Srinivasan	OdeView: The Graphical Interface to Ode.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF	C++
8	Victor Yodaiken	A Logic-Free Method for Modular Composition of Specifications.	ICCI	1990	DBLP DOI BibTeX RDF
8	G. L. Lovegrove, Gary James Curtis, R. A. Farrar	A PC-Based Expert System in Engineering.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
8	Serge Abiteboul, Victor Vianu	A transaction-based approach to relational database specification.	J. ACM	1989	DBLP DOI BibTeX RDF
8	Rakesh Agrawal 0001, Narain H. Gehani	ODE (Object Database and Environment): The Language and the Data Model.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF	C++
8	Lawrence A. Crowl	A uniform object model for parallel programming.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
8	Bernd J. Krämer	Specifying concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
8	François Bancilhon	Object-Oriented Database Systems.	PODS	1988	DBLP DOI BibTeX RDF
8	Daniel R. Edelson	How Objective Mechanisms Facilitate the Development of Large Software Systems in Three Programming Languages.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF
8	Edward L. Bosworth Jr.	The adaptability of Ada as a language for expert systems (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Ada
8	Jin Ho Hur, Kilnam Chon	Overview of a Parallel Object-Oriented Language CLIX.	ECOOP	1987	DBLP DOI BibTeX RDF
8	Edwin H. Blake, Steve Cook	On Including Part Hierarchies in Object-Oriented Languages with an Implementation in Smalltalk.	ECOOP	1987	DBLP DOI BibTeX RDF
8	Jos C. M. Baeten, Rob J. van Glabbeek	Merge and Termination in Process Algebra.	FSTTCS	1987	DBLP DOI BibTeX RDF
8	P. A. Subrahmanyam	LCS - A Leaf Cell Synthesizer Employing Formal Deduction Techniques.	DAC	1987	DBLP DOI BibTeX RDF
8	Ron Cytron, Andy Lowry, F. Kenneth Zadeck	Code Motion of Control Structures in High-Level Languages.	POPL	1986	DBLP DOI BibTeX RDF
8	William T. Overman, Stephen D. Crocker, Vittal Kini	A multiprocessor description language.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
8	Burt M. Leavenworth	A Data Abstraction Approach to Database Modelling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF