yusuke1997/dblp-id-title huggingface dataset:
Java Virtual Machine: the key for accurated memory prefetching
Modeling and Formal Verification of IMPP
A Simple Framework for Project Communications
A Framework for Testing Distributed Healthcare Applications
Quality Evaluation of Web-Sites of Indian e-Commerce Domain
An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage
Software Process Improvement In Bangladesh
Applying the IEEE 1471-2000 Recommended Practice to a Software Integration Project
A Personal Software Process Tool for Eclipse Environment
A New Approach to Component-Oriented Programming
A Design Experiment for Software Engineering Curriculum
Adaptive Software Development Methodology Using Crystal for Student Project
Experience of a Ruby-Syntax Representation for Structured Data
Software Visualization: Replacing Tab in Python Programming with Cell Block in Spreadsheet
SOA and use of System Requirements Design - SRD: An Era of SOA 3.0
Specifying and Checking Method Call Sequences in JML
A Survey of 3D Display Technologies for Multispectral Visualization of Spacecraft
An Improvement Algorithm for Safety-Critical Software
Effort Estimation in Agile Software Development: A Method and a Case Study
Reusing Families Design
A Top-Down Method for B2B Process Design Using SOA
A Model-Based Approach to Controlling the ST-5 Constellation Lights-Out Using the GMSEC Message Bus and Simulink
Binary Methods and Parameterized Types in Java: A Conflicting point between Theory and Practice
Locating Features in Distributed Systems
Virus Removal Cost (VRC) Metric
Keeping Secrets within a Family: Rediscovering Parnas
SEM2XPDL: Towards SPEM Model Enactment
A Software Cost Estimation Meta-model for Systematic Reuse Approaches
A Defect Typology to Support Software Process Verification and Validation
Evaluating the Use of Project Glossaries in Automated Trace Retrieval
A Multi-Role Collaborative Method and Platform for Developing Software Requirements
Foundations for MDA-Based Reverse Engineering
A Quantitative Method to Detect Design Defects and to Ascertain the Elimination of Design Defects after Refactoring
Multi-Agent Teacher Assistant, A Case Study Intended for Multi-Agent Applications
Using Agent to Coordinate Web Services
Semantic Matching of Software Project Documents Using Ontology
Stream-Based Design of an Asynchronous Send-Receive Protocol
A Stateful Architecture Description Language to Support Component Composition
Using UML in a Risk-Driven Development Process
Pseudo-Random System Testing: Coverage Estimation and Enhancement
Experimental Evaluation of Interpretations for Local Cohesion Metrics
Designing an SOA-Based Earthquake Forewarning System using BPMN
The Intelligent C Language Debugger
An Entropy-Based Approach to Assessing Object-Oriented Software Maintainability and Degradation - A Method and Case Study
Software Reuse: An Overview
Understanding the Impact of Change in COTS-Based Systems
Requirements Engineering for Application Development in Volatile Project Environments Using Continuous Quality Function Deployment (CQFD)
Software Architecture Evolution: Description and Management Process
Experimenting with an Evolving Ground/Space-based Software Architecture to Enable Sensor Webs
Cognitive Design Patterns
A Practical Component Testing Technique Based on Component Contract
The Cost of Development of a New System to Control Drivers using GPS Location and Identification Through the Electronic ID Card
Visualization of Data Structure on MVC Framework
Conceptual Model for Software Fault Localization
Generative and Incremental Approach to Scripting Support Implementation
Component Framework for Visual Programming Language Design
An Object-Oriented Framework for Predicting Student Competency Level in an Incoming Class
System Maintenance in Academia: Using Agile Model Driven Design
A Study of the Metrics for Measuring the Quality of the Requirements Specification Document
An Architecture for the Development, Evolution and Adaptation of Hypermedia Systems
UML-based Beowulf Cluster Availability Modeling
A Standards-Based Model for the Specification of Portability Requirements
Analyzing Software Process Models using SAM
Supporting ATAM with a Collaborative Web-Based Software Architecture Evaluation Tool
Self*- Properties in NASA Mission
SUCCESS Rate and Factors of IT - Projects 2006 in Germany
COTS-Aware Requirements Engineering and Software Architecting
Analysis of Open Source Defect Tracking Tools for Use in Defect Estimation
A Principal Components Analysis of Class Metrics in Three Object-Oriented Class Metrics Suites
Model Driven Development with Interactive Use Cases and UML Models
A Software Library for SyncML Server Applications
Role of DEMAIC Methodology in Success of Six Sigma Projects of IT Industry
Transformation of Class Diagrams into Z Specifications
An Expert System for Recommending Seismic Retrofits to Homeowners in Hawaii
Vectorizing Method for Complex Control Flow with SIMD Instruction Set
Combining Model-Driven and Schema-Based Program Synthesis
Automating Object-Oriented Software Refactoring
Supporting the Development of Adaptable and Secure Software Systems: An NFR Approach
Design of Software Systems using Web Services - An Overview and Extension
Ascertaining Feasibility of Traceability-based Requirements Inspection
Software Development Risk Model
Re-Engineering BLUE Financial System Using Round-Trip Engineering and Java Language Conversion Assistant
Critical Success Factors for the Improvement of Requirements Engineering Process
Maturity of the MDA Tool-assisted Development Process using Business Archetypes: a Case Study
Game Development Projects in Software Engineering Course
Formal Specification Based Software Testing: An Automated Approach
Psychological-based Measurement of Personnel Performance
Towards Automatic Integration of Or-BAC Security Policies Using Aspects
The Factors of Software Systems that Contribute to Requirements Elicitation
Architectural Assertions: Checking Architectural Constraints at Run-Time
A Formal Framework of UML
Evaluation Approach for Software Architecture
A Strategic Approach for Decision Making in Process Centered Software Engineering Environment
The Development Programmatics of Large Scientific Codes
Model-based Object-oriented Requirement Engineering and its Support to Software Documents Integration
Adapting Structural Testing to Functional Programming
Modeling Timed Automata Theory in PVS
Compiler Generator for Creating MOF-compliant Source Code Models
Modeling the performance of the Web service platform using Layered Queueing Networks
Specification and Implementation of Autonomic Large-Scale System Behaviors Using Domain Specific Modeling Language Tools
A User-Friendly Methodology for Automatic Exploration of Compiler Options
Generation of OCL Constraints from B Abstract Machines
Augmenting Test Case Generation Using Statechart
Comparing Object-Oriented and SSADM Methodologies Using Evaluation Parameters
The Impact of a Portable Programming Language Pit
Towards A Performance-Oriented Self-Adaptive System
Concurrent Engineering Measurement: Software, Database and Data Warehouse Engineering
An ODP Vision of QoS Management: An Application in the SLM Architecture
An Experience Report on Systems Development and Design Using a Rapid, Non-Formal and By-Customer-Demand Approach
Sources Of Irrelevancy In Information Retrieval Systems
Learner-centered Technical Review in Programming Courses
Test Documentation Tools and CBR Reduce the Cost of Testing
A Complete Revolution in Software Engineering Based on Complexity Science
Evaluation Framework for Open Source Software
An Efficient Slicing Approach for Test Case Generation
Success Factors of Agile Software Development
Agile Intelligence - Principle Methods and Mechanics
Model Reuse in MDA
From MDA Platform-Specific Model to Code Generation: Coupling of RM-ODP and UML Action Semantics Standards
Using ZOOM Approach to Support MDD
Towards Arguing the Cost-effectiveness of Coloured Petri Nets
Analyzing a High Energy Laser Modeling and Simulation Framework
Introducing Personal Software Process in A Small Computer Science Program
Consistent Object-Oriented Modeling of System Dynamics with State-Based Collaboration Diagrams
A Framework and Associated Models for Determining Change Impact Analysis During Utility Service Provisioning in a Grid Environment
The Effect of Object-Oriented Data Structure Design and Implementation on Lifecycle Effort: A Case Study
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 2
Towards a Software Engineering Approach to Wireless Application Development
Conceptual Model for Integration of COTS Components
Designing an Undergraduate Software Engineering Project to Include Software Security Concepts
Computer Supported Cooperative Work Oriented Architecture
Scaling-Up Model-Based-Development for Large Heterogeneous Systems with Compositional Modeling
Unit Metrics - A Tool to support Refactoring in Agile Software Development
Software Modeling of an Electronic Ballot Reader
Usability and Adaptability of Evaluation Framework for Requirements Engineering Tools
Introducing Control States into Communication Based Specifications of Interactive Components
Applying BSUP to Optimize RiskIT Methodology Based on UML 2.0
Achieving Capability Maturity Model Integration(CMMI) Maturity Level 2 by Implementing FEAF Reference Model
Testing Environments for Assessing Conformance and Interoperability
A Low Budget Approach to Distributed Automated Black-Box Testing
Domain Specific Languages for Software Requirements Capture
A Feature Oriented Approach to Mapping from Domain Requirements to Product Line Architecture
A Model of the Integrated Tool for the Management of Processes and Artifacts of CBD Projects
Good and Bad Sides of Agile Methods, Part 1
The use of Group Dynamics in Teaming of Software Developers
Web Metrics: The way of improvement of quality of Non web-based systems
Software Engineering Architecture for Development of Learning Management Systems
A Component-Based Application Development, Test, and Evaluation Environment for Network Applications
Executable Visual Software Modeling - The ZOOM Approach
Exploratory Analysis of Software Reliability Data
Reviewing Object Oriented Metrics for Aspect Oriented Paradigm
An UML Case Tool with Compound Document Support
Interoperability via Enterprise Architecture
Modeling Software Safety for Safety-Critical Systems
Automatic MDA (Model Driven Architecture) Transformations for Heterogeneous Embedded Systems
A Domain Composition Approach
Verification of Workflow Authorization Reasonability
A Multimodal Framework for Human Computer Interaction
IT Integrity
Improving Concurrent Object Interactions Using Aspect Orientation
Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 2
Open Giant Intelligent Information Systems and Its Multiagent-Oriented System Design
Traceability Link for Product Line with RAS based Representation
Model Checking LOOP Programs
Supporting Communication Practices: How the Choice of Methodologies Can Affect Requirements Elicitation
Proceedings of the 2007 International Conference on Software Engineering Research & Practice, SERP 2007, Volume I, June 25-28, 2007, Las Vegas Nevada, USA
DPTModel: The Defect Prevention and Traceability - Driven Model for Software Engineering
An Analysis of the Significance of MDD for Industry
Evaluation Issues in Generic Programming with Inheritance and Templates in C++
A Survey on Challenges of Software Project Management
Estimation of Software Testing Costs and Risks Using Fuzzy Techniques
Relating Types of Lines of Code for Predicting the Software Development Effort of Small Programs Using a Fuzzy Model: Economizing Variables
Software Architecture for Self-Healing of Concurrent and Distributed Components
Modular Analysis of Software Architecture Model
An Approach to Reference Architecture Design for Different Domains of Embedded Systems
Paving the Road Towards Business to Software Unified Modeling Using Extended UML
C#: Should CS Switch?
The ODP-UP Method to Define Open and Distributed Architectures
Automated Defect Prevention with Visual Studio Team System: a Case Study for Software Engineering
A Systematic Quality Analysis of Software Architectures for Mobile Middleware Services
Path Selection Strategy for Regression Testing
A Comparison of the Efficiencies of Code Inspections in Software Development and Maintenance
Generation of Test Scenarios from Use Cases
A Framework for Automatic Testing of Industrial Controller Code
Modelling and Performance Analysis for Security Aspects
Context-broker Service Architecture for AmI Systems through Mobile-agents and Ontologies
The Viability of UML Models in Small Web Applications
Queue Design and Implementation Based on Service Level of NQS
Towards a Holistic Requirements Engineering Method
FAR: An Editing Tool for Standard Information Generation
Integrated Tools for Performance-Oriented Distributed Software Development
Computations with Large Numbers
Semi-Automatic Generation of Adaptable Architectures
UML Analysis Using State Diagrams
A Practical Approach to the Evaluation and Selection of CASE Tools
Orchestration of Users in a Distributed Guidance Software Process Environment Using the Map as Process Meta-Model and Pegase as a Process Engine
An Enterprise Architecture Process Model
Evolution of Software Security - A Must
An Approach to Designing Modularity Architecture for Multithread Programming
Using Webservice Choreography and Orchestration Perspectives to Model and Evaluate B2B Interactions
Improved Graph-Based Lambda Lifting
Strengthening Software Integrity through Privacy and Security Requirements Modelling
On Properties of 'Part of' Relations
Software Composition Using Design Patterns
Using UML to Develop Verifiable Reactive Systems
SPAACE: : Self-Properties for an Autonomous & Autonomic Computing Environment
A Framework to Analyse the Approach Adopted in the Information Systems Requirements Engineering Activity
Experiments on Mutual Dependence between Class Analysis and Exception Analysis
Domain Analysis: A Case Study of Engineering RFID Systems in Supply Chain
Evaluating the Potential for Integrating the OPEN and Tropos Metamodels
Identifying and Resolving Perceptions of Misunderstanding of the User Requirements Specification
Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking
A Formal Approach and its Tool Support for the Specification and the Verification of Structural Properties on UML Activity Diagrams
Real-Time Model Checking for Shill Detection in Live Online Auctions
Expressing Real-Time Constraints in OCL with High-Level Temporal Logic Operators
Component Aspects in Object-Oriented Databases
Using XML Trees to Represent GUI States
Functional Versus Non-Functional Requirements Considered Harmful
Formal Verification of a Simple Automated Negotiation Protocol
A Reuse-Oriented Process Component Representation Framework
A Discussion and Proposal - The Need for a Nationally Recognized Security Certification for Information Security Instructors
Effect of Human Behavior in SDLC
A Database Approach to Streamline Requirements Traceability
Application of Open Hypermedia to Military Software
Software Specification of MERTIS: Modifiable Extensible Real-Time Interactive Simulation System
Differences in Information Flow of Icelandic and Free and Open Source Software Development
Identifying Domain Variables from Inter-Procedural Programs to Extract Business Rule
Performance Assessment of Software Models in a Configurable Environment Simulator
A Framework for Reuse and Parallelization of Large-Scale Scientific Simulation Code
On a GUI-based Editor for Z Specifications and its Applications
Critical Systems and Software Risk to Public Safety: Issues and Research Directions
A software approach for implementing a phone book
QFD Applied to Software Development
The Effect of Refactoring to Patterns on Cohesion Metrics
Applying Design Patterns in Distributing a Genetic Algorithm Application
Experimental Method for Testing Networks
SAI-BOTS: Scripted Artificial Intelligent Basic Online Tank Simulator
Role Explosion: Acknowledging the Problem
Metrology and Quantitative Analysis in ISO 15939
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 1
Formal Validation of HCI User Tasks
An Experimental Approach to Prove Metrics Properties
An Agent-Based Collaborative Architecture for Knowledge-Driven Process Management
Validating Specifications for Model-Based Testing
A Model for Test Case Design and Generation
Applying MCDC to Large DNF Logic Expressions
A Base for Achieving Semantics for Prolog with Cut for Correct Observables
The Design and Implementation of Mandatory Running Control
Java Code Generator Using UML and OCL
Business Model Driven Approach for Web Application Development
Performance Modeling and Analysis of Software Architectures: An Aspect-Oriented UML Based Approach
Integrating Aspects with Model Driven Software Development
Proceedings of the 2009 International Conference on Software Engineering Research & Practice, SERP 2009, July 13-16, 2009, Las Vegas, Nevada, USA, 2 Volumes
Evaluating the Performance of Architectures in MASCOT
Architecting Human Operator Trust in Automation for Multiple Unmanned Aerial System (UAS) Control
Domain Engineering Method for Product Line Development
Component Based Multi-Agent System Modeling and Analysis: A Case Study
Modelling Epistemic Properties for Specification and Verification of a Multi-agent System
Looking at Comparisons of Regression and Analogy-based Software Project Cost Prediction
A Service Oriented Architecture Complexity Metric, Based on Statistical Hypothesis Testing
Extending Old Compiler Tools with Meta-Tools
Tabular Expressions vs Software Cost Reduction
A Supporting Environment for CRC Analysis
Architectural Driven Approach for Software Product Line Testing
An Application of Object Oriented Paradigm (OOP) to Combination Logic Design
A Portable and Collaborative Distributed Programming Environment
Data Warehouse Engineering Process: An Unified Software Development Process Approach
A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study
Multi-Agent System Engineering: A Methodology and Software Abstractions for Designing Agent Based Systems
Updating Software Architectures : A Style-Based Approach
Meta-Model Search: Using XPath to Search Domain-Specific Models
Improving Architectural Quality Properties Through Model Transformations
An Approach to Software Artefact Specification for Supporting Product Line Systems
SOA, Enterprise Architecture, and Business-IT Alignment: An Integrated Framework
Multi User Monitoring and Real-Time Control with ST-RTL
Process Improvement in Large-Scale Industrial Environments Based on SCM
A Quality Attribute Driven Method for Software Process Evaluation
Quality of Hotels Websites
Predicting Error Probability in the Eclipse Project
An Attack Packet Simulator for Performance Test of Information Security Systems
The Kaburobo Contest
Proceedings of the International Conference on Software Engineering Research and Practice, SERP '04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 2
Developing a Special Interest Group in an Undergraduate Computer Science Program
Retrieval of Most Relevant Reusable Component Using Genetic Algorithms
Architecture Pattern Organization
Defects in Open Source Software Maintenance - Two Case Studies: Apache and Mozilla
Scenario-Based System Generation for Process Control
Component + Aspect = an Extensible and Adaptable System Software
A Course Design and Implementation Experience on Agile Software Development Methodologies
Visualising Privacy and Security for Requirements Engineering
Software Product Line Economics Revisited and Partial Validation
Criteria-Based Requirements Prioritization for Software Product Management
Supporting Separation of Concerns to Automation of Code Generation
Metrics in Risk Determination for Large-Scale Distributed Systems Maintenance
Applying Critical Edge to Test Data Generator
Formalizing Effects of Program Structure
A Modal Logic for the CARE Usability Properties for Multimodal User Interfaces
Software Complexity for Computer Communication and Sensor Networks Using Binary Decision Diagrams
Designing Unit Tests with Mock Objects
Formal Semantic Specification for a Set of UML Diagrams
A Study of Existing Architecture Description Approaches from Enterprise System Development Perspective
Role of Early Aspects in Software Maintenance Projects
GREAT: UML Transformation Tool for Porting Middleware Applications
Software Requirements Specification of a University Class Scheduler
Automatic Test Generation for System using UML Statechart
LEARN: An Alternative Formal Semantics Definition
An Interactive Visualization Tool for Understanding Complex Programs
Formal Analysis of UML-Based Designs
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 2 Volumes
SET4SCRUM: Security Enhanced Metric Taxonomy for SCRUM
Software Requirements Phase for a Resource Utilization and Scheduling Tool
Visualization of Software Evolution
Optimal Software Testing
Specification of AutomN: An Automatic Protein Sequence to Protein-Protein Interaction Software System
An Integrated Test Environment Process Model to Control Software Failures
Version Control in Online Software Repositories
Software Reliability - Engineering Point of View
Automating Feature-Oriented Domain Analysis
Practically Relevant Quality Criteria for Requirements Documents
Story Cards Process Improvement Framework
Project Management Hierarchy of Needs
On the Sizing of Knowledge Management Activities and its Relationship to Supporting Technology
Statistical Analysis and Enhancement of Random Testing Methods also under Constrained Resources
Integrating User Centered Design in a Product Development Lifecycle Process: A Case Study
Task-Based Visualization for Software Maintenance
Extending The UML Semantics For A Better Support of Model Driven Software Development
Risk Identification - Challenges and Cure
A Comparison of Software Process Models
The Role of Model-Oriented Software Architecture in Safety Engineering
A Survey of Software Reliability Models and an Application of the Bayesian Belief Networks Model
Polymorphism in Object-Oriented Contract Verification
Ensuring the Maturity of Processes During Transition to SOA
IconicLisp: A Visual Lisp Programming
A Detailed Analysis of the Component Object Model
Extensible and Adaptable System Software
Design and Implementation of an Inter-Process Communication Model for an Embedded Distributed Processing Network
Architecture Analysis of Service Oriented Architecture
Research on Software Requirement Analysis Method Based on Five-Key Elements Arrange
Component-Aware System Architecting: A Software Interoperability
Application of Self-Organizing Maps to Software Repositories in Reuse-Based Software Development
Scope Equivalence of Concurrent Systems Based on Bipartite Directed Acyclic Graph
Secure and Dynamic Client Environment for Interactive eHomeCare
A Process for BDI Agent-Based Software Construction
Enhancement of Software Inspection Efforts Allocation using Fuzzy Control Strategy
Software Development: Planning x Agility
Recover The Use Case Models
Benefits of Using Tabular Expressions in Planning Health Services
Ontology-Driven Middleware for Next-Generation Train Backbones
Components Selection for Applications Interconnection: A Genetic Approach
Improving Modularity of Multithreads Object-Oriented Programming
Gesture Browser: Realization of Customizable Gesture Interfaces in Mobile Device
An Expert System for Pi-Calculus and Api-Calculus Automated Reduction
Proceedings of the International Conference on Software Engineering Research and Practice, SERP '04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 1
Modeling Organization Structures In UML
A Theory for Adaptive Personalization in Web-Based Courses