yusuke1997/dblp-id-title huggingface dataset:
Relationship between crosscutting concerns and defects
Transformation of Alloy Notation into a Semantic Notation
Empirical research in software engineering: a workshop
Observations on patterns of development in open source software projects
Advanced programming in the UNIX environment, third edition by W. Richard Stevens and Stephen A. Rago
A reusability-based software development environment
Evolutionary Delivery versus the "waterfall model"
Formal methods and standards
A fully capable bidirectional debugger
Theory of conditional games by Wynn C. Stirling
Visit report: 2nd european COTS user working group workshop (ECUA2001)
Errors in the UML metamodel?
Accumulation and presentation of empirical evidence: problems and challenges
Generic methodology for open source software development
Agent architecture for agent-based supply chain integration & coordination
Program verification prize
Mobile commerce: opportunities, applications, and technologies of wireless business
Towards assessment of software reliability and its characteristics in safety systems of nuclear reactors
Roller coaster
Review of "Managing software requirements, a use case approach by Dean Leffingwell and Don Widrig." Addison-Wesley 2003
Software Engineering Education for the Next Generation SEENG 2021 Workshop Report
ICSE 2004 workshop summary second international workshop on dynamic analysis (WODA 2004)
Effective requirements practices
A case study in test environment evolution
Syntax-directed editing revisited
An integrated solution based approach to software development using unified reuse artifacts
Interaction Traces Mining for Efficient System Responses Generation
Using Theia Trace Viewer to Visualize JPF Traces
Report on the 2nd International Workshop on DesigningSoftware (Designing 2025)
Review of "Managing software for growth: without fear, control, and the manufacturing mindset by Roy Miller." Addison-Wesley 2003
Teaching the Design-by-Contract Concept in a Software Engineering Course Using RESOLVE
The power of integrated methods
A tool for the collection of industrial software metrics data
Presentation patterns: techniques for crafting better presentations by Neal Ford, Matthew McCullough and Nathaniel Schutta
COTS workshop: continuing collaborations for successful COTS development
Usability testing essentials: ready, set...test! by Carol M. Barnum
Book Review: Beyond Technology's Promise
Finite state machine based approach to prevent format string attacks
Software engineering: effective teaching and learning approaches and practices
Frontmatter (TOC, Letter from the chair, Letter from the editor, Letters to the editor, ACM policy and procedures on plagiarism, PASTE abstracts, Calendar of future events, Workshop and conference information)
CBS testing requirements and test case process documentation revisited
REFSQ'97 workshop summary
A composite complexity measure for component-based systems
Core Java volume I: fundamentals, 9th edition by Cay S. Horstmann and Gary Cornell
Leadership, teamwork and trust: building a competitive software capability by Watts S. Humphrey and James W. Over
Tailoring knowledge sharing to the architecting process
The role of software configuration management in a measurement-based software engineering program
Software methodology: ASTM
Criticality analyzer and tester: an effective approach for critical component identification & verification using ABC
A Distributed Load-balancing Scheme Based on a Complex Network Model of Cloud Servers
Application Multi-Tenancy for Software as a Service
Creating high performance software development teams
Review of "The description logic handbook" by Franz Bader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter Patel-Schneider. Cambridge University Press 2003
Looking for the event list
Software reliability apportionment using the analytic hierarchy process
Observing the user experience, 2nd edition: a practitioner's guide to user research by Elizabeth Goodman, Mike Kuniavsky, and Andrea Moed
Reverse engineering questionnaire
Research on sets, constraints, and preferences
Finding flows in software development
Domain Modeling Representation Strategies: Towards a Comparative Framework
An annotated bibliography on software maintenance
Object modeling and user interface design designing interactive systems
Comparing test data adequacy criteria
A dynamic software metric and debugging tool
Punchcard voting systems
Analysis of techniques in the assessment of ultra-reliable computerized systems
A very short paper on the OBJECT/EVENT-ANALYSIS
Framework for hybrid performance prediction process model: use case performance engineering approach
Letter on Parnas' view of Dijkstra vs. deMillo, Lipton and Perlis
Determination of maintainability index for object oriented systems
A note on program reliability
Using an existing suite of test objects: experience from a testing experiment
A discussion on security typing and measurement for SOA
Formal methods for multimethod software components
Towards requirements-driven autonomic systems design
Program comprehension and software reengineering
Test case prioritization based on requirements and risk factors
A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder
Software engineering and SDI
Review of "Balancing Agility and Discipline: A Guide for the Perplexed by Barry Boehm and Richard Turner"; Addison Wesley, 2004, ISBN 0-321-18612-5
Review of "Competitive Engineering by Tom Gilb", Elsevier, 2005. ISBN: 0-7506-6507-6
The essence of objects
A formalization of Myers cause-effect graphs for unit testing
Tools to generate and check consistency of model classes for Java PathFinder
Collaborative enterprise architecture by Stefan Bente, Uwe Bombosch, and Shailendra Langade
A comparative study of bayesian and fuzzy approach to assess and predict maintainability of the software using activity-based quality model
Book Reviews: Object Oriented COBOL, Edmund C. Arranga and Frank P. Coyle
A note on rigour and replicability
Expert systems development: some issues of design process
Object-oriented software engineering: conquering complex and changing systems
Principles of survey research: part 5: populations and samples
Stimulus-response machines: a new visual formalism for describing classes and objects
Testing and enhancing a prototype program fusion engine
ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing
A practicioner's observations on the software testing workshop
Reviews of two books by E. N. Yourdon: review of "Classisc in software engineering" by E. N. Yourdon. Yourdon Press 1979. and "Writings of the Revolution" by E. N. Yourdon. Yourdon Press 1982
A data-agnostic dashboard visualization framework with customizable layout for e-commerce data analytics
Principles of survey research: part 1: turning lemons into lemonade
Software estimation in the maintenance context
Notes On Agile and Safety-Critical Development
Implications of Resurgence in Artificial Intelligence for Research Collaborations in Software Engineering
People management in software industry: the key to success
Technical Debt: Beyond Definition to Understanding Report on the Sixth International Workshop on Managing Technical Debt
The Recent Wave of Generative AI Systems: What Does This Tell Us About What AI Can Do Now?
Summary of the 2nd Workshop on Gender Equality in Software Engineering (GE 2019)
Applying direct manipulation concepts: direct manipulation dik operating system (DMDOS)
The smart stub as a software management tool
Why attending conferences is important for your research: ESEC/FSE 2013 experience summary
An efficient asynchronous mobile web service framework
Review of "Return on Software by Steve Tockey"; Addison Wesley, 2005
On reverse engineering an object-oriented code into UML class diagrams incorporating extensible mechanisms
Envisioning an Intelligent Collaborative Integrated Development Environment
Urgent research issues in software process engineering
Analysis and testing of concurrent object-oriented software
Review of "Term rewriting systems" by Mark Bezem, Jan Willem Klop, and Roel de Vrijer. Cambridge University Press 2003
A web-based tool for managing architectural design decisions
Software Qualities and their Dependencies Report on two editions of the workshop
Some verification problems in Pascal-like languages
Leaves from the notebook of a veteran programmer/analyst: my sixteen months of experience with Jackson Program Design Methodology
Formalization Integrated Development Environments: The Current Landscape
Review of "Managing the Testing Process by Rex Black, " Wiley 2002
The Human Need for Storytelling: Reflections on Qualitative Software Engineering Research With a Focus Group of Experts
The First International Workshop on Neuro-Symbolic Software Engineering (NSE 2025)
S-R machines: a visual formalism for reactive and interactive systems
Book Reviews: Object Oriented Compiler Construction, Jim Holmes
High-level open evolvable systems design by process-oriented modeling: application to DNA replication mechanism
An intelligent multi-display terminal system towards: a better programming environment
Evolutionary design of complex software (EDCS)
The design of design: essays of a computer scientist by Frederick R. Brooks, Jr
Formally modelling software architectures with the UML 2.0 profile for pi-ADL
Evidence-based practice in human-computer interaction and evidence maps
A prolific approach for automated generation of test cases from informal requirements
Information visualization: perception for design by Colin Ware
Languages for representing software specifications and designs
Where agile research goes: starting from a 7-year retrospective (report on agile research workshop at XP2009)
Clamp: automated joinpoint clustering and pointcut mining in aspect-oriented refactoring
Software value added study
Developing Ada software without target hardware
An extended systems modeling language (ESML)
Pains and Gains of Peer-Reviewing in Software Engineering
Selective capture and replay of program executions
Comments on software quality evaluation guidebook
jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code
Wireless Web: a manager's guide
Natural language based component extraction from requirement engineering document and its complexity analysis
[email protected]: Third Workshop on Gender Equality, Diversity, and Inclusion in Software Engineering
Personality characteristics in an XP team: a repertory grid study
CMMI distilled
The Practical Verification System Project
The development of JR-DSSG: a case study of software reuse
Design, Measurement and Management of Large-Scale IP Networks is written by Antonio Nucci and Konstantina Papagiannaki, and published by Cambridge University Press, 2009, 978-0-521-88069-5, 394 pp
Verification Benchmarks
Review of "Trustworthy Systems Through Quantitative Software Engineering by Lawrence Bernstein and C. M. Yuhas", IEEE Computer Society Press, 2005
Review of "Fascicle 4: Generating All Trees - History of Combinatorial Generation by Donald E. Knuth", Addison-Wesley, 2006, ISBN 0-321-33570-8
Issues in transfer of skills in software engineering training
Second international workshop on software engineering decision support: (SEDECS'2003)
A model for versioning control mechanism in component-based systems
NLP@Desktop: a service oriented architecture for integrating NLP services in desktop clients
Combinatorial testing: learnings from our experience
More anecdotage
Software engineering: the current practice by Vaclav Rajlich
Enterprise modeling by means of UML instance models
Letter on Parker's "design methodologies: a comparison"
Extending use cases throughout the software lifecycle
Report on the IEEE STD 1219-1993 - standard for software maintenance
Report to SIGSOFT membership fiscal year 1983 actual income and expenses
Book Review: The Object Primer
Data rate based adaptive thread assignment solution for combating the SlowPOST denial of service attack
A rational theory of system-making systems
An approach for early prediction of software reliability
Book Reviews: The Capability Maturity Model Guidelines for Improving the Software Process
A presentation of the specification and verification project "ABEL"
Criteria for software reliability model comparisons
Exploring the world of software maintenance III: research and development - future directions in software maintenance
More thoughts on specification and verification
Found poetry of software engineering
Intractable ERP: a comprehensive analysis of failed enterprise-resource-planning projects
TXM: an agile HW/SW development methodology for building medical devices
Term rewriting and all that
Design for Emotion by Trevor van Gorp and Edie Adams
Reusability assessment for software components
Security and privacy for Microsoft office 2010 users by Mitch Tulloch
Structuring complex requirements
Think like a programmer: an introduction to creative problem solving by V. Anton Spraul
SCM-11: 11th workshop on software configuration management workshop report
An overview of the PAISLey project-1984
The SuperPascal Software
2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems
Is your computer system sub-critical?
Trends and emerging areas of agile research: the report on XP2014 PhD symposium
Influencing factors in outsourced software maintenance
Experience with evolutionary prototyping in a large software project
Software development governance (SDG): report on 2nd workshop
The best laid plans of mice and men
Realising evidence-based software engineering (REBSE-2) a report from the workshop held at ICSE 2007
Testing for concurrency in UML diagrams
Visual support of software engineers during development and maintenance
Storage and network requirements of a low-cost computer-based virtual classroom
Operating systems architecture future directions for heterogeneous communication systems
A survey of software functional testing methods
Environmental Big Data: a systematic mapping study
Another view on "fairness"
Formally refining software architectures with pi-ARL: a case study
Issues arising from refactoring studies: an experience report
Proposals for tool and methodology evaluation experiments: ACM SIGSOFT sponsored software engineering symposium on tool and methodology evaluation
Neural network based black box testing
The "BUG" heard 'round the world: discussion of the software problem which delayed the first shuttle orbital flight
Embedded documentation for semi-automatic program construction and software reuse
Test code differencing for test-driven refactoring automation
Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report
A reuse triplet for systematic software reuse
Qualitas.class corpus: a compiled version of the qualitas corpus
The role of Java RMI in designing workflow management system
Search, sort, pagination, association and (other) CRUD: a comparison of ActiveScaffold and MyFaces tomahawk
Some comments on coding practice
Summary of the Dagstuhl workshop on future directions in software engineering: February 17-21, 1992, Schloß Dagstuhl
LISISAP: link level signature based secure anonymous protocol for prevention of traffic analysis attacks
Object oriented software quality prediction using general regression neural networks
Exploratory visualization
The Ariane 5 software failure
Computer aided prototyping
Report on the 2nd Workshop on Human Centric Software Engineering & Cyber Security (HCSE&CS 2021)
Building testable software
Java programming: from the beginning
Book Review: Object - Oriented Development Process and Metrica
Formal methods
Response to Jim Horning's letter
Research challenges in large-scale agile software development
A Centralized Platform of Open Government Data as Support to Applications in the Smart Cities Context
Book Reviews: Dictionary of Object Technology, Donald G. Firesmith and Edward M. Eykholt
Review of "Literary machines" by Ted Nelson. 1983
Review of "IT project estimation: a practical guide to the costing of software" by Paul Coombs. Cambridge University Press 2003
The role of failure in successful design
Software investment strategy
The 13th International Workshop on Genetic Improvement(GI @ ICSE 2024)
Transparent shaping of existing software to support pervasive and autonomic computing
Formula Hybrid + Electric: Because it's crazy to try
What's wrong with software engineering research methodology
A cautionary tale
A verified encrypted packet interface
Summary of the 12th Brazilian Conference on Software and the 1st Latin American School on Software Engineering
Where does reuse start?
A method for specifying structured programs
Editorial: special section on formal plus agile methods
Software Technology Conference information
A comparison of object-oriented languages in software engineering
Management of dormant files
Summary of IEEE CSM WG meeting #5, 23-25 Jan 85
The Maturity Movement and Acedia
Estimation of software reusability: an engineering approach
Expectation, experiment and reflection on internet software evolution
COOZ: a complete object-oriented extension to Z
Toward objective and quantitative assessment and prediction of teamwork effectiveness in software engineering courses
The 2nd workshop on social and algorithmic issues in business support-knowledge hidden in text
Properties of Z specifications
Book Review: Software Development Using Eiffel
An automated oracle for verifying GUI objects
Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023
Testing web applications focusing on their specialties
Advanced use case modeling: software systems
Review of "Systems Modeling & Requirements Specification Using ECSAM: An Analysis Method for Embedded and Computer-Based Systems by Jonah Z. Lavi and Joseph Kudish", Dorset House Publishing Co. Inc., 2005, ISBN 0-932633-45-5
Research directions in verification & validation process improvement
Integrating a formal specification notation with HOOD
Practical applications of CASE tools on DoD projects
Search based software test data generation for structural testing: a perspective
Dimensions of Diversity, Equity, and Inclusion
On quality
A comment on the notation of the Wirfs-Brock et al object-oriented design method
Empirical investigation of agile software development: cloud perspective
Embellishments to the note on information flow into arrays
Symbolic Verification of Regular Properties for Java Programs
Lean-agile acceptance test-driven development: better software through collaboration by Ken Pugh
From product lines to self-managed systems: an architecture-based runtime reconfiguration framework
The effects of individual XP practices on software development effort
Principles of survey research part 6: data analysis
SUDS: an infrastructure for dynamic software bug detection using static analysis
Survey of software engineering education
Reusability of open-source program code: a conceptual model and empirical investigation
Software process in the organizational context: more data on European practices
Ordered mutation testing
Resolving Ambiguities in Natural Language Software Requirements: A Comprehensive Survey
Multi-person decision-making for requirements prioritization using fuzzy AHP
Affording higher reliability through software reusability
Review of "Software Reliability Engineering: More Reliable Software Faster and Cheaper - 2nd Edition by John Musa". AuthorHouse, Inc., 2004, Hardback, ISBN 1-4184-9388-0, Paperback, ISBN 1-4184-9387-2
Decision support systems in the 21st century
Combining software evidence: arguments and assurance
The elements of MATLAB style by Richard K. Johnson
Public case-base and tool kit using a validated RRM
Will the real SE metaphors please stand up!: (or, I never metaphor I didn't like!)
Impact of inheritance on vulnerability propagation at design phase
Production workflow: concepts and techniques
Pathologies of Compliance: Industrial Disease
Teaching evidence-based software engineering: learning by a collaborative mapping study of open source software
Reusability-based quality framework for software components
Software development methodologies and traditional and modern information systems
Dynamic detection and visualization of software phases
Maintainability: What is it and how do we Measure it?
Agile Technical Debt Management using the LTD Framework
An experiment in software engineering
Control transformations through Petri Nets
Modeling of security requirements for decision information systems
MediaDoc: automated generation of multimedia explanatory presentations
Modern embedded computing: designing connected, pervasive, media-rich systems by Peter Barry and Patrick Crowley
Principles for software environments
Precise static analysis for generic programs in object oriented languages
A software engineering research repository
Software maintainability assessment based on fuzzy logic technique
Strategic defense initiative software feasibility (panel): panel discussion at the 8th ICSE
Modelling and verifying web service orchestration by means of the concurrency workbench
Building application servers
Equivalence analysis: a general technique to improve the efficiency of data-flow analyses in the presence of pointers
Teaching old software dogs, old tricks
Multidimensional quantified goals should direct software design processes
Succeedings of the 8th international workshop on software specification and design
Choosing a middleware for web-integration of a legacy application
Interactive programming environments
The surprising dynamics of a simple year 2000 bug
Reuse: reducing test effort
Summary of the 2nd Natural Language-based Software Engineering Workshop (NLBSE 2023)
Devising the Future of the Models@run.time Workshop
Beyond objects: a software design paradigm based on process control
System attribute specification: a cornerstone of software engineering
Cellular automata based test data generation
Knowledge engineering for software design
ORBIT/VIRTUE - collaboration and visualization support for complex systems evolution
A logic-based approach to software system safety and security
Evaluating software engineering methods and tool part 5: the influence of human factors
A flexible integration strategy for in-car telematics systems
The SALADIN project: summary report
Engineering a compiler, second edition by Keith D. Cooper and Linda Torczon (Review)
A Progress Bar for the JPF Search Using Program Executions
Does CASE make the customer happier
Social Sustainability Approaches for a Sustainable Software Product
Teaching software engineering: a practical approach
Agile software architecture
Driving and managing architectural decisions with aspects
An adaptive dependability model of component-based software
The F3 reuse environment for requirements engineering
Report of the Fourth International Workshop on Quantum Software Engineering (Q-SE 2023)
C++ in action: industrial-strength programming techniques
Report on the 5th International Workshop on Engineering and Cybersecurity of Critical Systems and 2nd International Workshop on Software Vulnerability Management (EnCyCriS/SVM - 2024)
The ALI Architecture Description Language
History of computers can raise student's interest
Standards development preference survey
CMS tool: calculating defect and change data from software project repositories
On E. W. Dijkstra's position paper on "fairness: "
Book Review: An ISO 9000 Approach To Building Quality Software
Knowledge depot
The need for an integrated design, implementation, verification and testing methodology
Building secure software: how to avoid security problems the right way
Reflections on CSEE&T 2006
Verifying Ada programs
Managing software development
VAST 2011 workshop summary
Book review: Introduction to Software Testing written by Paul Amman & Jeff Offutt. and published by CUP, 2008, 978-0-521-88038 322 pp., 0-471-20282-7
Human and social factors of software engineering: workshop summary
Draft accreditation criteria for software engineering
Model-based (systems) architecting and software engineering (MBASE)
Letter on real software, regarding the commentary by Dijkstra and the reply by DeMillo, Lipton and Perlis
A COTS architectural component specification stencil for selection and reasoning