yusuke1997/dblp-id-title huggingface dataset:
Ontological Behavior Modeling
Methodical and Formally Verified Model-Driven Architecture Refactoring
Easing the Transition from C++ to Java (Part 1)
Structural Design Patterns and .NET Framework 2.0
Ten Things I Hate About Object-Oriented Programming
On Three Major Holes in Data Warehousing Today
Characterizing Black-box Composition Operators via Generated Tailored Benchmarks
Aligning IT to Business Through Architecture
CorbaViews: Distributing objects that support several functional aspects
Quality Models to Design Software Architecture
The Impedance Imperative - Tuples + Objects + Infosets = Too Much Stuff!
Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools
A Categorization of Interoperability Issues in Networks of Transformations
Increasing Mobile Agent Performance by Using Free Areas Mechanism
Towards a Generic Method for Articulating Design-time Uncertainty
Inheriting Multiple and Repeated Parts in Timor
DEUCE : A Declarative Framework for Extricating User Interface Concerns
A Model-Driven-Reverse Engineering Approach for Detecting Privilege Escalation in IoT Systems
Encrypting the Java Serialized Object
UML Extensions for Aspect Oriented Software Development
Domain-Specific Model Distance Measures
Language Composition via Kind-Typed Symbol Tables
Verification of Object-Oriented Programs with Invariants
A Model-driven Approach to Service Policies
Introduction to the Special Theme on Models and Evolution
UML 2 Activity and Action Models, Part 3: Control Nodes
VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System
Universes: Lightweight Ownership for JML
GraphQL Federation: A Model-Based Approach
Stronger Typings for Separate Compilation of Java-like Languages
A Classification of Design Pattern Evolutions
Implementation Strategies for Mutable Value Semantics
Customer Interface Management
Concern-Oriented Use Cases
Reflecting on an Existing Programming Language
Constraint Validation in Model Compilers
Practical Validation of Bytecode to Bytecode JIT Compiler Dynamic Deoptimization
The Theory of Classification Part 19: The Proliferation of Parameters
Preface to the JOT special issue on the 20th European Conference on Modelling Foundations and Applications (ECMFA 2024)
On 'Cloud Nine' Through Architecture
An Empirical Study on the Impact of Inconsistency Feedback during Model and Code Co-changing
Behavioral consistency in multi-modeling
Succeeding With Agile: Software Development Using Scrum, by Mike Cohn
MaGiC: a DSL Framework for Implementing Language Agnostic Microservice-based Web Applications
On Flash-Based DBMSs: Issues for Architectural Re-Examination
Generative Components for Hybrid Systems Tools
On Designing Software Architectures
The OSATE Slicer: Graph-Based Reachability for Architectural Models
Change Happens!
Integrating Two Descriptions of Taxonomies with Materialization
The Theory of Classification, Part 8: Classification and Inheritance
On Reflecting Visitors' Opinions Fairly and Accurately on the Web
Form over Substance
UML Extensions for Design Pattern Compositions
The Discrete Fourier Transform, Part 3: The PSD
Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation
TOOLS Europe 2012 Special Section
A New Software Development Project Using an Old Game
Branch and Bound Implementations for the Traveling Salesperson Problem - Part 3: Multi-threaded solution with many inexpensive nodes
On the Impact Significance of Metamodel Evolution in MDE
XCorpus - An executable Corpus of Java Programs
Product: Visual SlickEdit, Version 9.0
Graph-based Optimistic Transaction Management
A Process Modeling Language Consisting of High Level UML-based Diagrams and Low Level Process Language
UML for Modelling and Performance Estimation of Embedded Systems
The Message-Oriented Mobility Model
A Meta-Level Specification and Profile for AspectJ in UML
ICMT 2010 Special Section
Pattern Driven Solution Engineering
Modeling Objects with Uncertain Behaviors
Software Design Metrics for Object-Oriented Software
Easing the Transition from C++ to Java (Part 2)
Open Access: all you wanted to know and never dared to ask
Interactive Embedded Face Recognition
The Jac System: Minimizing the Differences between Concurrent and Sequential Java Code
Semantic Annotation for Java
Classification of Model Refactoring Approaches
The Legacy and Liability of Object Technology The Dark Side of OO
Towards the Integration of UML- and textual Use Case Modeling
A Library of Literals, Expressions, Types, and Statements for Compositional Language Design
UML2.0 Profiles for Embedded Systems and Systems On a Chip (SOCs)
The Theory of Classification, Part 14: Modification and Objects like Myself
Simulate IoT Towards the Cloud-to-Thing Continuum Paradigm for Task Scheduling Assessments
Agile Software Product Lines, Deconstructed
On Getting Use Cases and Aspects to Work Together
Delegates and Events in C#
Rule-based Assessment of Test Quality
Conflict-based Change Awareness for Collaborative Model-driven Software Engineering
A Program Transformation Technique to Support AOP within C++ Template
A Model Management Framework for Next-Generation Web-based Modeling Tools
Motorola WEAVR: Aspect and model-Driven Engineering
Applications At Your Service
Pluggable checking and inferencing of nonnull types for Java
Model-Driven Engineering for Augmented Reality
Using Slicing to Improve the Performance of Model Invariant Checking
It's a Small World --- Globalization
Simulink bus usage in practice: an empirical study
On Supporting Structure-Agnostic Queries for XML
An Integrated Approach to Source Level Debugging and Compile Error Reporting in Metaprograms
Flexible Model-to-Model Transformation Templates: An Application to ATL
Formal Specification of Design Patterns - A Balanced Approach
Domain-Specific Architecture for Software Agents
Modeling Roles - A Practical Series of Analysis Patterns
Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation
An Extended Component Model and its evaluation for Reliability & Quality
Inspector Methods for State Abstraction
Branch and Bound Implementations for the Traveling Salesperson Problem - Part 2: Single threaded solution with many inexpensive nodes
A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants
Co-evolution of Metamodel and Generators: Higher-order Templating to the Rescue
Improving Alignment of Crosscutting Features with Code in Product Line Engineering
Extending the Java Language with Dynamic Classification
Enterprise Integration in Metadata Environment
Strong exception-safety for checked and unchecked exceptions
On the Offshore Outsourcing of IT Projects: Status and Issues
Trends in the Uses of the Internet - 2006
The JBoss Integration Plug-in for IntelliJ IDEA
A Framework for Adding Design by ContractTM to the .NET Object-Oriented Programming Languages
Where's the SOA Beef?
VOLT 2012/2013 Special Section
A Language to Define External Schemas in ODMG Databases
Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis
Optimizations for Dynamic Collections
Remote Job Submission Security
Evaluation of Contemporary Graph Databases for Efficient Persistence of Large-Scale Models
Towards Interactive, Test-driven Development of Model Transformations
A UML based Framework Design Method
A Catalog of Design Patterns for Compositional Language Engineering
On Re-classification and Multi-threading
Learning from Code Repositories to Recommend Model Classes
Model-driven Software Engineering for Construction Engineering: Quo Vadis?
A Data Mining Address Book
Bad Smells in Design and Design Patterns
A Platform to Support Object Database Research
Patterns and Objects for User Interface Construction
OOPSLA FOOL Workshop
Patterns for Federated Architecture
Representing Design Patterns and Frameworks in UML - Towards a Comprehensive Approach
Nominal and Structural Subtyping in Component-Based Programming
E-MOBI Smart Object Model and Implementation
The Theory of Classification, Part 3: Object Encoding and Recursion
Extending ODMG Metadata to Define External Schemas
On the Use of GPT-4 in the Reverse Engineering of Class Diagrams
Human-in-the-Loop Large-Scale Model Transformations with the VICToRy Debugger
The Architecture of Business
Ant Colony System Optimization
The Theory of Classification, Part 11: Adding Class Types to Object Implementations
On The Next Move in Programming
Semantic Differencing of Use Case Diagrams
Going Open Source Software in IT - Opportunities and Challenges
Class Transformations for Transparent Distribution of Java Applications
Access Graphs: Another View on Static Access Control for a Better Understanding and Use
Using Technologies to Improve E-Learning
"Design by Contract" + "Componentware" = "Design by Signed Contract"
Removing Redundant Boundary Checks in Contextual Composition Frameworks
The JBoss Integration Plug-in for IntelliJ IDEA, Part 3
A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption
Formal specification of structural and behavioral aspects of design patterns
Lies, Damned Lies and UML2Java
From two-way to three-way: domain-specific model differencing and conflict detection
Constraints Specification Via Tool Support: A Controlled Experiment
The Theory of Classification Part 20: Modular Checking of Classtypes
Programming with Models? Modeling with Code. The Role of Models in Software Development
A Rule-Based Approach to Framework Evolution
Towards Efficient Comparison of Change-Based Models
Displaying Updated Stock Quotes
An approach to the co-creation of models and metamodels in Enterprise Architecture Projects
A Meta-Circular Basis for Model-Based Language Engineering
An efficient tool for recovering Design Patterns from C++ Code
Inheriting from a Common Abstract Ancestor in Timor
Where's the (Business) Beef?
Negotiated Grammar Evolution
A Typing Scheme for Behavioural Models
Agile Artifacts - Documenting, Tracking and Reporting: Trust The Source Luke!
By students, for students: a production-quality multimedia library and its application to game-based teaching
Model Driven Prediction and Control
Comparison of Graph-based Model Transformation Rules
Protocol-Based Interactive Debugging for Domain-Specific Languages
JBuilder 2005 Enterprise and Together Developer 2005
Reasoning About Method Calls in Interface Specifications
Complexity, its in the mind of the beholder
LnRBAC: A Multiple-Levelled Role-Based Access Control Model for Protecting Privacy in Object-Oriented Systems
Improving the Use of Multiplicity in UML Association
Variation Verification
UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources
Editorial note from the incoming Editor-in-Chief
UML - Unified or Universal Modeling Language? UML2, OCL, MOF, EDOC - The Emperor Has Too Many Clothes
A Rewriting Logic Semantics for ATL
A Variance-Based Drift Metric for Inconsistency Estimation in Model Variant Sets
Design and implementation of a FIPA compliant agent platform in .NET
Cloud Computing: Today and Tomorrow
Towards Quantifying Data Quality Costs
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
A Classification Framework for Software Reuse
Systematic Engineering of Mutation Operators
A Comparison Framework for Middleware Infrastructures
Synthetic Image Sequence Compression
Improving Model Repair through Experience Sharing
Scaling a Shared Object Space to the Internet: Case Study of Virat
Model Repair with Quality-Based Reinforcement Learning
On an open issue of programming language phonetics
Marea: An Efficient Application-Level Object Graph Swapper
Reflective Constraint Management for Languages on Virtual Platforms
Patterns of Interface-Based Programming
The Forgotten Interfaces: A Critique of Component-based Models of Computing
Just: Safe Unknown Types in Java-like Languages
Navigating the trace of executable domain specific languages through a trace domain query language
I Resign: Resigning Jar Files with Initium
A Rule-Driven Approach for composing Viewpoint-oriented Models
Mobile Modeling with Real-Time Collaboration Support
Dynamic Software Update from Development to Production
Flattening Traits
Checking Concise Specifications for Multithreaded Software
Use Case from the ODP Viewpoint
A Fuzzy Logic Approach to Measure Complexity of Generic AspectOriented Systems
Applying Model Checking to Concurrent UML Models
Extending eclipse RCP with dynamic update of active plug-ins
Ask Not What Your SOA Can Do For You --- Ask What You Can Do For Your SOA!
Capturing ghost dependencies in Java sources
Aspect Oriented Programming in .NET. Based on Attributes
Reuseware - Adding Modularity to Your Language of Choice
Clustering Natural Language Test Case Instructions as Input for Deriving Automotive Testing DSLs
Flexible Method Combination based on Mixin Subtyping
Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models
E-Bunny: A Dynamic Compiler for Embedded Java Virtual Machines
Utilizing Dynamic Roles for Agents
Uncertainty management with extra-functional qualities in multi-artefact co-evolution
Achievements and Weaknesses of Object-Oriented Databases
The Imperion Threading System
Componentware for Critical Systems
Automated Measurement of UML Models: an open toolset approach
An Operational Semantics including "Volatile" for Safe Concurrency
Smart Cards: Status, Issues, and US Adoption
A Case-Study in Encoding Configuration Languages: Multiple Class Loaders
The Systems Modeling Language for Products and Systems Development
An Aspect-Oriented Approach for the Development of Complex Simulation Software
Patterns of Anti-Patterns
Automatic Generation of Truffle-based Interpreters for Domain-Specific Languages
Union Types for Object-Oriented Programming
The Theory of Classification, Part 9: Inheritance and Self-Reference
The Tao of Modeling Spaces
Towards Modeling Inconsistencies in Production Workflows - An Experience Report
Use Case Concepts using a Clear, Consistent, Concise Ontology
When do Software Complexity Metrics Mean Nothing? - When Examined out of Context
On Database Technology for US Homeland Security
Breathing life into "living documents"
Formal Verification Techniques for Model Transformations: A Tridimensional Classification
A Dynamic Operational Semantics for JVML
UML 2 Activity and Action Models, Part 4: Object Nodes
Conference Report: TOOLS'10
Bigloo.NET: compiling Scheme to .NET CLR
Foundations for MDA-based Forward Engineering
Deprewriter: On the fly rewriting method deprecations
Handing Over the Reins
Enough of Processes - Lets do Practices
Introducing the New JOT
A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation
Why we should not add readonly to Java (yet)
Persistent Objects and Capabilities in Timor
Modeling and Validating Role-Based Authorization Policies for a Port Communication System with UML and OCL
A Survey of Design Pattern Based Web Applications
Preface to the JOT special issue containing the ECMFA 2021 selected papers
SOA Web Security and Applications
Natural Modelling
Project Imperion: New Semantics, Façade and Command Design Patterns for Swing
Reflections on OCL 2
Empirical Analysis of Object-Oriented Design Metrics: Towards a New Metric Using Control Flow Paths and Probabilities
Checking Class Schema Usefulness
From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case
Diffraction Rangefinding in Java
Declarative Layer Composition with The JCop Programming Language
Reproducible Construction of Interconnected Technology Models for EMF Code Generation
Static Slicing of UML Architectural Models
UML 2 Activity and Action Models, Part 5: Partitions
Branch and Bound Implementations of the Traveling Salesperson Problem - Part 4: Distributed processing solution using RMI
A Retrospection On Niche Database Technologies
Structural consistency between a system model and its implementation: a design science study in industry
Architecture-Related Requirements
Towards a Principle-based Classification of Structural Design Smells
A Model-Driven Approach to align Heterogeneous Models of a Complex System
Context-oriented Programming
Vaultage: Automatic Generation of Secure Communication around Decentralised User-Managed Data Vaults
Diamond Inheritance and Attribute Types in Timor
From UML 2 Sequence Diagrams to State Machines by Graph Transformation
The Platform Based-Agents to Test and Evaluate Software Architecture
Refactoring as Meta Programming
Cloud Architecture
An MOF2-based Services Metamodel
Qualitative SIMPLE
Best books of 2008
UML 2 Activity and Action Models, Part 2
Static Checking for Multiple Start of Threads in a Type-Safe Multithreaded Java
Call-out Bracket Methods in Timor
Confessions of a Service-Oriented Abuser
On theory and practice of Assertion Based Software Development
Modeling Interdependent Concern Behavior Using Extended Activity Models
Attached Processes
Sending Messages in UML
Evaluating Model Differencing for the Consistency Preservation of State-based Views
Next Generation IT --- Computing In the Cloud Life after Jurassic OO Middleware
On Digital Convergence and Challenges
On Challenges for Information Management Technology
Sub-Method Reflection
State Machines as Mixins
Arithmetic Function Interpreter in C# 3.0 Using Lambda Expression Trees
Investigating the Origins of Complexity and Expressiveness in ATL Transformations
Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs
Preface to the JOT issue on 18th European Conference on Modelling Foundations and Applications (ECMFA 2022)
CentiJ: An RMI Code Generator
Runtime Monitoring for Executable DSLs
Adding Aspect-Oriented Programming Features to C#.NET by using Multidimensional Separation of Concerns (MDSOC) Approach
Preface to the JOT special issue on VORTEX at ECOOP 2022: selected papers
JBuilder 8
Traceability Management through Use Cases when Developing Distributed Object Applications
Project Initium: Programmatic Deployment
Preface to the JOT issue on the 19th EuropeanConference on Modelling Foundations and Applications(ECMFA 2023)
A Dependence Representation for Coverage Testing of Object-Oriented Programs
Efficient ATL Incremental Transformations
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
A Lightweight Modeling Approach Based on Functional Decomposition
SCI-GA: Software Component Identification using Genetic Algorithm
Covariantly Adjusting Co-Types in Timor
Long Live Metadata!
CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration
The Evolution of Software Design Practices Over a Decade: A Long Term Study of Practitioners
Managing Design-time Uncertainty in OCL Expressions
A Reuse Parable
A Run-time System for SCOOP
UML 2 Composition Model
.NET: The Programmer's Perspective. Report about a workshop of ECOOP 2003
Mapping UML Associations into Java Code
Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis
The JOT Format
The Stock Statistics Parser
Design by Contract, by Example, by Richard Mitchell and Jim McKim
Specifying Reusable Security Requirements
Engineering Safety Requirements, Safety Constraints, and Safety-Critical Requirements
Software interactions
Preface to the JOT special issue containing the ECMFA 2020 selected papers
One-Way Model Transformations in the Context of the Technology-Roadmapping Tool IRIS
Concepts and Concept-Oriented Programming
Minimalist and Intuitive User Interface Design Guidelines for Consumer Electronics Devices
An efficient multiversion access control in a Temporal Object Oriented Database
MD* Best Practices
A Tool for Supporting and Automating the Development of Component-based Embedded Systems
User-Defined Join Point Selectors -- An Extension Mechanism for Pointcut Languages
The Emperor's New Use Case
Proving Pointer Program Properties. Part 2: The Overall Object Structure
Incremental Dynamic Updates with First-class Contexts
Modeling Agents and their Environment: The Physical Environment
Improving Rule Set Based Software Quality Prediction: A Genetic Algorithm-based Approach
Seuss: Decoupling responsibilities from static methods for fine-grained configurability
Hello World! Goodbye Skills!
AspectScope: An Outline Viewer for AspectJ Programs
Extending OCL with Subjective Logic
Review JBuilder 6 Enterprise Version
How to get a Singleton in Eiffel
Organisational Failures in Dependable Collaborative Enterprise Systems
Test Case Generation Based on State and Activity Models
Support for Model-Based Data Sovereignty Analysis
Java Distributed Separate Objects
Aspect Composition in the Motorola Aspect-Oriented Modeling Weaver
Improving Learning Object Reuse Through OOD: A Theory of Learning Objects
Automatic detection of bad smells in code: An experimental assessment
History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany
Preface to the JOT Special Issue dedicated to Prof. Antonio Vallecillo on his 60th Birthday
Efficient Integrity Checking for Essential MOF + OCL in Software Repositories
ABS++: Assertion Based Subtyping in C++
IBM Rational Unified Process Reference and Certification Guide Solution Designer
OOPSLA day 1
Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations
Variadic Templates for C++0x
Thread Specific Singletons: Handling Singleton Pattern Errors in Multi-Threaded Applications and their Variations
How to align IT with the changes using UML and according to BMM? Applying the 'Goal Driven Development' Process on a case study using UML 2 and the BMM
Implementing the p-Calculus in Java
Pattern-Oriented Design for Multi-Agent System: A Conceptual Model
Flexible Modelling: a Systematic Literature Review
A Quantitative SWOT-TOWS Analysis for the Adoption of Model-Based Software Engineering
How to increase your business reactivity with MDA/UML?
Statically Qualified Types in Timor
Creating Servlets with Intellij V8
An OO Application that introduces Heuristic Algorithm Design
Aligning IT with the Changes using the Goal-Driven Development for UML and MDA
Preface to the JOT special issue on ECOOP 2021: selected workshop papers
Checking Access to Protected Members in the Java Virtual Machine
Initium RJS: A Macintosh Screensaver in Java, Part 3
Object Oriented Extension to Time Series Model
"Analysis Paralysis"? - There exist so many ways to proceed, how could you get paralyzed?
Code Generation from Architectural Multiviews Description
A Metascience Study of the Low-Code Scientific Field
Design of Large .NET Applications: Best Practices
Model Transformation as Conservative Theory-Transformation
An Implementation of the p-Calculus on the .NET
The Theory of Classification, Part 17: Multiple Inheritance and the Resolution of Inheritance Conflicts
Language-Specific Model Versioning Based on Signifiers
Quality Characteristics for Software Architecture
Towards Conversational Syntax for Domain-Specific Languages using Chatbots
Multitudes of Objects: First Implementation and Case Study for Java
Object Miners: Acquire, Capture and Replay Objects to Track Elusive Bugs
Flexible Language Interoperability
Persistent Processes and Distribution in Timor
Objects are for Wimps: Real Developers need S.O.S
Methodological Proposal for Business Process Management sustained in the use of Patterns
A Component-Based Software Engineering Environment
MUSE: A Framework for Measuring Object-Oriented Design Quality
The Theory of Classification, Part 1: Perspectives on Type Compatibility
REquirements, Aspects and Software Quality: the REASQ model
Conformance of agents in the Eiffel language
Using Design Pattern Clues to Improve the Precision of Design Pattern Detection Tools
Open Source Reusable Assets
Empirical Study of Object-Oriented Metrics
Acessing Objects Locally in Object-Oriented Languages
"The Unified Modeling Language Reference Manual, Second Edition", by James Rumbaugh
Introductory Game Programming Instruction with OOP - What is required, How is it addressed, and Which language wins?
Game Development Using Design-by-Contract
RV-TEE-Based Trustworthy Secure Shell Deployment: An Empirical Evaluation
Object-oriented Access Control in Jarrah
The Theory of Classification, Part 2: The Scratch-Built Typechecker