yusuke1997/dblp-id-title huggingface dataset:
Combining Contract-Based Development and Test-Driven Development
An Automatic Approach to Transform CafeOBJ Specifications to Java Template Code
Lessons Learned and Perspectives on Successful HPC Software Engineering and Development
Experience of Building an Architecture-Based Generator Using GenVoca for Distributed Systems
An Agent-Based Design Software: A CSCW Model for Software Design Tool
Architecture and Design Pattern Discovery Techniques - A Review
Building Software Via Shared Knowledge
Usability as a Dominant Quality Attribute
Multi-Agent System Supporting Security Requirements Engineering
Transformation Rules in POMA Architecture
Evolving Software Development Instruction to Support Agile Practices
Mappings between Object-Oriented Technology and Architecture-Based Models
A Model Driven Integration Process to Manage Component Interoperability
Enterprise Mashups - Usefulness and Relevance Put to the Test
Managing License Incompatibilities Distributing Eclipse Application Stacks
Runtime Support of Speculative Optimization for Offline Escape Analysis
Meta-Modeling Approach to Tool Support for Model Transformation to Validate Dynamic Behavior of Systems
A Prototype on GUI Based Editor for Z Specifications
A Software Engineering Process to Specify and Verify E-Commerce Systems
Assessing the Complexity of Software Architecture Using Coupling and Cohesion
GUI Test Automation Framework
Why Is It So Challenging? - Trends in Productization of Software Services and Solutions
Matching HCI Design Patterns to Workflow within an Agile Process
Semi-Automated Verification and Removal of Open Redirect Vulnerabilities in Web Applications
Leveraging a Common Development Framework and Delivery Approaches through Effective Software Management
Identifying Architectural Changes Using Software Metrics
Specification of the 'Playlist Wizard' Collaborative Music Playlist Generator
The Additive Problem in Software Measurement
Software Cost Estimates - How Good They Can Be
Implementation of Network Event Audit Module Using Data Mining Method
Straightening Spaghetti-Code with Refactoring?
On Petri Nets and Predicate-Transition Nets
A Graph-Based Representation of Object-Oriented Designs
UML Modeling of Reusable Atomic Domains
People and Project Team Dynamics
Methodology for Multi-site Software Engineering Using Ontology
Automated Generation of Component-Based Web Applications from Databases
Towards the Automatic Generation of Real Time Operating Systems Applying UML/MDA
Software Engineering Practice: A Case of Scale Reduction - Mini Software Factory of the Genesis Incubator of Pato Branco
Extending UML Deployment Diagrams form a Performance Engineering Perspective
Framework For Separation of Performance Concerns and Improved Modularity in Multi Agent Systems Using Aspects
Using Clustering Technique to Restructure Programs
Legacy System Reengineering: Essential Process Steps
A Parallel Software Developing Feedback Model for Improving Quality of Software Product
WebMetrics: A Tool for Improving Software Development
A Study of Communication Management in Chinese IT Projects
Rigorous Software Engineering
User-oriented Preparative Treatments for Requirements Engineering
Adding Aspect-Oriented Programming Features to Visual Basic .NET by Using Multidimensional Separation of Concerns (MDSOC) Approach
MASCOTime: Building a Simulator with Java for Annotated MASCOT
An Empirical Study of the Effectiveness of Pairwise Testing
Risk Identification Model Based on Group Support System (GSS)
Systematic Test Data Generation for Embedded Software
A Simple Entropy-Based Software Complexity Metric
Towards Model Driven Testing for Mission Critical Software Systems
AppDetector: A Tool Prototype for Visualizing Java Code Dependencies on Relational Databases
Developing a New Method to Improve Software Test Process based on ISTQB Test Suite
A New Approach For Solar Analysis Of Buildings
Induction of Survivability in Rational Unified Process (RUP)
Selecting Effective Test Messages
Practical Use of Encapsulation in Object-Oriented Programming
Design Patterns for Serious Games in Tactical Problem Solving
Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify
A Method for Generating a Minimal Functional Set of Test-Cases for Software-Intensive Systems
Design Challenges and Possible Solutions to Wireless Application Development
Reconfigurable Interfaces: A Proposal for Universal Usability Interfaces
Autonomous and Autonomic Swarms
Evaluating Constant Propagation and Scalar Evolution Analysis on Interprocedural SSA Form
eLeTK: Component Based Framework Used for Knowledge Discovery in e-Learning Systems
Mining for Patterns in Program Dependence Graphs
Verifying Behavioral Component Interoperability Using Positive/Negative Model Checking
Test-bed for Verification and Validation Activities in Developing an Operations Support System
From Functional Requirements through Test Evaluation Design to Automatic Test Data Patterns Retrieval - a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
Taking Advantage of the Symbiotic Relationship Between Tools and Processes to Support Executable Processes to Support Executable Process Models
Analysis of Object-Oriented Numerical Libraries
Specification of the Blaze-A-Trail Interactive Trail Mapping System
Object-Oriented Hypermedia Design and J2EE Technology for Web-based Applications
Software Product Line Economics: a Survey
Test Plan Design for Software Configuration Testing
Design and Evaluation of an Automated Aspect Mining Tool
An Embedded Software Architecture for Advancing Modifiability in Digital Convergence Environment
Discrete Time Modelling In Software Reliability - A Unified Approach
Metainterfaces Support Structural and Object-Oriented Software Composition
Software Engineering Projects In Our Department
A Study on the Measurement for Embedded Software
Internal Marketing to Elicit Conceptual Needs for Internal Software
Specifying Correct Protocols of Multithreaded Java-like Programs
A Business-driven Service Identification
An Evaluation Model for Software Quality Improvement
Using Architectural Modeling for Integration Testing
System Modeling for Systematic Development of Groupware Applications
Agile Development: Do advantages outweigh short comings?
A Garbage Collector Prototype for C++ Applications Based on Mark and Compact Using Aspect Oriented Programming
Exploiting use case slices for modeling access control policies
Specification and Design of a High Risk Surveillance Vehicle
Software Engineering Design Patterns for Relational Databases
A New Multi-Tasking Concept Supported by SMV
A Study and Categorization of Pervasive Systems Architectures Towards Specifying a Software Product Line
UML 2.0 Consistency Rules Identification
Supporting Use Cases Based Requirements Simulation
OSGi Service Layer Enhancements
A Taxonomy of MPI-Oriented Usage Models in Parallelized Scientific Codes
Measurements Used in Software Quality Evaluation
Prioritizing Web Usability Attributes Using Intuitionistic Fuzzy Sets
Adaptive Dynamic COCOMO II in Cost Estimation
Automatic Code Generation: Model-Code Semantic Consistency
A Comparison of Interface Specification Techniques
Privacy Law and Software Architecture
Framework for Domain-Specific Modeling Language Development
Architecture Description for Model-Driven Development
A Formal Approach to Fault Tolerance in Parallel Systems
Using Semantic Metrics to Assess Consistency between Design and Implementation of Software
VERDICTS : Visual Exploratory Requirements Discovery and Injection for Comprehension and Testing of Software
Software Practices in Academia
Random Test Data Generation for Java Classes Annotated with JML Specifications
Automatic Comprehension of Textual User Requirements and their Static and Dynamic Modeling
INSECT: an Intelligent Software Exploration and Collaboration Environment
Complexity of Data Flow Analysis for Non-Separable Frameworks
A Modeling and Integration Framework for Complex Multilevel Systems
Creating an Environment for a High Performance Software Engineering Teams - A Real Life Perspective
Towards a Layered Architectural Design of a Persistence Framework
Helping to Meet the Security Needs of Enterprises: Using FDAF to Build RBAC into Software Architectures
Model Driven Architecture for Round-Trip Engineering: A Conceptual Framework
Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems
Organizational Software Engineering Methodology for Project Cost Estimation
A Method of Software Development Using BizWiz that Supports Automated Generation Systems
Integrating Z in DEVS : a case study Lift Control System
Modeling Variability in the Software Product Line Architecture of Distributed Services
Proceedings of the International Conference on Software Engineering Research and Practice, SERP 2005, Las Vegas, Nevada, USA, June 27-29, 2005, Volume 2
Experience Distributed and Centralized Software Development in IPDNS Project
Extending Software Models Based on a Metamodel for Predicting Software Performance During Unified Software Development Process
Medical Informatics and Medical Databases Approach in Modeling Healthcare Education System with Unified Modeling Language (UML)
Genetic Algorithm and Mutation Analysis for Software Testing
Performance of Service-Discovery Architectures in Response to Node Failures
A Wrapper Pre-Processor for Implementing Domain-Specific Reusable Components
A Study of the Relationship between Usability and Test Cases Precedence Based on a Formal Model for Activity Diagrams
Model Transformation Based on Meta Templates
Specification and Performance Metrics for Parallel Programs
A Three Level Framework for Process Support: The MOWAHS Approach
Analysis and Metrics of XML Schema
Dynamical Proxy for Dynamic Services
Software Process Improvement (iSPA) Model Evaluation based on Critical Success Factors of Successful Software Projects
Increasing Fault Detection Effectiveness Using Layered Program Auralization
A Decision Making Tool for the Selection of Service Oriented-Based Legacy Systems Modernization Strategies
Conformance Testing and Interoperability: A Case Study in Healthcare Data Exchange
Are the Changes Induced by the Defect Reports in the Open Source Software Maintenance?
IncH: An Incremental Compiler for a Functional Language
Organization Modelling to Support Access Control for Collaborative Systems
Optimizing Software Construction
A SOA-based IA Vulnerability Configuration Management in E-Government
Tracing Software Requirements Artifacts
Process Component Plug-in Approach
SEN State Event Net, Proposal to Enrich the Arsenal of UML Dynamic Diagram
Entropy Metrics-Based Approach to Risk Analysis in the Maintenance Phase of Large-Scale Computer Systems
Validation Against Actual Behavior: Still a Challenge for Testing Tools
A Comparison of Project Management Software Tools (PMST)
CMMI Framework in Small Business Environment - A Case Study
Applying the DoD Architecture Framework (DoDAF) to the Commander's Predictive Environment
Reverse Engineering Methodology to Recover the Design Artifacts: A Case Study
Software Production and Execution with GOP model
A Methodology for Assuring Quality Logging Practices in Electronic Commerce Systems
Aspects of Memory Management in Java and C++
Predicting Maintainability Using Object Oriented System Decomposition Metrics
Toward Application Driven Software Technology
Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1
Object Oriented Requirements Engineering for Multidiscipline Systems
Software Engineering Methodology for E-Commerce Estimation
Detection of Anomalies in a Software Architectural Style with Connectors: Position Paper
Formal Construction of Deterministic Finite Automata Recognizing Intersection of Regular Languages
Software Engineering Concerns in Tools for Expressing and Exploring Combinatorial Data
A Software Specification Language for RNA Pseudoknots
A Model-Based Testing Method for Multimodal Integration Testing
Distributed Tool for Performance Testing
Applications of Chaos Model in Software Development Process
Impact of Using Test-Driven Development: A Case Study
On Identifying and Representing Aspects
A Tool for Teaching Architectural Patterns
DiRT - Dust in Real-time: The Specification Process
Aspect-Oriented Approaches to Model Driven Engineering
Reusability and Adaptability Using Aspect-Oriented Framework
Eliciting a Model of Emergency Corrective Maintenance at SAS
Throughput Evaluation of Different Enterprise Service Bus Approaches
Evaluating Off-The-Shelf Architectural Components
Restricted Adaptive Random Testing by Random Partitioning
Remote Sensing and Control by Means of the Parallel Port, Java and Recycled e-waste
Expressing Property Specification Patterns with OCL
Using Constraints with Action Language for Model Evolution
Software Architecture-Driven Detection of Security Vulnerabilities
A Maturity Model for the Implementation of Software Process Improvement
Internet System Design for the Disabled Net
Efficient Component-Based Integration of a Mobile J2EE Application with a Java-Based "Legacy" System - A Best-Practice Example
Using Activity Diagrams for Function Design
A Kind of Geographic Query System Based on RIA and REST Architecture
Component-Based Software Engineering: Issues and Concerns
Electronic Voting Systems Security Requirements Engineering
Designing an Architecture for Multichannel Adaptive Information Systems
Formal Definition of Feature Models to Support Software Product Line Evolution
Intelligent Tool Based-Agent for Software Analysis
Towards a Knowledge Base for a Reference Architecture Development of Complex Embedded Systems
Plugin-Based Systems with Self-Organized Hierarchical Presentation
3CoFramework: A Component-Based Framework for Distributed Applications
Supporting Software Fault Tree Analysis Using a Key Node Metric
Techniques and Approaches for Developing Software Product Line
An Information Theory Word-Based Metric to Evaluate Software Maintainability and Reusability
Learning Automata Swarm for Adaptive Space Situational Awareness
Service Learning, Software Engineering, and Hurricane Katrina - A Case Study
Advanced ISO/IEC 12207 for SOC
Golden Rules for Contribution-Based Open-Source Communities
Evaluation of Interaction with Commercial Educational Games when Used by Children with Autism
Scalability in Analysis of Software Architecture
Design and Implementation of a Middleware for Mobile Networked Devices and Applications
Assessing Approaches for Evaluating Remote Heterogeneous Applications
Error Detection in Multiple State Diagrams
Analyzing the Heap Usage of Java Programs
Space Situation Awareness Human Effectiveness Research Trends
SOA and Security of Loosely Coupled Services in the Cloud using SOA 3.0
EVA - Scripting Language for Database Applications
Visualizing the Testedness of Data-Flow Interactions in Imperative Functions
Bridge Software Engineers in Global Software Outsourcing
Evaluation of the Legal Certainty in the IT
Modeling Services and Web Services: Application of ModelBus
Good and Bad Sides of Agile Methods, Part 2
A Constraint-Based Approach to Verification of Programs with Floating-Point Numbers
Managing Requirements for e-Learning Platforms
Towards an Extendable Software System for Information Integration
Numerical Software Difficulties
Model-Based XML Editor Generation
Fuzzy Models for Software Development Effort Estimation of Small Programs: A Comparison Based Upon MMER as Well as Heteroscedasticity
Architecting Adaptable Software Using COTS: An NFR Approach
Requirement Preparation Before Awarding The Work To Vendor
Towards Aspect-oriented Model-driven Code Generation in the Formal Design Analysis Framework
A Two-Way Modeling Approach to Architectural Design Based on Reusable Specifications
Apollo 11 Revisited - An Example of Problem-Based Learning
Cognitive Design Patterns for Extreme Tactical Environments
A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking
On a GUI based Editor for the Z Notation
Modeling QoS through Architectural Reflection
A Framework for Resolving Mismatches that may Occur during System Integration Using COTS Software
Virtual UNR Campus: The Specification Process
RUXP: A Proposed Solution for the Gaps in the Current State of the Thought on Software Process
Modeling of Evolution to Secure Application System: from Requirements Model to Software Architecture
A Fuzzy Logic-based Approach for Requirements Elicitation Techniques Selection
Process Maturity Model for Software Product Lines for SMEs
A Comparison of Languages for Specifying Abstract Interfaces
Seeking Systematic Feedback for Enhancing Curriculum Quality and Relevance - What is Effective?
Investigating Software Design Measures as Indicators of Understandability
Specification of the Verity Learning Companion and Self-Assessment Tool
Integrating Usability Evaluation into User Interface Modeling
Component Adaptation Through Adaptation Components
Design Pattern Recovery based on Pattern Features
A Process Model for Development and Utilization of Reusable Test Assets
Education At The Edge: Preparing Students To Build Quality Systems
Graphical User Interface for Linux Based Distributed File Storage System
A SOA-Based IA Asset Management Architecture Using XML in E-Government
IBrowser: Realization of Direct Communication Between Mobile Devices and Computers
Relating Software Coupling Attribute and Security Vulnerability Attribute
How to Verify Software Product Quality in User's View
An Experience Report on Teaching the Personal Software Process
Does Requiring Students to Produce Alternative Solutions Promote a High Quality of Software Design
A Formal Method Applied to Reverse Engineering
A Framework for Web Application Development
Giving Feedback on MASCOTime Simulation Results
Study of Information Retrieval Systems and Software Reuse Libraries
The Problem of Designing Complex Systems
A Pattern Framework for Designing Extreme User Environments
A Formal Framework for Software System Modeling, Analysis and Realization
Strategies for Modeling Software Architectures in Virtual Reality Systems
Software Testing and Semantic Service Oriented Architecture for E-Health Software Services
An Architectural Framework for the Development of Payment Applications in an Integrated Environment
Deterministically Executing Concurrent Programs for Testing and Debugging
An Initial Framework for Collaboration-Based Component Selection
XML-Based Source Code Representation with Parsing Actions
Modeling and Resolving Inheritance Anomaly with Colored Petri Nets
Timetrak: Automatic Time Tracking For Eclipse
Software Engineering Projects for Public Safety - Modeling Lava Flows on the Big Island
A Comparative Study of Requirements Change Management in Non Agile and Agile Development Methodologies
Formalization and Automated Testing for Cursive Fonts
Designing Transaction Management System in Component Based Network Model for Secured Component Transmission
Effective Reuse Procedure for Open Source Software
Practical Technologies for Implementing Distributed Applications as Evolvable Software Systems (ESS)
Empirical Efficiency Testing for OSS
Integration of Proposed Software Risk Model in Waterfall Process
Analyzing Static Structure of Large Software Systems
Program Understanding Through Indentation
Sowing the Seeds of Requirements Engineering in Post-Graduate Students
A Java Instrumentation-based Analysis Approach for the Dynamic Behaviors of J2EE Applications
Object-Oriented Design Pattern: Access Protector
Putting Interdisciplinary Software Engineering into Practice: A Java-Based Embedded System Controller
Exploring Roles for the UML Diagrams in Software Performance Engineering
A Critical Analysis of JDO in the Context of J2EE
Ontology Context Immigration for Distributed Information Sharing
Performance Evaluation of Personnel Assignments in Software Engineering
Developing Medical Information System with MDA and Web Services
Model Checking of Software Design in State Transition Matrix
INSERT: an Improved Story Cards Based Requirement Engineering Practice for Extreme Programming
Toward Model Based Testing: Combining AADLS with High Level Petri Nets
Integrating J2EE Services into a Heterogeneous Service Environment by Means of Model Driven Engineering
Abstracting Low-Level Network Programming with ACE, A Pattern-Oriented Network Programming Framework
Adequacy Criteria for Testing Polymorphism in the Context of Interactions
Meta Code Pattern and Its Refinement
A Software Maintenance Process Model With Featured-Based Tool and Reliability Metrics
Measurement of Properties of Software Agents
An Awareness Model for Supporting Collaboration in Distributed eXtreme Programming
Performance-Oriented Modelling for UML-RT Based System Design
A Methodology For Comparison of any Indexing Techniques For Information Retrieval System
Improving Prediction Accuracies Using Data Imputation
Towards a Template Language for Component-based Programming
A Qualitative Study on PATT - A Project Assessment and Tracking Tool
Determinig the Standard Deviation for Cosmic Software Functional Size Measurement
A Bestiary of Log Files: Log File Format in Distributed Systems
Research of Component Composition Using Formal Semantics
Meta-Validation of UML Diagrams Using OCL Rules
Software Evaluation by User Satisfaction Analysis Based on Quality Characteristics for ISO/IEC 9126
Updating Scientific Legacy Systems to Bridge the Digital Divide: A Case Study
Handling Huge Data Sets in J2EE/EJB2.1 with a Page-by-Page Iterator Pattern Variant for CMP
Comments as a Sublanguage: A Study of Comment Grammar and Purpose
JfelX: A Dynamic Model Driven Architecture
Improving Software Quality: a Benchmarking Approach
A Light Software Process for Small Software Companies Complaint with MPS.BR Level F
Knowledge Based Reverse Engineering Process Framework
Mapping Caché Artifacts to Design Metrics Primitives
Proceedings of the 2007 International Conference on Software Engineering Research & Practice, SERP 2007, Volume II, June 25-28, 2007, Las Vegas Nevada, USA
A Co-Work Tool for Visual Programs
Statistical Analysis of the Relevance of Lines of Code Measures
Mining and Clustering Textual Requirements to Measure Functional Size of Software with COSMIC
GUI State-based Accessibility Control in Hierarchical State Machines
An Empirical Validation of the Cohesion Measure Based on Member Connectivity for Object-Oriented Classes
Developing an Online Function Reader
The Views of Quality for the Requirements Document
A Software System Evolutionary and Adaptive Framework. Application to Agent Based Systems
The Role of OMG IDL in Component Composition: A Survey and a Case Study
Understanding Scalability Issues for a Distributed Simulation Environment Using Intelligent Coordinated Entities
Service-Orientation based on Software Methodologies
Scenario-Based Software Architecture Modeling Using Message Sequence Charts
Modeling the Campus Content Management in a Student Perspective
While Loop Demonic Semantics Monotype/Residual Style
Component Integration Metrics
Mathematical Approach To Validation Of The Material Balance Type Simulation Models For Pharmacokinetics Studies
Process-Oriented Metrics for Software Architecture Changeability
Similarity between Bow Tie Graphs (BTG): A Centrality Score Analysis of BTG
On-campus Collaborative Project Experience for Software Engineering Course
Safe Runtime Reconfiguration in Component-Based Software Systems
Progressive Autonomy - An Incremental Agent-based Approach
On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus
Development of an Ant Script Builder with Thought to Usability and Best Practices
A Methodology for Secure Software Design
Standardization of Software Cost Estimation Process for Outsourcing in Pakistan, Using Appropriate COCOMO Estimation Models and Drivers
Towards Validation of E-Services Composition: Transforming eFlow to Petri-Nets
Podcasts: Changing the Face of e-Learning
A Design of Event-Driven Programming Language for Ubiquitous Computing Environments
DPTMethodology: The Defect Prevention and Traceability - Driven Methodology for Software Engineering
Web Task Timing for Web Project Cost Estimation
Utilizing UML Use Cases for Testing Requirements