yusuke1997/dblp-id-title huggingface dataset:
Inter-model Consistency between UML State Machine and Sequence Models
Orchestrating Functional Change Decisions in Scrum Process using COSMIC FSM Method
Smart business object a new approach to model business objects for web applications
Aligning Requirements-driven Software Processes with IT Governance
A Data Mining Approach to Learning Probabilistic User Behavior Models from Database Access Log
A Lightweight Framework for Graphical Editors on Android Devices
Traceability Support for MDE Development of Home Automation Systems
Model-driven Test Engineering - A Practical Analysis in the AQUA-WS Project
Patterns in Textual Requirements Specification
Automatic Generation of Interoperability Connectors using Software Product Lines Engineering
A hybrid topology architecture for p2p file sharing systems
Design for Excellence in the Context of Very Large-Scale Requirements Engineering
Single Vector Large Data Cardinality Structure to Handle Compressed Database in a Distributed Environment
Who Are the Rational Actors in Software Development Projects?
The RITMARE Starter Kit - Bottom-up Capacity Building for Geospatial Data Providers
Network Convergence and Modeling - Design of Interconnecting SW for Intranets and Fieldbuses
Ontology-Based Mediation of OGC Catalogue Service for the Web - A Virtual Solution for Integrating Coastal Web Atlases
What Do We Know and How Well Do We Know It? Current Knowledge about Software Engineering Practices
ICSOFT 2008 - Proceedings of the Third International Conference on Software and Data Technologies, Volume SE/MUSE/GSDCA, Porto, Portugal, July 5-8, 2008
From Confidential kNN Queries to Confidential Content-based Publish/Subscribe
WIoT: Interconnection between Wise Objects and IoT
NBU Advanced e-Learning System
Architectural Styles Quality Evaluation and Selection
How to Support Scenarios-Based Instructional Design - A Domain-Specific-Modeling Approach
Programming Support for the Flexible Coupling of Distributed Software Components for Scientific Simulations
Prediction of Video Quality over IEEE802.11 Wireless Networks under Saturation Condition
RLHR: A Framework for Driving Dynamically Adaptable Questionnaires and Profiling People Using Reinforcement Learning
Mixed Software/Hardware based Neural Network Learning Acceleration
DESKED: An Approach for MoDel-Driven ProcESs Aware KnowledgE Discovery
From static to dynamic process types
I-Codesign: A Codesign Methodology for Reconfigurable Embedded Systems
TELMA - An Evolutive Distributed Application for In-Orbit Satellites Support
Machine Learning Models for Automatic Labeling: A Systematic Literature Review
Model for Pedagogical Indexation of Texts for Language Teaching
Multimodal Biometric Recognition Systems based on Physiological Traits: A Systematic Mapping Study
Measuring the Quality of Open Source Software Ecosystems Using QuESo
Task Oriented Context Models for Social Life Networks
Typing Legacy COBOL Code
Performance and Complexity Evaluation of Multi-Path Routing Algorithms for MPLS-TE
Building Roger: Technical Challenges While Developing a Bilingual Corpus Management and Query Platform
A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD
A Programming Language to Facilitate the Transition from Rapid Prototyping to Efficient Software Production
Model Transformation by Example Driven ATL Transformation Rules Development Using Model Differences
Supporting Deviations on Software Processes: A Literature Overview
Automatic Fuzz Testing and Tuning Tools for Software Blueprints
SInBAD Digital Library Preservation using iRODS Data Grid
A Tool-Supported Approach for Modelling and Verifying MapReduce Workflow Using Event B and BPMN2.0
Unrestricted and Disjoint Operations over Multi-stack Visibly Pushdown Languages
Power Consumption Estimation in Model Driven Software Development for Embedded Systems
Tukra: An Abstract Program Slicing Tool
JSimil - A Java Bytecode Clone Detector
Towards Modeling Large Scale Project Execution Monitoring - Project Status Model
An application of the 5-S activity theoretic requirements method
New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages
Distributed Software Integration Model based on Attribute-driven Design Add Method
Supporting the Systematic Goal Refinement in KAOS using the Six-Variable Model
Software Technologies - 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
Towards Lakosian Multilingual Software Design Principles
Business Entity Warehouse: A New Design Method for Decision Support Systems from Business Entities
Performance Analysis of Mobile Cross-platform Development Approaches based on Typical UI Interactions
A Medical Information System for Personalized Rehabilitation after Ankle Inversion Trauma
A Path-based Equivalence Checking Method for Petri Net based Models of Programs
A Mental Health Self-Check System using Nonlinear Analysis of Pulse Waves
A MapReduce based Approach for Circle Detection
An Improvement to the Mixed MDA-Software Factory Approach: a Real Case
ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July, 2011
Semantic-based Data Integration and Mapping Maintenance: Application to Drugs Domain
Refactoring Prediction Using Class Complexity Metrics
Evolving a Model for Software Process Context: An Exploratory Study
Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems
Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy
Automatic Algorithmic Complexity Determination Using Dynamic Program Analysis
A Real-time Integration of Semantics into Heterogeneous Sensor Stream Data with Context in the Internet of Things
From Concrete to Abstract - About Teaching UML Class Diagrams to Novice Programmers
Evaluating Software Metrics for Sorting Software Modules in Order of Defect Count
Transevol - A Tool to Evolve Legacy Model Transformations by Example
Analysing the Performance of Mobile Cross-platform Development Approaches Using UI Interaction Scenarios
To Model, to Prompt, or to Code? The Choice Is Yours: A Multi-Paradigmatic Approach to Software Development
Version Control for RDF Triple Stores
Formal Analysis of Sequence Diagram with Combined Fragments
ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems
A Genetic Algorithm for Automated Test Generation for Satellite On-board Image Processing Applications
Towards a Faster Symbolic Aggregate Approximation Method
A detection method of stagnation symptoms by using project progress models generated from project reports
Performance Analysis of Scheduling-Based Load Balancing for Distributed and Parallel Systems Using Visualsim
Modular Concurrency - A New Approach to Manageable Software
Toward Easy Migration of Client-Server Applications to the Cloud
Crystallization of agility back to basics
Non-functional Requirements for Real World Big Data Systems - An Investigation of Big Data Architectures at Facebook, Twitter and Netflix
Towards a Middleware and Policy-based Approach to Compliance Management for Collaborative Organizations Interactions
Ensuring Safe Usage of Buffers in Programming Language C
A Simple Language for Novel Visualizations of Information
Towards Efficient Hashing in Ethereum Smart Contracts
Observation-based Fine Grained Access Control for Relational Databases
Towards Online Composition of PMML Prediction Models
Enhancing Alternative and Augmentative Communications Devices with Context Awareness Computing
Towards Easy Robot Programming - Using DSLs, Code Generators and Software Product Lines
Reducing Static Dependences Exploiting a Declarative Design Patterns Framework
A Systematic Literature Mapping of Artificial Intelligence Planning in Software Testing
The Addition of Geolocation to Sensor Networks
A Software Product Line Approach for Feature Modeling and Design of Secure Connectors
Word Sense Disambiguation of Persian Homographs
A Lightweight Software Product Quality Evaluation Method
Factors that Complicate the Selection of Software Requirements - Validating Factors from Literature in an Empirical Study
Re-Using Experience in Information Systems Development
Refining Use Cases through Temporal Relations
Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems
Adding more support for associations to the ODMG object model
Model-Based Threat Modeling for Cyber-Physical Systems: A Computer-Aided Approach
A Verification Method of Time-response Requirements
Dynamic Distributed Storage Architecture on Smart Grids
Monitoring of Services in Distributed Workflows
R-UML: An UML Profile for Verification of Flexible Control Systems
Towards Secure Data Sharing Processes in Online Social Networks: Trusty
Context Based Content Aggregation for Social Life Networks
Pragmatic Web Services: A Semiotic Viewpoint
Towards the Layered Evaluation of Interactive Adaptive Systems using ELECTRE TRI Method
A Framework for Smart Distribution of Bio-Signal Processing Units in M-Health
Increasing the Efficiency of Minimal Key Enumeration Methods by Means of Parallelism
Simulation Methodologies for Scientific Computing - Modern Application Design
A Framework for System Design Using Collaborative Computing Paradigms (CCP) for IoT Systems
Quantitative Metrics for Mutation Testing
Wireless Communication - As an Innovation Technology for SMEs
A Pattern-matching based Approach for Problem Solving in Model Transformations
Resilient Conflict-free Replicated Data Types without Atomic Broadcast
A Rating Tool for the Automated Selection of Software Refactorings that Remove Antipatterns to Improve Performance and Stability
Applications of Automated Model's Extraction in Enterprise Systems
Mapping Parallel Programs into Hierarchical Distributed Computer Systems
Unordered Tree Matching and Tree Pattern Queries in XML Databases
Combining SysML V2 and BIP to Model and Verify CPS Interactions
Readability of Domain-Specific Languages: A Controlled Experiment Comparing (Declarative) Inference Rules with (Imperative) Java Source Code in Programming Language Design
Determining the Progress of a Business Object Based on its Object Instances: An Empirical Study
Artificial Immune System Framework for Pattern Extraction in Distributed Environment
The Impact of Emerging Computing Models on Organizational Socio-technical System
An Approach for the Automatic Adaptation of Domain-Specific Modeling Languages for Model-Driven Mobile Application Development
Towards an Agile Development Model for Certifiable Medical Device Software - Taking Advantage of the Medical Device Regulation
A Framework for Testing SOA Applications
Unifying Event-based and Rule-based Styles to Develop Concurrent and Context-aware Reactive Applications - Toward a Convenient Support for Concurrent and Reactive Programming
Formal Notations and Terminology for Users' Feedback and Its Specialization for Interactive Fault Localization
A Framework for Process-based Collaborative Systems Design
A Multi-modal Visual Emotion Recognition Method to Instantiate an Ontology
Aspectboxes - controlling the visibility of aspects
Using the Stochastic Approach Framework to Model Large Scale Manufacturing Processes
A Multi-Objective Genetic Algorithm for Cutting-Stock in Plastic Rolls Industry
Java Web Services: A Performance Analysis
Source Code Implied Language Structure Abstraction through Backward Taint Analysis
A Versatile Tool Environment to Perform Model-based Testing of Web Applications and Multilingual Websites
QuESo - A Quality Model for Open Source Software Ecosystems
An Implementation of a QoE Evaluation Technique Including Business Model Parameters
Applicability of BET to Elusive Bugs in Diverse Application Areas
Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers
Web information system: A four level architecture
Early Verification and Validation According to ISO 26262 by Combining Fault Injection and Mutation Testing
HERMES: A Pervasive System for Memory Support and Ambient Assisted Living
Developing a Taxonomy for Software Process Context
Inclusion of User Behavior and Social Context Information in ML-based QoE Prediction
Enabling Informed Decision Making Through Mobile Technologies: A Challenge for Software Engineering
Medi SPICE and the Development of a Process Reference Model for Inclusion in IEC 62304
Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic
Analysis of GPGPU Programs for Data-race and Barrier Divergence
Product Line Variability Management using Traceability Information
Integrating Software Architecture Concepts Into the MDA Platform
Combining Information Extraction and Data Integration in the ESTEST System
A Comprehensive Evaluation Model for BASE Transaction Processing
Desired Quality Characteristics in Cloud Application Development
Three Forms of Mutant Subsumption: Basic, Strict and Broad
Towards Integrated Failure Recovery for Web Service Composition
SESGAL Software for Managing Earthquake Risk in Galicia
Modularization Compass - Navigating the White Waters of Feature-Oriented Modularity
Generic Components for Static Operations at Object Level
Containerizing the PowerAPI Architecture to Estimate Energy Consumption of Software Applications
Parallelism, Adaptation and Flexible Data Access in On-demand ERP Systems
An Augmented Reality Mirror Exergame using 2D Pose Estimation
Engineering Object and Agent Methodologies
User Control of Force-directed Layouts
Towards a language independent refactoring framework
On the Detection of Novel Attacks Using Behavioral Approaches
Towards the End of Agile: Owing to Common Misconceptions in the Minds of Agile Creators
On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services
Multi-platform Model-driven Software Development of Web Applications
External Tool Integration with Proxy Filters in a Data Mining Application Framework
Model Driven Development of Process-centric Web Applications
The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems
ModGraph - A Transformation Engine for EMF Model Transformations
A Multi-platform End User Software Product Line Meta-model for Smart Environments
Alignment of Measurement and Business Goals - A Systematic Literature Review
Web-Based Data Mining Services - A Solution Proposal
Integration of Autonomic Mechanisms to a Test Management Solution
Towards Ensuring Eternal Connectability
Increasing Efficiency of ISO 26262 Verification and Validation by Combining Fault Injection and Mutation Testing with Model based Development
Resource Substitution for the Realization of Mobile Information Systems
Print-based Interaction Interfaces for Multilingual Multimedia and Sign Language Electronic Resource Integration
Extending the SSCLI to Support Dynamic Inheritance
Client-tier Validation of Dynamic Web Applications
Exploiting Exclusive Higher Resolution to Enhance Response Time of Embedded Flash Storage
Language Design and Implementation via the Combination of Embedding and Parsing
Introduction to characterization of monitors for testing safety-critical software
Conceptual Framework for Adaptive Safety in Autonomous Ecosystems
Simplified Rules Base Obtained with Logic Minimization Method for Diagnosis of Measles Disease Realized with Expert Systems
Do the Scaled Agile Practices from S@S Help with Quality Requirements Challenges and If So, How Do They Do It?
Optimizing Intensive Database Tasks Through Caching Proxy Mechanisms
Language-Neutral Support of Dynamic Inheritance
Managing Risk in Open Source Software Adoption
A Framework for Evaluating Business Process Performance
Building an Ontology That Helps Identify Criminal Law Articles That Apply to a Cybercrime Case
A Situation-dependent Scenario Generation Framework for Project Management Skill-up Simulator
Automated Unit Testing in Model-based Embedded Software Development
Managing Business Process Flexibility and Reuse through Business Process Lines
Program verification techniques for xml schema-based technologies
Towards Good Practices for Collaborative Development of ML-Based Systems
Study on Adversarial Attacks Techniques, Learning Methods and Countermeasures: Application to Anomaly Detection
CyberGuardian: An Interactive Assistant for Cybersecurity Specialists Using Large Language Models
A Case Study on the Applicability of Software Reliability Models to a Telecommunication Software
Privacy-aware Data Providing Web Services Composition
Type-flow Analysis for Legacy COBOL Code
A Novel Approach for Real-time Extracting Data From NoSQL Embedded Data Bases
A Structured Wikipedia for Mathematics - Mathematics in a Web 2.0 World
Time and Processes: Towards Engineering Temporal Requirements
A Computer-Aided Process from Problems to Laws in Requirements Engineering
Towards Automatically Generating a Personalized Code Formatting Mechanism
Emerging Design Patterns for Blockchain Applications
Automatic Feedback Generation for Supporting User Interface Design
ZKPVM: A Zero-knowledge Authentication Protocol for VMs' Live Migration in Mobile Cloud Computing
Division of Water Supply Systems into District Metered Areas Using a Multi-agent Based Approach
COnfECt: An Approach to Learn Models of Component-based Systems
Behavior Detection of Quadruped Companion Robots Using CNN: Towards Closer Human-Robot Cooperation
Applying One Class Classifier Techniques to Reduce Maintenance Costs of EAI
Building a Decision Landscape Model for Software Development: From Empirical Insights to Formal Theory
Opportunistic Software Composition: Benefits and Requirements
A Machine Learning Approach for Game Bot Detection Through Behavioural Features
Adopting Delta Maintainability Model for Just in Time Bug Prediction
A Semantic Search Engine for a Business Network - A Personalized Vision of the Web applied to a Business Network
An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems
A Topic Modelling Method for Automated Text Analysis of the Adoption of Enterprise Risk Management
Trace Transformation Reuse to Guide Co-evolution of Models
Requirements Cube: Towards a Matrix-Based Model of Requirements
UML and Agile Methods: Looking for an Agreement
Definition of Software Quality Evaluation and Measurement Plans: A Reported Experience Inside the Audio-Visual Preservation Context
A Software Product Line Approach to Designing End User Applications for the Internet of Things
A Diffusion Mechanism for Online Advertising Service Over Social Media
A Calculus of Agents and Artifacts
Enhancing Linguistic Web Service Description with Non-functional NLP Properties
A pattern selection algorithm in kernel PCA applications
Turning Concepts Into Reality - Bridging Requirement Engineering and Model-Driven Generation of Web Applications
Towards a Taxonomy of Bad Smells Detection Approaches
What Else Can Be Extracted from Ontologies? Influence Rules
Towards Modelling Real Time Constraints
Process and Organizational Data Integration from BPMS and Relational/NoSQL Sources for Process Mining
Measuring Data Quality in Vortals
ATMOS - A Data Collection and Presentation Toolkit for the Nevada Climate Change Portal
From Theory to Practice: The Challenges of a DevOps Infrastructure as Code Implementation
What Can Web Services Learn from Business Process Modeling?
Exploring DDoS Mechanisms
Addressing Security Requirements Through Multi-Formalism Modelling and Model Transformation
A Methodology for Enterprise Resource Planning Automation Testing Application to the Open Source ERP-ODOO
Test Input Partitioning for Automated Testing of Satellite On-board Image Processing Algorithms
Customer Journey Analytics: A Model for Creating Diagnostic Insights with Process Mining
Cryptographic Features, Applications: Java (C)
Application of Fuzzy Logic to Assess the Quality of BPMN Models
Neural Networks based Software Development Effort Estimation: A Systematic Mapping Study
Software Framework of Context-Aware Reconfigurable Secure Smart Grids
Detecting Patterns in Object-Oriented Source Code - A Case Study
A Cooperative and Distributed Content Management System
Authoring Tools for KOC - A Knowledge Repository to Teach Building Construction
Air Quality Monitoring of Bangladesh (AQM): Data Driven Analysis System
Estimating the Survival Rate of Mutants
Combined Constraint-Based Analysis for Efficient Software Regression Detection in Evolving Programs
Identification of Critical Links within Complex Road Networks using Centrality Principles on Weighted Graphs
System test cases from use cases
Software Re-Structuring - An Architecture-Based Tool
A MDA-based Testing - A Comparative Study
ADM: An Agile Template for Requirements Documentation
Towards a Hacker Attack Representation Method
Rateless Codes for Reliable Data Transmission over HomePlug AV Based In-Home Networks
An Extensible, Multi-paradigm Message-oriented Mobile Middleware
Off-Line Signature Verification - Comparison of Stroke Extraction Methods
Using Semantic Metrics to Predict Mutation Equivalence
An Automated Approach for Creating Workload Models from Server Log Data
Increasing the Autonomy of the Unmanned Aerial Platform
Monitoring and Control of Vehicles' Carbon Emissions
An Ontological Analysis of a Proposed Theory for Software Development
Data, Context, Situation - On the Usefulness of Semantic Layers for Designing Context-aware Systems
An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE
"Facets" and "Prisms" as a Means to Achieve Pedagogical Indexation of Texts for Language Learning: Consequences of the Notion of Pedagogical Context
The APOGEE Software Platform for Construction of Rich Maze Video Games for Education
AsmDocGen: Generating Functional Natural Language Descriptions for Assembly Code
An in-Depth Requirements Change Evaluation Process using Functional and Structural Size Measures in the Context of Agile Software Development
A Requirements Metamodel for Rich Internet Applications
A Refactoring Architecture for Measuring and Identifying Spots of Design Patterns Insertion in Source Code
Adaptation of Bees Algorithm for QOS-based Selection and Replacement of Web Services
Teaching Design-by-Contract for the Modeling and Implementation of Software Systems
Viewpoint for maintaining uml models against application changes
Discovery and auto-composition of semantic web services
A Pattern for Static Reflection on Fields - Sharing Internal Representations in Indexed Family Containers
Analyzing and Validating Virtual Network Requests
Big Data Analytic Approaches Classification
Semantic Coverage: Measuring Test Suite Effectiveness
HiPro-CodeGen - Automatic Programming for Parallel Numerical Simulations
Mining anomalies in object-oriented implementations through execution traces
DSAW - A Dynamic and Static Aspect Weaving Platform
Property Driven Program Slicing Refinement
Cracking the Code: Web 3.0 Software Development Challenges and Guidelines
How to quantify quality: Finding scales of measure
Anomaly Detection Using Behavioral Approaches
Invariant Implementation for Domain Models Applying Incremental OCL Techniques
Applying Optimal Stopping for Optimizing Queries to External Semantic Web Resources
Evaluating Behavioral Correctness of a Set of UML Models
Differentiated Monitor Generation for Real-Time Systems
An Improved Approach for Class Test Ordering Optimization using Genetic Algorithms
Software Development... for all?
A Semantic Approach to the Extraction of Feature Terms
Towards an Ethereum Smart Contract Fuzz Testing Tool
Support Cross-domain Components Composition in Software Production Lines
Measurement of Fairness in Process Models Using Entropy and Stochastic Petri Nets
Cooperative Negotiation for the Provisions Balancing in a Multi-Agent Supply Chain System for the Crisis Management
Towards a Holistic Integration of Software Lifecycle Processes Using the Semantic Web
Embedding and Parsing Combined for Efficient Language Design
Models. Models. Models. so What?
Big Data Analytics: A Preliminary Study of Open Source Platforms
Linked Data as Medium for Stigmergy-based Optimization and Coordination
A unified approach for software process representation and analysis