yusuke1997/dblp-id-title huggingface dataset:
An Event-Based Framework for Converged Service Provisioning
Object-Oriented Requirements Analysis and Logical Design
Developing an E-Commerce Application by Using Content Component Model
Method Unification: UML and OML
TOOLS Asia 2000: 36th International Conference on Technology of Object-Oriented Languages and Systems, Xi'an, China, 30 October - 4 November 2000
An Experimental Translation from Flavors to CLOS
T++: A Test Case Generator Using a Debugging Information Based Technique for Source Code Manipulation
Comprehensive Object-Oriented Business Process Modeling
From UML to IDL: A Case Study
A Layered-Modelling Tool for the Integration of Computer Applications
Objects, Models, Components, Patterns, 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010. Proceedings
Proceedings of the 3rd Workshop on Transforming and Weaving Ontologies in Model Driven Engineering, TWOMDE@TOOLS 2010, Málaga, Spain, June 30, 2010
Analysis by Contract: UML with Attitude!
Object-Oriented Modeling Techniques
Write-ing Applications: Design of an Extensible Text Editor as an Application Framework
Systems Evolution and Software Reuse in Object-Oriented Programming and Aspect-Oriented Programming
Introduction to the OPEN Method with UML
The Object-Oriented Components of the Enterprise Parallel Programming Environment
Intermediate Eiffel
Applying Face Recognition in Video Surveillance Security Systems
Inter-Server Transport Performance of Java Bytecode in a Metacomputing Environment
Reasoning about Function Objects
Scalable Visualisations with Ownership Trees
Workshop: Java/CORBA Integration Issues
An O-O Case History: Large System Design Using C++
An O-O Approach Toward Semantic Interpretation of Indian Languages
Three-Dimensional Object-Oriented Model
O2BC: A Technique for the Design of Component-Based Applications
Object Technology: W(h)ither the Future?
C/O: A Tool Reusing OO Design for Temporal Constraints Satisfaction Problems
Modeling Web Application Architecture with UML
TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, September 1997, Beijing, China
Teaching OOP: The Middle Phase
Mastering the Windows Eiffel Library
Coupling Multiagent Systems and Environmental Data
Object-Oriented Concepts for Modular Robotics Systems
Invited Paper: OSF Motif: An Object-Oriented Toolkit
Evolution of a Small Object Oriented Manufacturing System
Directed Graph Based Association Algebra for Object-Oriented Databases
On Unifying Relational and Object-Oriented Database Systems
Component Reassembling and State Transfer in MaDcAr-Based Self-adaptive Software
A Concurrent Object-Based Model and its Use for Coordinating Java Components
UMLAUT: A Framework for Weaving UML-Based Aspect-Oriented Designs
From Interface to Persistence: A Framework for Business Oriented Applications
The Potential For Reverse Type Inheritance in Eiffel
POD: A Composition Environment for Pattern-Oriented Design
ADM4: an Object-Oriented Development Method for Large, Complex Real Time Systems
O-O Requirements Analysis and Logical Design
Using Object-Orientation in Real-Time Applications: An Experience Report or (1 Application + 5 Approaches = 1 Comparison)
Design and Implementation of CORBA-Based Subscription Server
Modeling Interface Definition Language Extensions
Pickling Threads State in the Java System
Assessing Job Satisfaction of Software Engineers Using GQM Approach
Class Design: Advanced Encapsulation Techniques
An Understandable and Configurable Domain-Specific Framework for Industrial Automation Applications
Collection Types and Implementations in Object-Oriented Software Libraries
Interface Mutation to Assess the Adequacy of Tests for Components and Systems
Dependable Multiparty Interactions: A Case Study
Automating the Development of Syntax Tree Generators for an Evolving Language
An Extensible Communication Class Library for Hybrid Distributed Systems
Interobject Communication Mechanisms
Frameworks: A Programmer's View of Developing Reusable Software
Experiences with Object Oriented Software Development
AutoPilot: Experiences Implementing a Distributed Data-Driven Agent Architecture
Extending Object-Z for Specifying Real-Time Systems
Automating Delegation in Class-Based Languages
Flow-Centric, Back-in-Time Debugging
System Integration with Minimal Object Wrappers
A Diagrammatic Formalisation of MOF-Based Modelling Languages
CORBA and DCOM: Architectures for Distributed Computing
A Class Normalization Approach to the Design of O-O Databases
Object Oriented Restructuring of the General Purpose Operating System BS2000
Features of UML Tools
OSNET - A Language for Domain Modeling
Measuring Test Case Similarity to Support Test Suite Understanding
A "Framework" for Object Oriented Frameworks Design
PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy
Core Modelling Concepts in Object-Oriented Conceptual Modelling (full paper)
An Object-Oriented Design Methodology for Distributed Services
Dynamic Reuse of Services in Distributed Systems
An Object-Oriented Application Framework for the Development of Real-Time Systems
A Change Notification Framework Based on Agent for Information System
A Heuristic Approach for Computing Effects
Deriving Scenarios Of Object Interaction Through Petri Net
Towards the Formalization of Relationships for Object Modeling
OO Language Comparison: Java, Eiffel and C++
TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing
An Intelligent Tutoring System Tool Combining Machine Learning and Gamification in Education
Complete Object-Oriented Z and Its Supporting Environment COOZ-Tools
Metrics for Object-Oriented Development
Using C++ Templates for Implementation of Patterns
Unleashing the Power of Distributed Enterprise Information Systems
Making the Transition to Component-Based Enterprise Software Development Overcoming the Obstacles - Patterns for Success
Analysis, Design and Implementation of Distributed Java Business Frameworks Using Domain Patterns
A Strategy for Persistent Object Service under CORBA and WEB Environment
A Component-Based Model of Web-Enabled Applications
Object-Oriented Requirements: Reusable, Understandable, Verifiable
EriLex: An Embedded Domain Specific Language Generator
Improving a software development environment using object-oriented technology
Lifted Java: A Minimal Calculus for Translation Polymorphism
A Practical Approach to Class Library Management Using a Relational DBMS
System Design: Architectures and Archetypes
Programming Models for Concurrency and Real-Time
Performance Tuning Mobile Agent Workflow Applications
From UML Profiles to EMF Profiles and Beyond
Requirements-Based UML
Weak Subtyping and Genericity
CIF: A Framework for Managing Integrity in Aspect-Oriented Composition
Automatic Generation of Integrated Formal Models Corresponding to UML System Models
C++ Adequacy for Software Engineering Concepts
A Methodology for Transforming an Object-Oriented Data Model to a Relational Database
Towards an Anatomy of Software Requirements
Concurrent Object-Oriented Programming
Teaching Object-Oriented Techniques
Architecture = Abstractions over Software
Object Life-Cycles in Active Relational Databases
A Comparison of Object-Oriented Analysis and Design Methods
MysterX: A Scheme Toolkit for Building Interactive Applications with COM
Good Software under Bad Conditions
A Practical Notation for Object Oriented Analysis with a Formal Meaning
Incremental Dynamic Updates with First-Class Contexts
Quality Component Development: Making the Most of JavaBeans and Enterprise JavaBeans Features
Visual Component Composition Using Composition Patterns
Coherent Enterprise Modeling
Review of Object-Oriented Languages
TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia
Proof Strategy for Automated Sisal Program Verification
A Feasibility Study on the Validation of Domain Specific Languages Using OWL 2 Reasoners
Framework-Based Software Reuse for Interactive Seismic Processing Applications
Testing Inheritance Hierarchies in the ClassBench Framework
Associated Paper: Reusable Libraries
Efficient Method Lookup Customization for Smalltalk
Agent-Based and Software Composite DDSS
Measures for Object-Event Interactions
Component-Based Design: A Complete Worked Example
Reading Large Volumes of Java Objects from Database
Objects in Distributed Systems
Preferred Tools for Agile Development: A Sociocultural Perspective
Insecurities in Smalltalk Programming
Behind the Beans
Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs
Towards an Object-Oriented Technology for Specification and Implementation of Distributed Systems
Compile Time Recursive Objects in C++
Concurrency in Object-Oriented Systems
An Experience of Using FDOOA Method to Develop a Telecommunications Network Management System
Using Grammarware Languages to Define Operational Semantics of Modelled Languages
The Object Support via FIFO-Links on Message-Passing Systems
Emulating Design by Contract in C++
The Research of Distributive Object Programming Environment
INGRID - an Object-Oriented Interface Builder
Manifolds: Cellular Component Organizations
A Catalogue of General-Purpose Software Design Patterns
Automatic Generation of Fault-Tolerant CORBA-Services
A Classification Framework for Pointcut Languages in Runtime Monitoring
CORBA on WWW: Evaluative Framework for Interoperability Issues
Can We Make Componentware Succeed?
Class Algebra for Ontology Reasoning
Modeling Enterprise Dependency Networks Using an Object Oriented Paradigm
Developing Scientific Software with Eiffel
Keynote: Software Development Trends and the Importance of the Workgroup
Growing Use of Assertions
A Case Study of Framework Design for Horizontal Reuse
Two or Three Things I Have Learnt about Repositories
Virtual Laboratory-Agent-Based Resource Sharing System
Assisted Behavior Driven Development Using Natural Language Processing
Component Frameworks
Rule-Based Object-Oriented Programming
Requirements Engineering: Use Cases Are from Mars, Generative Languages are from Venus
Software Development and Customer Satisfaction: A Systematic Literature Review
A Case Study in Object Oriented Programming: Algebraic Structures in Eiffel
MAC: A Component Reuse Architecture Based on Multi-Agent Adapter
Applying Design Patterns
New Microsoft Component Technologies
Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario
Where Did Mally Go Wrong?
Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations
An Andersonian-Kangerian Reduction of Term-Modal Deontic Logics
Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
Automatic Verification of Deontic Properties of Multi-agent Systems
A Structured Argumentation Framework for Detaching Conditional Obligations
A Deontic Action Logic with Sequential Composition of Actions
Disambiguating Permissions: A Contribution from Mimamsa
Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
Towards a Computational Treatment of Deontic Defeasibility
Designing a Deontic Logic of Deadlines
What Should I Do and Why?
Relevance, Derogation and Permission
How to Combine Ordering and Minimizing in a Deontic Logic Based on Preferences
Interpretive Normative Systems
Norms, Action and Agency in Multi-agent Systems
S5 as a Deontic Logic
Reactive Kripke Models and Contrary to Duty Obligations
Strong Permission Bundled: First Steps
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms
Prioritized Norms and Defaults in Formal Argumentation
Quasi-matrix Deontic Logic
A Deontic Logic for Reasoning about Confidentiality
Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic
Proof Theory for Admissibility in Two-Player (Deontic) Games
Denial of Responsibility and Normative Negation
Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021
An Andersonian Deontic Logic with Contextualized Sanctions
Detecting Deontic Conflicts in Dynamic Settings
Inconsistent Precedents and Deontic Logic
Must I Do What I Ought? (Or Will the Least I Can Do Do?)
A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies
Deontic Reasoning Across Contexts
On the Normative Aspect of Signalling Conventions
Contraction of Combined Normative Sets
Agreements as Norms
Ought to Do Based on Action and Belief
Reconsidering the Formalisation of Backward Looking Responsibility
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario
Conflicting Obligations in Multi-agent Deontic Logic
Norms and Learning in Probabilistic Logic-Based Agents
Combinations of Tense and Deontic Modality
A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation
Two Semantic Approaches For Non-Dilemmatic Situations
Discussion Paper: Changing Norms Is Changing Obligation Change
From Norm Adoption to Norm Internalization
Rational Monotony in Input/Output Logic
You Must! Maybe You Won't
An Embedding of Input-Output Logic in Deontic Logic Programs
Cumulative aggregation
A Contrastive Semantics for Iffy Oughts
On Obligations and Abilities
Combining Constitutive and Regulative Norms in Input/Output Logic
Causality in the Context of Multiple Agents
The Manchester Twins: Conflicts Between Directed Obligations
Defeasible Reasoning with Legal Rules
Knowledge and Subjective Oughts in STIT Logic
Is Free Choice Permission Admissible in Classical Deontic Logic?
Obligations and Prohibitions in Talmudic Deontic Logic
Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms
The Original Position: A Logical Analysis
A Defeasible Deontic Logic for Pragmatic Oddity
A Tableaux System for Deontic Action Logic
Characterising Responsibility in Organisational Structures: The Problem of Many Hands
Defeasible Logic: Agency, Intention and Obligation
A Look at Chisholm's Ethics of Requirement
Privacy Policies with Modal Logic: The Dynamic Turn
Roles, Counts-as and Deontic and Action Logics
Delta: The Social Delegation Cycle
Intermediate Concepts in Normative Systems
Forms and Norms of Indecision in Argumentation Theory
Strata of Intervenient Concepts in Normative Systems
Numeric Default Logic as a Framework for Ethical AI
Analytic Proof Theory for Åqvist's System F
Proof Analysis in Deontic Logics
On Normative-Informational Positions
Deontic Logic and Normative Systems - 17th International Conference, DEON 2025, Vienna, Austria, July 1-3, 2025
Connecting Free-Choice Permission with Obligation and Prohibition by Not Doing It
Beyond Reasons and Obligations: A Dual-Role Approach to Reasons and Supererogation
Indirect Action, Influence and Responsibility
Delegation of Power in Normative Multiagent Systems
Introducing Grades in Deontic Logics
The Varieties of Ought-Implies-Can and Deontic STIT Logic
Deontic Logic, Agency and Normative Systems, DEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996
Addressing Moral Problems Through Practical Reasoning
Obligation Change in Dependence Logic and Situation Calculus
Deontic Logic as a Study of Conditions of Rationality in Norm-related Activities
The Gentle Murder Paradox in Sanskrit Philosophy
Deontic Logic and Normative Systems - 16th International Conference, DEON 2023, Trois-Rivières, QC, Canada, July 5-7, 2023
Towards a Logical Analysis of the Judgment on Facts
deolingo: Extending Answer Set Programming with Deontic Reasoning
Goal-Directed Decision Procedures for Input/Output Logics
Deontic Diversity
Chisholm's Paradox and Conditional Oughts
Allowed, or Enabled, That is the Question
Trust and Norms in the Context of Computer Security: A Logical Formalization
A Formalization of Kant's Second Formulation of the Categorical Imperative
Conditional Normative Reasoning with Substructural Logics
Rights and Practical Reasoning in Deontic Logic
How Deontic Logic Ought to Be: Towards a Many-Sorted Framework for Normative Reasoning
A Dyadic Deontic Logic in HOL
Ability and Responsibility in General Action Logic
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
On the Strong Completeness of Åqvist's Dyadic Deontic Logic G
Deontic Logic in a Hierarchical Framework
A Deontic Logic for Socially Optimal Norms
Deontically Constrained Policy Improvement in Reinforcement Learning Agents
'Must', 'Ought' and the Structure of Standards
Normative Consequence: The Problem of Keeping It Whilst Giving It up
Reasoning about Conditions in STIT Logic
A Reduction in Violation Logic
A Dyadic Operator for the Gradation of Desirability
Navigating Permission and Exceptions: A First-Order Perspective
Moral Particularism and Deontic Logic
An Exact Truthmaker Semantics for Permission and Obligation
Quantified Deontic STIT Logic
Emotion Models for Situated Normative Systems?
Normative Properties of Sequential Actions
A Deontic Logic of Actions and States
Basic Action Deontic Logic
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
Norm Avoidance and Reinforcement Learning: Definitions and Analysis
Reasons and the Logic of Obligation
If You Want to Smoke, Don't Buy Cigarettes: Near-Anankastics, Contexts, and Hyper Modality
Trivalent Semantics for Conditional Obligations
Coarse Deontic Logic (short version)
Deontic Explanations in Åqvist's Systems
Deontic Logic and Normative Systems - 13th International Conference, DEON 2016, Bayreuth, Germany, July 18-21, 2018
A Preference-Based Semantics for CTD Reasoning
Autonomous Decisions and Rational Choice: How to Model Epistemic Rationality?
"Sing and Dance!" - Input/Output Logics without Weakening
Acting with an End in Sight
Acting, Events and Actions
Conceptual and Logical Analysis of the Right to Know
Resolving Conflicting Obligations in M={I}M={A}S={A}: a Sequent-based Approach
Deontic Logic and Normative Systems - 14th International Conference, DEON 2018, Utrecht, The Netherlands, July 3-6, 2018
Reason-Based Detachment
Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems
Deontic Action Logics via Algebra
From the Fundamental Legal Conceptions of Hohfeld to Legal Relations: Refining the Enrichment of Solely Deontic Legal Relations
All-Things-Considered Ought via Reasons in Justification Logic
Retroactive Legal Changes and Revision Theory in Defeasible Logic
I/O Logics with a Consistency Check
Rights in Default Logic
Deontic Logic Based on Inquisitive Semantics
Is Moral Particularism a Problem for Rule-Based Artificial Normative Systems?
Epistemic Oughts in STIT Semantics (Abbreviated Version)
Ingmar Pörn - In Memoriam
Logical Inference and Its Dynamics
Integrating Action Choices and Well-Founded Semantics for Deontic Planning
A State/Event Temporal Deontic Logic
Perspectival Obligation and Extensionality in an Alethic-Deontic Setting
Counts-as: Classification or Constitution? An Answer Using Modal Logic
Argumentation Frameworks with Justified Attacks
Deontic Logic and Normative Systems - 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Input/Output Logic via Neighborhood Semantics
Sequence Semantics for Norms and Obligations
Conflicting Imperatives and Dyadic Deontic Logic
Axiomatizing Norms Across Time and the 'Paradox of the Court'
Using Simple Deontic Constraints for Fast Norm-Conforming Reinforcement Learning
Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents
A Logic for Reasoning about Group Norms
A Logical Model of Private International Law
Propositional Quantifiers in Deontic Logic
Collective Obligations and Agents: Who Gets the Blame?
Obligation, Contracts, and Negotiation
Rule rather than Exception: Defeasible Probabilistic Dyadic Deontic Logic
Doing as We Ought: Towards a Logic of Simply Dischargeable Obligations
Proof Systems for the Logics of Bringing-It-About
Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin
Information Security Economics - and Beyond
The Logic of Normative Systems
Bridging AI Risk Assessment and Rights Promotion and Protection: A Semantic Model
Value-Based Argumentation for Justifying Compliance
Getting Personal: Some Notes on the Relationship Between Personal and Impersonal Obligation
Social Laws in Alternating Time
Possible World Semantics for Defeasible Deontic Logic
Speech Acts with Institutional Effects in Agent Societies
A Proposal for Dealing with Deontic Dilemmas
From Act Obligations to Knowledge Obligations
On Floating Conclusions
Toward a Principle-Based Analysis of Dual-Scale Detachment
Reasoning With and About Normative Conflicts
Don't Ever Do That! Long-Term Duties in PD e L
A Dynamic Logic of the Right to Know
A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'
Norms in Branching Space-Times
The Logical Structure of Scanlon's Contractualism
Pushing Anderson's Envelope: The Modal Logic of Ascription
Combining Agency and Obligation (Preliminary Version)
Visualizing Normative Systems: An Abstract Approach
Variations in Access Control Logic
A Truthmaker Semantics for Reason-Based Conditionals
Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
Avoiding Deontic Explosion by Contextually Restricting Aggregation
When Judges Go Wrong: Modeling Discretion and the Duty of Care
Towards a Formal Ethics for Autonomous Cars
Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
Specifying Multiagent Organizations
The Logic of Obligation as Weakest Permission - (Short Version)
Sequences, Obligations, and the Contrary-to-Duty Paradox
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
To Do Something Else
Axioms for Obligation and Robustness with Temporal Logic
Deontics = Betterness + Priority
Maintaining Obligations on Stative Expressions in a Deontic Action Logic
Input/Output Logic With a Consistency Check - the Case of Permission
Impossible and Conflicting Obligations in Justification Logic
The Deontic Component of Action Language nC+
Delegation in a Role-Based Organization
A Logical Analysis of Commitment Dynamics
Extending Recent Modifications of the DWE Framework
The Roles of Authority and Norm-Addressees in Deontic Puzzles
Moral Principles: Hedged, Contributory, Mixed
How to Take Heroin (if at all). Holistic Detachment in Deontic Logic
Casuistical Reasoning in Bioethics as an Argumentation-Based Dialogue Game
Multivalued Logics for Conflicting Norms
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
Dialogues on Moral Theories
A Logical Architecture of a Normative System
Open Reading without Free Choice
Reasons Against, Balancing, and Defeasible Logic
Normative Implications
Reason-Based Deontic Logic
Deontic Argumentation
Prioritized Defaults and Formal Argumentation
Arguments, Responsibilities and Moral Dilemmas in Abductive Default Logic
For a Dynamic Semantics of Necessity Deontic Modals
A Logical Analysis of Freedom of Thought
Extensions and Variations of the DWE Framework
Need to Know: Questions and the Paradox of Epistemic Obligation
Factoring Disjunction Out of Deontic Modal Puzzles
Formalizing flint: A Logic of Preconditions and Consequences of Actions
Deontic Redundancy: A Fundamental Challenge for Deontic Logic
Introducing Exclusion Logic as a Deontic Logic
Self-governance by Transfiguration: From Learning to Prescriptions
Modal Logic for Agent-Based Legal Classifications
Update Semantics for Weak Necessity Modals
Norms and Electronic Institutions
A Complete and Decidable Axiomatisation for Deontic Interpreted Systems
Reasons to Believe in a Social Environment
Term-Sequence-Dyadic Deontic Logic
On the Logical Foundations of Moral Agency