yusuke1997/dblp-id-title huggingface dataset:
Method Inlining, Dynamic Class Loading, and Type Soundness
A Parameterized Type System for Simple Loose Ownership Domains
On principles of Least Change and Least Surprise for bidirectional transformations
Converting a C#/.NET Desktop Application to an ASP.NET 2005 Web Application
A Method for Template-based Architecture Modeling and its Application to Digital Twins
Pay me now or pay me more later
Monitoring Cloud Services through Models at Runtime: A Case in an Ambient Assisted Living Environment
On the Contribution of UML Diagrams to Software System Comprehension
Resource Bundling for Distributed Computing
Experience Integrating a New Compiler and a New Garbage Collector Into Rotor
ICMT 2011 Special Section
Reflection as the Basis for Developing a Dynamic SoC Persistence System
Design principles for highly reusable concurrent object-oriented systems
Farewell editorial
Best Books of the Year
Enhancing NetBeans with Transparent Fault Tolerance Using Meta-Level Architecture
Enabling Application Agility - Software as A Service, Cloud Computing and Dynamic Languages
The JOT Journal: Towards a Rising Generation
A Specification Language for Consistent Model Generation based on Partial Models
Quality Requirements Checklist
Dynamic Languages Symposium (DLS)
Agents and Complex Systems
Type Access Analysis: Towards Informed Interface Design
On Implementing Open World Semantic Differencing for Class Diagrams
Asynchronous RMI for CentiJ
Data Mining Historic Stock Quotes in Java
Between Order and Chaos
Association Implementation
Review of MagicDraw UML® 11.5 Professional Edition
Objects and Agents Compared
Architectural Quality in Development Processes: A Case Study
Revisiting Class Cohesion: An empirical investigation on several systems
Computational Abstraction Steps
Variability Exploration for Decision Making: Supporting Domain Experts in Configuring Business Processes
Online Model-Based Testing Reusing Multiple Design Models in an Industrial Setting
A Taxonomy of OO Classes to Support the Mapping of Testing Techniques to a Class
Extension of Object-Oriented Software Testing Techniques to Agent Oriented Software Testing
Virtual Separation of Concerns - A Second Chance for Preprocessors
Adding Dynamic Interfaces to Smalltalk
European Research Project Symposium at ECOOP 2011
Static Verification of Code Access Security Policy Compliance of .NET Applications
Next Generation Context-oriented Programming: Embracing Dynamic Generation of Adaptations
Professional Developers Practice their Kata to Stay Sharp
The Start of an Eiffel Standard
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning
Design by Contract: analysis of hidden dependencies in component based application
Symmetric delta lenses and spans of asymmetric delta lenses
Programming the World in a Browser Real Men Don't Do JavaScript Do They?!
Model-based Characterization of fine-grained Access Control Authorization for SQL Queries
The Initium RJS Screensaver: Part 1, MS Windows
C# and Java: The Smart Distinctions
A Metamodel Independent Approach to Difference Representation
Developing Comprehensive Postconditions Through a Model Transformation Chain
Toward Engineered, Useful Use Cases
On Addressing the Computer Science Crisis
How AspectJ is Used: An Analysis of Eleven AspectJ Programs
Converting Relational Databases into Object-relational Databases
Fixing Apples' Broken Clipboard, with Java
UML Specification and Relational Database
Support for Object Oriented Transactions in Timor
Cloud Computing - Benefits and Challenges!
SOA 2006: State Of The Art
Investigating effect of Design Metrics on Fault Proneness in Object-Oriented Systems
Multi-Model Evolution through Model Repair
Adapting TDL to Provide Testing Support for Executable DSLs
Distance Education: The Status and Challenges
Bridging the Gap between SysML and OPC UA Information Models for Industry 4.0
Testing Polymorphic Behavior
What is Common Between Generic Services and Interface Navigation?
The Theory of Classification, Part 4: Object Types and Subtyping
Continuous Deployment of Trustworthy Smart IoT Systems
From The Business Motivation Model (BMM) To Service Oriented Architecture (SOA)
Toward a Lingua Franca for Memory Safety
SPath: an extensible query-language for Scala
From Imprecise N-Way Model Matching to Precise N-Way Model Merging
"The IT Career Builder's Toolkit", by Matthew Moran
An Overview of Feature-Oriented Software Development
On Metadata Management Technology: Status and Issues
Framework Evolution Tool
Are Your Requirements Complete?
Modeling a Grid of Traffic Lights -A Case Study Using WinForms, Event Handling and Observer Pattern
On Differencing Object-Oriented Formal Specifications
Incremental Lock Selection for Composite Objects
Changing Roles: Dynamic Role Assignment
Addressing the trade off between smells and quality when refactoring class diagrams
The Theory of Classification, Part 5: Axioms, Assertions and Subtyping
A Novel Real Time Scheduling Frame-work for CORBA-Based Applications
Inferring design patterns using the ReP graph
Using Active Objects for Structuring Service Oriented Architectures. Anthropomorphic Programming with Actors
Modern Requirements Specification
EMF Profiles: A Lightweight Extension Approach for EMF Models
Concurrent Object-Oriented Programming: The MP-Eiffel Approach
User Modeling in Model-Driven Engineering: A Systematic Literature Review
A Formal Description Of A Type Checking Algorithm
Integrating BON and Object-Z
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests
Extending the Object-Capability Model with Fine-Grained Type-Based Capabilities
Evolution of Bad Smells in LabVIEW Graphical Models
On Developing and Validating Dynamic Systems: Simulation Engineering
Knowledge Management: A Careful Look
The Initium RJS Screensaver: Part 4, Automatic Deployment
Safe and Flexible Objects with Subtyping
A Matching Approach for Object-Oriented Formal Specifications
SOA and the Clash of Technocultures Classes versus Infosets versus Business Process
Professional Development
Mercury: Properties and Design of a Remote Debugging Solution using Reflection
Identification of System Software Components Using Clustering Approach
Oh, What a Tangled Web We Weave!
A Container-Based Approach to Object-Oriented Product Lines
Java Optimization for Superscalar and Vector Architectures
Modeling Traceability of Concerns for Synchronizing Architectural Views
Facts and Fallacies of Software Engineering, by Robert L. Glass
UML 2 Activity and Action Models Part 6: Structured Activities
Notes on a Practical Guide and Thoughts on Software Development - Review of "A Practical Guide to Extreme Programming" by David Astels, Granville Miller and Miroslav Novak
Modeling Variability of Hierarchical Component-Based Systems
UML 2.0 Notation for Modeling Real Time Task Scheduling
Model-Driven Engineering for Complex Event Processing: A Survey
A Satisficing Bi-Directional Model Transformation Engine using Mixed Integer Linear Programming
The Practice of 'Architecting' Cloud Solutions
Remote Configuration of Agent-Based Component Systems
On Query-Processing Issues for Non-Navigational Queries for XML
The Application of Design Patterns to Develop Games for Mobile Devices using Java 2 Micro Edition
A Novel Approach to Generate Test Cases from UML Activity Diagrams
Modular Verification of Linked Lists with Views via Separation Logic
Some Examples of Generics in Java 1.5
A Modern, Compact Implementation of the Parameterized Factory Design Pattern
On Reusability and Interoperability for Distance Learning
Global and Local Virtual Functions in C++
Analysis and Transformation of Behavioral Models Containing Overlapped Patterns
BPMN Profile for Operational Requirements
A BDI Agent-Based Software Process
Specifying Use Case Interaction: Types of Alternative Courses
Ontology Modeling and MDA
An Empirical Study on Leveraging LLMs for Metamodels and Code Co-evolution
The Best Practice Promise and Myth
"Writer's Workshop & The Work of Making Things: Patterns, Poetry" by Richard P. Gabriel
2-Term Charters
Darwin's World Simulation in C#: An Interpreter
ClassSheets - model-based, object-oriented design of spreadsheet applications
Assembling Scenario Patterns for Checking Model Behavior
Towards a theory and calculus of aliasing
Engineering Security Requirements
A model-based framework for IoT systems in wastewater treatment plants
The JBoss Integration Plug-in for IntelliJ IDEA, Part 2
CIL + Metadata > Executable Program
Source-Code Level Regression Test Selection: the Model-Driven Way
The Theory of Classification, Part 16: Rules of Extension and the Typing of Inheritance
The Theory of Classification, Part 10: Method Combination and Super-Reference
Identifying Variations in Mobile Devices
On US Homeland Security, Data Mining and Civil Liberties
Predicate Collection Classes
CM - Configuration Change Management
Detecting Performance Antipatterns in Component Based Enterprise Systems
Qualifying Types with Bracket Methods in Timor
UML 2 Activity and Action Models
Benchmarks and performance metrics for assessing the migration to microservice-based architectures
Understanding Symmetry in Object-Oriented Languages
A Meta-Model for Textual Use Case Description
On UML2.0's Abandonment of the Actors-Call-Use-Cases Conjecture
Panda: a Pattern-based Programming System for Automatic Code Generation
Formal Model and DSL for Separation of Concerns based on Views
Special Section on the 18th Ibero-American Conference on Software Engineering (CIBSE'15)
Better Construction with Factories
Early Safety Analysis: from Use Cases to Component-based Software Development
A Formal Type System for Java
On the difference between analysis and design, and why it is relevant for the interpretation of models in Model Driven Engineering
Testing with Axioms in C++ 2011
The Discrete Fourier Transform, Part 2: Radix 2 FFT
Reasoning with specifications containing method calls and model fields
The Discrete Fourier Transform, Part 4: Spectral Leakage
Formal and Tool Support for Model Driven Engineering with Maude
A Component Model for Integrating Remote Applications and Services via Web Portals
On Having Search Engines Deliver Hierarchies of Web Pages
Extending Scala with Database Query Capability
The Discrete Fourier Transform, Part 1
The Theory of Classification, Part 13: Template Classes and Genericity
REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting
Automatic Generation of Configuration Files: an Experience Report from the Railway Domain
The 15th European Conference on Modelling Foundations and Applications (ECMFA)
Towards a Semantically Useful Definition of Conformance with a Reference Model
Alternative Implementation of the C# Iterator Blocks
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
A Cohesion Measure for Aspects
Support for Design by ContractTM in the C TM Programming Language
The Five-Step Program To Cloud!
On Softening OCL Invariants
Modularizing constructors
Integration of Independently Developed Components through Aliased Multi-Object Type Widening
Perfect Software and other illusions about testing
Foundational MDA Patterns for Service-Oriented Computing
An Object Model for Sensor Data Integration
First Impressions of Reno and OOPSLA/SPLASH
Extreme Modelling (XM) 2012 Special Section
Securing Java with Local Policies
Using Quality Models to Engineer Quality Requirements
The Theory of Classification, Part 7: A Class is a Type Family
The Rationale for OO Associations in Use Case Modelling
Common Requirements Problems, Their Negative Consequences, and the Industry Best Practices to Help Solve Them
Matching Objects Without Language Extension
Planning before plans
Application of a Revised DIT Metric to Redesign an OO Design
Popularity will NOT bring more contributions to your OSS project
Using Reflection to Reduce the Size of .NET Executables
Introduction to the Special Issue on the 0th New Object-Oriented Languages (NOOL) Workshop in 2015
Generating Maude Specifications From UML Use Case Diagrams
Debugging UML Designs with Model Checking
.NET Remoting and Web Services: A Lightweight Bridge between the .NET By
Comparison of EAI Frameworks
A Semantic Definition of Separate Type Checking in C++ with Concepts
The Chamois Reconfigurable Data-Mining Architecture
Toward Better Logical Models in UML
Special Section on Formal Techniques for Java-like Programs
A Common Criteria Based Approach for COTS Component Selection
TOOLS Europe 2011 Special Section
What do Users Expect of Bidirectional Transformations?
Executing Multilevel Domain-Specific Models in Maude
From Objects to Services: A Journey in Search of Component Reuse Nirvana
Integrating the Support for Machine Learning of Inter-Model Relations in Model Views
Creating Reusable Software Component from Object-Oriented Legacy System through Reverse Engineering
System Based Interference Analysis in Capella
An Increase In Value
An Empirical Study of the Code Pitching Mechanism in the .NET Framework
Support for Language Independent Browsing of Aggregate Values by Debugger Backends
The Theory of Classification Part 15: Mixins and the Superclass Interface
Specifying Good Requirements
Online Upgrade of Object-Oriented Middleware
First-Class Connectors to Support Systematic Construction of Hierarchical Software Architecture
"Testing Extreme Programming", by Lisa Crispin and Tip House (Review)
Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods
Mining Edgar Tender Offers
Modeling and Analyzing Graph Algorithms by Means of Graph Transformation Units
The Theory of Classification, Part 6: The Subtyping Inquisition
Remoting in C# and .NET
In Memory of Kristen Nygaard and Ole-Johan Dahl
Modeling Agents and their Environment: The Communication Environment
Run-Fail-Grow: Creating Tailored Object-Oriented Runtimes
The Song Remains (Almost) The Same
Streamlining the Development of Hybrid Graphical-Textual Model Editors for Domain-Specific Languages
Open Types and Bidirectional Relationships as an Alternative to Classes and Inheritance
The Reaction of Open-Source Projects to New Language Features: An Empirical Study of C# Generics
Adapting the User Interface of Integrated Development Environments (IDEs) for Novice Users
Mix and Match
Eiffel Assertions and the External Structure of Classes and Objects
JAPROSIM: A Java framework for Process Interaction Discrete Event Simulation
New Perspective To Improve Reusability in Object-Oriented Languages
Dynamic Role-Based Access Control Scenarios for Smart Contracts: Graph Rewriting for Testing Domain-specific Models
The Initium X.509 Certificate Wizard
Building Hierarchical Component Directories
Meta C++: an extension layer for multi-stage generative metaprogramming
Keeping Enterprises' Head Above The Clouds!
Efficient Compilation of .NET Programs for Embedded Systems
The µ-law CODEC
Evaluating the capabilities of Enterprise Architecture modeling tools for Visual Analysis
Slicing Techniques for UML Models
Object-Oriented Design Patterns for Detailed Design
Dependency Injection with Static Analysis and Context-Aware Policy
Personalization by Program Slicing
Creating a Project-Specific Requirements Engineering Process
Preface to the JOT special issue on the 21st European Conference on Modelling Foundations and Applications (ECMFA 2025)
WCF: A Case Study Involving a Distributed Client/Server Game
UML Associations: A Structural and Contextual View
A Picture is Worth a 1000 Words?
Direct Semantics of Extended State Machines
"Object-Oriented Reengineering Patterns", by Serge Demeyer, Stephane Ducasse and Oscar Nierstasz (Review)
An Object-Oriented Framework for Building Software Agents
Grace's Inheritance
JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript
Product Production
An Enhanced Form of Dynamic Untyped Object-Based Inheritance
Agent-Based Manufacturing: A Case Study
Evaluation of Assertion Support for the Java Programming Language
The Deplorable State of Class Libraries
Porting the .NET Compact Framework to Symbian Phones
Object-Oriented Intelligent Mechanism - Vital for the Success of E-Commerce
Reusability and discovery models in software systems: a systematic literature review
Exceptions in Concurrent Eiffel
The Discrete Fourier Transform, Part 5: Spectrogram
Obfuscation and .NET
Validating Transformations for Semantic Anchoring
The Design and Evaluation of an Interoperable Translation System for Object-Oriented Software Reuse
Connecting Powertypes and Stereotypes
"Intellectual Property Law for Engineers and Scientists", by Howard B. Rockman
Extracting State Models for Black-Box Software Components
Composing Tests from Examples
Dynamic Virtual Network Embedding: Using Incremental Model Transformation and Integer Linear Programming Techniques
Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker
Implementing Object-Z with Perfect Developer
Security Use Cases
A Framework to Specify Declarative Rules on Objects, Attributes and Associations in the Object Model
Automated Proof Tactics for Model Transformation
Revisiting Fault Localization Techniques for Model Transformations: Towards A Hybrid Approach
Peer Reviews in Software: A Practical Guide, by Karl E. Wiegers
Logic-based Software Modeling with FOML
A Seeded Search for the Modularisation of Sequential Software Versions
A Survey of Metrics for UML Class Diagrams
Collaborative Software Engineering
Agent Paradigm for Adaptable Architecture
Types and Co-Types in Timor
Incremental Development Using Object Oriented Frameworks: A Case Study
Learning is a Community Experience
Keyword- and Default- Parameters in JAVA
A Proposal of a New Class Cohesion Criterion: An Empirical Study
SimSG: Rule-based Simulation using Stochastic Graph Transformation
Guidelines for Enabling the Extraction of Aspects from Existing Object-Oriented Code
External Dispatch: Yet Another Object-Oriented Single and Multiple Dispatch Mechanism
Method Proxy-Based AOP in Scala
Design by Contract Using Meta-Assertions
Ecosystems, continued
Formalism, technique and rigour in Use Case Modelling
Enhancing Design by Contract with Knowledge about Equivalence Partitions
Test Early, Test Often
Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday
Remote Objects: The Next Garbage Collection Challenge
Gradual Encapsulation
The Theory of Classification, Part 12: : Building the Class Hierarchy
Branch and Bound Implementations for the Traveling Salesperson Problem - Part 1: A solution with nodes containing partial tours with constraints
Using MDE to support sustainable re-engineering
UML and Object Oriented Drama
Quality of Service Contract Specification, Establishment, and Monitoring for Service Level Management
On the Footprints of Join Points: The Blueprint Approach
Modeling Dynamic Architectures of Self-Adaptive Cooperative Systems
The Trouble with Configuration Management
A protoype-based approach to object evolution
Personalization: Definition, Status, and Challenges Ahead
Exploring the Use of Package Templates for Flexible Re-use of Collections of Related Classes
Secure Software
Do Tools Support Code Integration? A Survey
Prioritizing Requirements
The Language of SysML v2 under the Magnifying Glass
Enriching the Object-Oriented Paradigm via Shadows in the Context of Mathematics
Static Detection of Atomicity Violations in Object-Oriented Programs
Functional Programming at Work in Object-Oriented Programming
Finding Frameworks Hot Spots in Pattern Languages
Designing and Weaving Aspect-Oriented Executable UML Models
The Theory of Classification, Part 18: Polymorphism through the Looking Glass
The Unnecessary Tension between Process and Programmer - Some of My Best Friends Use an Agile Software Process
Implementation of LMNtal Model Checkers: a Metaprogramming Approach
The Infer Type Refactoring and its Use for Interface-Based Programming
Proving Pointer Program Properties. Part 1: Context and overview
Extensible Tooling for Reactive Programming Based on Active Expressions
Cloud Redux
Natures and Perspectives
Darwin's World Simulation in C#: The Model/View Classes
Automating Model Transformations for Railway Systems Engineering
Interaction between Objects in powerJava
The Dark Side of Object Learning: Learning Objects
Hygienic methods Ñ Introducing HygJava
Dynamic adaptability with .NET service components
What's Your Information Agenda?
Reflective Software Engineering - From MOPS to AOSD
Featherweight Wrap Java: wrapping objects and methods
Security and Protection in Timor Programs
Size, Inheritance, Change and Fault-proneness in C\# software
Using Multiple Servers in Concurrent Garbage Collector
Bidirectional Transformations (BX 2015) Editorial
The Saverbeans Screensaver and Initium RJS System Integration: Part 5
Trading Accuracy for Performance in Data Processing Applications
Incremental Verification of UML/OCL Models
Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement
Existential Owners for Ownership Types
Automatic Test Data Synthesis using UML Sequence Diagrams
'Architected' Cloud Solutions Revealed
Understanding Class Name Regularity: A Simple Heuristic and Supportive Visualization
Design-Level Detection of Interactions in Aspect-UML Models Using Alloy
Message Oriented Programming - The Case for First Class Messages
Generating Complete, Unambiguous, and Verifiable Requirements from Stories, Scenarios, and Use Cases
Not a Number of Floating Point Problems
Supporting Design by Contract in Java
Conflict Visualization for Evolving UML Models
Pattern Integration: Emphasizing the De-Coupling of Software Subsystems in Conjunction with the Use of Design Patterns
Towards Optimisation of Model Queries: A Parallel Execution Approach
Freely Annotating C#
RefTest 2011 Special Section
Class-based Visibility from an MDA Perspective: From Access Graphs to Eiffel Code
Who Took the Cookie from the Cookie Jar?
On Assuring Software Quality and Curbing Software Development Cost
Mapping and Visiting in Functional and Object-Oriented Programming
Security Evaluation of J2ME CLDC Embedded Java Platform
Computational Diversity, Practice and a Passion for Applications
Aspect Refinement Ð Unifying AOP and Stepwise Refinement
On Web Search: Some Activities and Challenges
Agile Evolution: Towards The Continuous Improvement of Legacy Software
Real-time information acquisition in a model-based integrated planning environment for logistics contracts
On Access Restriction with Java Wildcards
The Future of Model Transformation Languages: An Open Community Discussion
Specifying use case behavior with interaction models
Adding Wildcards to the Java Programming Language
A Collaborative Approach to Describe the Domain Language through the Language Extended Lexicon
CSOM/PL - A Virtual Machine Product Line
Templates and Resources in Software Development Methodologies
A Catalogue of Refactorings for Model-to-Model Transformations
A Taxonomy of Components
The (Re) Emergence of Agile Languages and Domain-Oriented Programming
Introducing automated testing to video game development via Behaviour-Driven Development
Introduction to the Meta'16 Workshop Special Issue
Game programming - The 'Why', 'What' and 'How' with Graphics Objects
Using a Situational Method Engineering Approach to Identify Reusable Method Fragments from the Secure TROPOS Methodology
The JBoss Integration Plug-in for IntelliJ IDEA, Part 1
Modelling Agile Backlogs as Composable Artifacts to support Developers and Product Owners
An Encapsulated Eiffel Education Environment, based on Web Services
UML Profiles for Modeling Real-Time Communication Protocols
First-Class Concepts: Reified Architectural Knowledge Beyond Dominant Decompositions
Real Men Do JavaScript! Programming the World in a Browser
Surveying Rule Inheritance in Model-to-Model Transformation Languages
A Study of Test Coverage Adequacy In the Presence of Stubs
A Snapshot of the Trends of the Internet Era: United States 2003
An XML Storage System for Object-Oriented/Object-Relational DBMSs
E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel
Model Finding in the EMF Ecosystem
A Static Analysis to Detect Re-Entrancy in Object Oriented Programs
Aspects for Stages: Cross Cutting Concerns for Metaprograms