yusuke1997/dblp-id-title huggingface dataset:
Issues on Estimating Software Metrics in a Large Software Operation
A Comment Analysis Approach for Program Comprehension
30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA
Using Jaza to Animate RoZ Specifications of UML Class Diagrams
Architectural Models of Ambient-PRISMA in Channel Ambient Calculus
Applying Fault Correction Profiles
The Quantitative Safety Assessment for Safety-Critical Software
An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations
Optimal Software Release Time Incorporating Fault Correction
32nd Annual IEEE Software Engineering Workshop, SEW 2008, Kassandra, Greece, October 15-16, 2008
Analysing Tactics in Architectural Patterns
Making Components Fit: SPINing
Model-Based Engineering of Software: Three Productivity Perspectives
Constraint-oriented Variability Modeling
Mapping CMMI Project Management Process Areas to SCRUM Practices
A Component-Based Model for Building Reliable Multi-Agent Systems
A Generative Approach to Building a Framework for Hard Real-Time Applications
Querying Software Interdependence Graphs
Data Warehousing in an Industrial Software Development Environment
A Change of Perspective Yields Formal Analysis
Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis
Determining the Applicability of Agile Practices to Mission and Life-Critical Systems
Autonomous and Autonomic Systems: Paradigm for Engineering Effective Software-Based Systems?
Dogfooding the Formal Semantics of mCRL2
Research on Aspect Connectors for Software Architecture Adaptation
On the Use of Specification-Based Assertions as Test Oracles
Looking into Compensable Transactions
A Refinement Based Framework for Computing Loop Behavior
An Alternative Method Employing Uses Cases for Early Effort Estimation
Using Views to Specify a Synchronization Aspect for Object-Oriented Languages
Evaluating MaSE Methodology in the Requirements Identification
Decentralized Reasoning in Ambient Intelligence
Toward Intelligent Software Defect Detection - Learning Software Defects by Example
A Framework for Flexible and Executable Usability Patterns Standards
An AOP-based Performance Evaluation Framework for UML Models
Decision Support for Software Release Planning - Methods, Tools, and Practical Experience
A New Way to Predict Software Reliability with Parameter Evaluation: Shuttle Applications
Software Impact Analysis in a Virtual Environment
28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 3-4 December 2003, Greenbelt, Maryland, USA
Pseudo-Exhaustive Testing for Software
The EMISQ Method - Expert Based Evaluation of Internal Software Quality
Exploiting Ecore's Reflexivity for Bootstrapping Domain-Specific Code-Generators
Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis
Partial Slices in Program Testing
Global Software Processes Definition in a Distributed Environment
Validation of Object Oriented Software Design With Fault Tree Analysis
Understanding Change Requests to Predict Software Impact
Variability and Rigour in Service Computing Engineering
Special Session on "Simplification through Change of Perspective"
Using Simulation to Validate Style-Specific Architectural Refactoring Patterns
Uncertainty: A Meta-Property of Software
A Metrics Based Approach for Identifying Requirements Risks
Architecting Network-Centric Software Systems: A Style-Based Beginning
Automating the Transformation from BPMN Models to CSP+T Specifications
Designing Software Product Lines with UML
An Adaptative Framework Architecture for RFID Applications
Automatic Classification of Software Change Request Using Multi-label Machine Learning Methods
Metrics and Antipatterns for Software Quality Evaluation
Qualitative Modeling for Requirements Engineering
Investigating Automatic Static Analysis Results to Identify Quality Problems: An Inductive Study
Retrenching the Purse: Finite Exception Logs, and Validating the Small
Testing Patterns
A Verified Formal Model of a VC Generator
An Optimized Grid-Based, OGC Standards-Compliant Collaborative Software System for Serving NASA Geospatial Data
35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012
Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development
Experimenting with Software Architecture Flexibility Using an Implementation of the Tactical Separation Assisted Flight Environment
Formal Verification of Abstract System and Protocol Specifications
Targeting Prediction: Engineering a Distributed Event Processor for an Autonomic Biometric System
Towards a Hybrid Formal Method for Swarm-Based Exploration Missions
A Middleware Architecture for Context-Aware and Location-Based Mobile Applications
Transformational Approaches to Model Driven Architecture - A Review
Research on the Topic of Principal Instructional Leadership in China - Status and Changes: Knowledge mapping analysis based on CNKI database
A Study on Financial Risk Prediction of Enterprises Based on SVM-FOAAdaboost Algorithm
Digital Clothing Visualisation and Analysis based on VOSviewer
The Twin Terminal of Pedestrian Trajectory Based on City Intelligent Model (CIM) 4.0
Restoration of Campus Pedestrian Space Based on Visual Perception and Machine Learning
Dynamic Bayesian-based Optimization of Fuzzy Licence Plate Image Detection and Recognition
Research on Artistic Design Methods for Chinese Traditional Font Elements Based on AIGC Technology
Proceedings of the 2024 International Conference on Digital Society and Artificial Intelligence, DSAI 2024, Qingdao, China, May 24-26, 2024
Analysis of Low-carbon Economy Based on Three-stage DEA Model
A study on the mechanism of the impact of anthropomorphic features of virtual chatbots on user experience
Construction and Empirical Research of a Blockchain Based Financial Risk Control Model for Coal Supply Chain
Research on the quantitative evaluation of the characteristics of China's express logistics green and low-carbon development policies based on the PMC index model
Intelligent Student Performance Clustering and Personalized Teaching Suggestions Based on K-Means
On Topic Extraction and Bibliometric Analysis of Phonetic and Phonology Studies of Min Dialects: Based on the Research Papers of Mainland and Taiwan, China Since 1978
Research on user profiling of agricultural e-commerce based on K-means clustering algorithm
Certain investigations on Digital technology, industrial agglomeration and tourism efficiency
Empirical analysis of the integrated development of health tourism industry based on random forest
Empirical Analysis of the Efficiency of Private Investment in Xi'an City Based on DEA Malmquist Model
A Bibliometric Comparison of Chinese and International Research in the Field of Generative AI
Research on the Development Status of the Combination of Biology, Chemistry, Geology and Artificial Intelligence
Price prediction of sailboat market based on Least Squares Method-Genetic Algorithm-BP Neural Network
Digital Restoration and Reproduction of Historical Monuments Based on 3D Point Cloud Scanning and Model Repair Technology: A Case Study of the Ming Dynasty's Wooden Memorial Archways
Research on Intelligent Vehicle Cockpit Design Based on Multimodal Human-Computer Interaction Technology
Algorithm-based Research on Minimum Protected Price Policy for Agricultural Products
Analyzing the Correlation and Risk-Return Trade-off: An Application of the GED-GARCH Model to China's Convertible Bond and Stock Markets
Stock Index Prediction Based On VMD-ARIMA-CNN-LSTM
Teaching innovation of engineering costing specialty based on online and offline interactive teaching mode of AI technology
Outcome-Adaptive Elastic Net for Casual Inference from High-dimensional Collinear Data
Multi-factor Stock Model in AIGC Industry based on Sequential Backward Elimination and Stacking Model
SlimFocal-YOLO: A Lightweight Grape Disease Detection Model Based on YOLOv8
Relationship analysis and price forecasting of supermarket vegetables based on ARIMA models
Enhanced Weapon Target Allocation through Integration of Stochastic Dynamic Programming and Machine Learning
Monocular Scene Flow Estimation with Channel Reconstruction Unit Transformer
Design of Meat Traceability System based on Service Design Thinking
National Average Starting Salary Forecast for College Graduates in China
Visualizing and Analyzing Xiang Dialect Grammar Literature (1980-2022) Using VOSviewer: A Comprehensive Exploration of Research Trends, Shortcomings, and Future Directions
Stock Prediction Based on TCN-ARIMA-GARCH Model with Intelligent Optimization Algorithm
Prediction of China's Economic State Based on Integrated Learning and LSTM Modeling
Analysis of AI Design Creation Based on Generative Digital Construction of Sichuan Stone Carving Plant Patterns
Navigating Sailboat Prices: Unveiling Key Influencers with a Comprehensive XGBoost Model for Multi-Dimensional Insights
Stock weighted average price prediction based on feature engineering and Lightgbm model
Gamified static stretching assistive products design based on sedentary office workers
Design and experiments of an intelligent seedlings transplanting robot
Multi-constraint dynamic maritime navigation route generation using D* algorithm
Identification of systemic financial risk based on complex network banking
Road Traffic Accident Data Management and Application Analysis Based on Knowledge Graph Technology
Using Machine Learning to Optimize the Visual Perceptual Environment of Inter-house Leisure Spaces in Cold Winter Environments
An Empirical Analysis of Digital Classification of Chinese Painting Images Based on Convolutional Neural Network Design Model
Predicting Entrepreneurial Decisions Using Artificial Intelligence within the Digital Economy Context: A CART Algorithm
Enhancing College Students' AI Literacy through Human-AI Co-Creation: A Quantitative Study
Development of Evaluation and Control System for Environmental Protection Capability of Power Grid Enterprises Based on a Three-Level Indicator System
Exploring Success Factors for Digital Patient Decision Aid Implementation: A Hybrid Fuzzy Delphi and DEMATEL Approach
Exploratory Data Analysis and Credit Score Classification for Credit Scoring Based on Improved Artificial Neural Network Models with Channel Attention Mechanisms
Research on the role of blockchain-based federated learning technology in traditional cultural inheritance
Research on Key Influencing Factors and Conduction Path of Power Grid Investment Efficiency based on developed Grey Analysis
The Impact of Digital Innovation on High-Quality Economic Development: A Perspective Based on Spatial Spillover Effects
Construction and Validation of Enterprise Performance Evaluation Model Based on Big Data Mining Algorithm
Intrusion Detection Based on Complete System Call Information
European option pricing Prediction under time-varying Brown Motion Based on LSTM Hybrid Neural Network
Research on MACD Indicator Optimization and Stock Timing Strategy based on Machine Learning: A Comprehensive Comparative Analysis of Automated Trading and Manual Monitoring
Research on carbon emission data monitoring method based on digitalized control architecture
The Overall Systematization and Scientific Intelligence of Digital Guidance Design
The Impact of Green Human Resource Management: A Moderated Mediation Model
Quantifying University Campus Imagery: A Social Survey of Three University Campuses in China based on Internet Image Data
Research on the Impact of Tobacco Consumer Brand Migration Behavior Based on Andersen-Gill Model
A Review of Research on Traffic Flow Prediction Methods Based on Deep Learning
Visualization Method for Finite Element Models and Analysis Results Based on WebGL
Analyzing the Impact of Various Factors and Policies on China's New Energy Electric Vehicles
Research on Distributed Electricity Trading Model and Platform Utilizing Aggregator Model with Blockchain Technology
Exploring the Impact of AI Chatbots on Students' Entrepreneurial Intentions: An Empirical Study Using TPB and TAM
Research on the Mechanism of Cultural Identity Impact under the Integration of Red Tourism and Cultural Tourism Empowered by Digital Technology
Optimal settlement strategy for the thermal power in the electricity market with highly penetration of renewable energy
Under the wave of artificial intelligence: a relationship model between female teenagers' Big Five personalities and musical preferences
The application research of generative adversarial network (GAN) technology in impressionist painting
Dynamic Weighted Structured Knowledge Distillation for Object Detection
Vegetable commodity forecasting based on ARIMA and dynamic game modeling
Reshaping China's Ecological Image: A Corpus-based Study of Discourse Construction of China's "Dual Carbon Goals"
Cybersecurity Education in the Age of AI: Integrating AI Learning into Cybersecurity High School Curricula
An innovative design and studio-based CS degree
Active Learning in CS2 and Discrete Mathematics
The World's Fastest Fractal Drawing Program!
A Two-Course Sequence of Real Projects for Real Customers
B4Tran: A structured mini-language approach to the teaching of Fortran
Reimagining Professional Development for K-8 CS Teachers: Evaluating a Virtual, Diffuse Model
Learning from What Works: Improving an Introductory Computing Course for Architects with Teaching Methods from Media Computation (Abstract Only)
Supporting Students at Scale: Profiling Student Behaviors on Usage and Impact of the Student Support System
The impact of instructor initiative on student learning: a tutoring study
PWN Lessons Made Easy with Docker: Toward an Undergraduate Vulnerability Research Cybersecurity Class
QC.py: Quantum Computing Simulation and Visualization Suite
Incorporating Computing for Social Good in Computing Education
Experiences teaching operating systems using virtual platforms and linux
Assessing the assessment of programming ability
Computer Science through Concurrent Enrollment: Reflections and Lessons Learned Offering Mobile CSP as a Concurrent Enrollment Course
Introducing middle school girls to fault tolerant computing
Design Principles behind Beauty and Joy of Computing
CS Education Infrastructure for All: Interoperability for Tools and Data Analytics (Abstract Only)
Computer science curriculum for high school students
Evaluating individuals in team projects
Design and Evaluation of a Course Module on Android Cipher Programming (Abstract Only)
"We have to learn to work with such systems": Students' Perceptions of ChatGPT After a Short Educational Intervention on NLP
Individualized Assessments using Dividni - Enhancing Learning via Assessments Unique to Every Student
Piloting Intergenerational Participatory Design with Students & Teachers to develop Integrated K-8 CS Learning Experiences
Analysis of a CS1 approach for attracting diverse and inexperienced students to computing majors
Evaluating Student Teams: Do Educators Know What Students Think?
Poster: A Modular and Innovative Security Analytics Course
Is Elementary AI Education Possible?
IT2017 Report: Implementing A Competency-Based Information Technology Program
Data structures through plan instantiation
Software engineering for seniors - overcoming the administrative fears
Experiences in Teaching the Internet of Things Courses
An Exploration of Elementary Students Debugging Behaviors in Scratch
CS-1 for scientists
The consume - create spectrum: balancing convenience and computational thinking in stem learning
Test-driven learning in early programming courses
NSF-DGE GK-12 teaching fellowships: changing student perceptions about computer science
Pervasive computing in the undergraduate curriculum
Network computing for computer science departments
The effect of high school computer science, gender, and work on success in college computer science
Increasing Student Self-Efficacy in Computational Thinking via STEM Outreach Programs
Teaching students java bytecode using lego mindstorms robots
Youngster: a simplified introduction to computing: removing the details so that a child may program
CS principles: piloting a national course
A new instructional operating system
Coding the Coders: Creating a Qualitative Codebook for Students? Commenting Patterns (Abstract Only)
Integrating Computational Modeling in K-12 STEM Classrooms
Using a Computer-based Testing Facility to Improve Student Learning in a Programming Languages and Compilers Course
A laboratory for a computers and programming course
Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1995, Nashville, Tennessee, USA, March 2-4, 1995
Non-Major Peer Mentoring for CS1
Supporting and evaluating team dynamics in group projects
Industry fellows: bringing professional practice into the classroom
AI Book Club: An Innovative Professional Development Model for AI Education
Computer Science Instruction and Academic Outcomes in Other Subjects
Rethinking computing
Experiment-based project in undergraduate computer architecture
Regional celebrations of women in computing (WiC): best practices (abstract only)
Prolog in the automation of the semantic component
Mathematical induction is a recursive technique
A data-centric introduction to computer science for non-majors
Teaching new technologies (Panel Discussion)
The Impact of Programming Project Milestones on Procrastination, Project Outcomes, and Course Outcomes: A Quasi-Experimental Study in a Third-Year Data Structures Course
Seven design rules for teaching students sound encapsulation and abstraction of object properties and member data
Exploring connected worlds (abstract only)
Towards Reuse of Resources and Replication of Results to Improve Instruction on Refactoring Conditionals for Novice Programmers
Computer engineering computing curricula
Upward Mobility for Underrepresented Students: A Model for a Cohort-Based Bachelor's Degree in Computer Science
Proceedings of the 2024 ACM Virtual Global Computing Education Conference V. 1, SIGCSE Virtual 2024, Virtual Event, NC, USA, December 5-8, 2024
Understanding the Impact of Using Generative AI Tools in a Database Course
Dynamic programming across the CS curriculum (abstract only)
Attracting Adults to Computer Programming via Hip Hop
The CS2023 Security Challenge: How To Incorporate Security into Computer Science Programs
A graph generation software package
Embedding Secure Coding Instruction into the IDE: A Field Study in an Advanced CS Course
The role of computer science education in certification of computer professionals
The Integration of Computational Thinking and Making in the Classroom
SIGCSE special projects showcase
Toward Teaching Strategies for Block-based Languages: Possibilities, Challenges, and Experiences (Abstract Only)
Beyond clickers: using ClassQue for multidimensional electronic classroom interaction
A Framework that Explores the Cognitive Load of CS1 Assignments Using Pausing Behavior
Scaling and Adapting a Program for Early Undergraduate Research in Computing
A project oriented course on software engineering
"It is what the situation demands": How Communities of Practice Create Value for CS Teachers in the Time of Covid
Understanding the Leadership Structure and Mentoring Model of an Extracurricular Robotics Team: Key Findings from a Case Study
A technical writing class for computer science majors: measuring student perceptions of learning
Remote Early Research Experiences for Undergraduate Students in Computing
The Correctness of the Mental Model of Arrays After Instruction for CS1 Students
Computer whatcha-maycallit: Insights into universal computer education
Cybersecurity for Future Presidents: An Interdisciplinary Non-majors Course
Unintentional Barriers for AP Computer Science Principles: A Course Designed for Every Student
A Framework for Teaching Programming Languages
Fostering Race-Conscious Literacies in Computer Science Teacher Education
Scaling Academic Decision-Making with NLP: Automating Transfer Credit Evaluations
Collaborative programming exercises in virtual worlds (abstract only)
Towards a More Inclusive Tech Culture: Promoting Professionalism in CS Classrooms and Labs
A framework for CS1 and CS2 laboratories
A historical, generalistic, and complementary approach in introductory computer science education
Guided Undergraduate Training for Shark Segmentation (GUTSS)
Recruiting Experts: Toward a Concept Inventory for Computer Science 2 (Abstract Only)
Cracking the Code: Bringing Introductory Computer Science to a Charleston Middle School (Abstract Only)
How Good are Large Language Models at Generating Subgoal Labels?
Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, Milwaukee, Wisconsin, USA, March 10-13, 2010
Add Some Action to the Output: A Ready-to-Use, Customizable Asset for Easily Adding Animation to Python Programs
Incorporating writing into the CS curriculum
Integrating agility in the cs curriculum: practices through values
Canvas Considered Helpful?
An instructional Computer Program Library
A statistical analysis of the effect of discrete mathematics on the performance of computer science majors in beginning computing classes
"The Babel experiment": an advanced pantomime-based training in OOA&OOD with UML
Can a Free Tool in an Ebook Platform, Searchable Question Bank, and Summer Workshop Help Instructors Adopt Peer Instruction?
How Near Peer Mentoring Affects Middle School Mentees
Summer high school computer workshop
Trends in CS enrollment at small, liberal arts institutions (abstract only)
Computer education in two-year institutions: - A natural point of supply for hireable, operational, EDP-applications programmers
Using a pre-assessment exam to construct an effective concept-based genetic program for predicting course success
Teachers' Experiences of using PRIMM to Teach Programming in School
Student progress monitoring tool using treeview
A Gateway Game to Make Computational Problem Solving Accessible and Engaging (Abstract Only)
Are You Game?
Cybersecurity as a Crosscutting Concept Across an Undergrad Computer Science Curriculum: An Experience Report
Using an Intelligent Tutoring System to Teach Red Black Trees
Increasing Understanding of Students' Programming Process through Scratch Programming Event Data Analysis
Enhancing Formative Feedback at Scale with the Intelligent Feedback Assistant
An LLM-based Reflection Analysis Tool for Identifying and Addressing Challenging Topics
Data Structures Courses: Past, Present, and Future
Support for Programmed Instruction in an eTextbook
Moms Can Be Computing Leaders, Too!
Implementing CC2001: a breadth-first introductory course for a just-in-time curriculum design
A logic programming model of the game of sprouts
How Do Students Envision Good Programmers?: Investigating CS1 Students' Perceptions of Professional Programmers
A laboratory to support a first course in data communications using personal computers and Turbo Pascal (abstract)
Understanding and Measuring Incremental Development in CS1
Assessing Elementary Teachers' Knowledge of Integrated Computational Thinking
Implementing a More Challenging Parsons Problem Interface for Teaching Computer Science
Integrating active learning techniques into systems courses (abstract only)
K-12 CS Teacher Licensing in the US
UWCSE351 Virtual Memory Simulator
Bioinformatics and computing curriculum: a new model for interdisciplinary courses
Programming Practice Logs as a Tool to Support Equity and Inclusion
Graduate Student Needs Assessed, Global Community Built? Now What?: The Future of a Small CSE Graduate Research Project That Engaged a Global Community
The Implications of Large Language Models for CS Teachers and Students
Colorado Strategic Approach to Rally Teachers
Animating operating systems algorithms with XTANGO
Exploring Different Specifications Grading Policies
Calibration and Analysis of Source Code Similarity Measures for Verilog Hardware Description Language Projects
The Role of CS Departments in The US President's "CS for All" Initiative
It's Challenging but Doable: Lessons Learned from a Remote Collaborative Coding Camp for Elementary Students
Computer Science: Small Department Initiative (Abstract Only)