yusuke1997/dblp-id-title huggingface dataset:
A towards an extended relational algebra for software architecture
Practical techniques for the design, specification, verification, and implementation of concurrent systems
ACM fellow profile: Eugene H. Spafford
Report on the First International Workshop on Comparative Evaluation in Requirements Engineering
Why software engineering programs should teach agile software development
Object-oriented analysis and design with applications, third edition
Letter to Dr. Susan Gerhart: comments on two book reviews
UXSOM: UML generated XML to software metrics
Book Reviews: The Craft of Software Testing: Subsystem Testing Including Object-Based and Object-Oriented Testing, Brian Maxick
The waterfall that won't go away
ACM fellow profile: Bob Glass
Designing the Software Systems of the Future
Estimating software attributes: some unconventional points of view
A "call for answers" around the proposition of an HCI-enriched model
Review of "Critical testing processes: plan, prepare, perform, perfect" by Rex Black. Addison-Wesley 2004
pi-Method: a model-driven formal method for architecture-centric software engineering
A model and a tool for change propagation in software
Testing software fault tolerance techniques: future direction
Lessons learned with ACME an environment integration experiment
Static analysis of role-based access control in J2EE applications
Investigating a new formal model for a library system using B method
Addressing the Agony of Recruitment for Human-centric Computing Studies
Relational programs
Modeling of state transition rules and its application
Review of "Interpreting the CMMI: A Process Improvement Approach by Margaret K. Kulpa and Kent A. Johnson". Auerbach Publications 2003
A reply to the criticisms of the Knight & Leveson experiment
MMSD'96: workshop on multimedia software development
Attack Synthesis for Strings using Meta-Heuristics
The art of multiprocessor programming by Maurice Herlihy and Nir Shavit
Issues of dependability in open source software development
CSCW 94 Workshop to Explore Relationships between Research in Computer Supported Cooperative Work & Software Process: Workshop Report
Errors in Computing History
Pains and Gains of Peer-Reviewing in Software Engineering (5)
Scientific Software: A Guide to Good Style is written by Suely Oliveira and David Stewart, and published by Cambridge Universisty Press, 2006, (paperback), 0-521-67595-2, 303 pp
Reasoning About Concurrency: Scenarios for Activities
Stimulating software engineering progress: a report of the software engineering planning group
On Incomplete Bug Fixes in Eclipse and Programmers' Intuition on These
Non-directive software engineering
Evaluation of various training algorithms in a neural network model for software engineering applications
Role and relevance of reuse repository facilitating software development
Interactive churn metrics: socio-technical variants of code churn
POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems
Software engineering practice versus evidence-based software engineering research
Report from 2nd international workshop on developing tools as plug-ins (TOPI 2012)
Data Fabric and Datafication
Cultural patterns in software process mishaps: incidents in global projects
Towards Understanding the Social and Organizational Dimensions of Software Architecting
Software systems architecture: second edition by Nick Rozanski and Eoin Woods
Sixth International Workshop on Quantum Software Engineering (Q-SE 2025)
Using Harel statecharts to model object-oriented behavior
Levels of abstraction in the system life cycle
Towards generative components
What Do We Mean When We Talk about Artificial Intelligence?: (Part 2)
Use of data abstraction in process specification
Research issues in software fault categorization
A proposed standard set of principles for object-oriented development
A class and method taxonomy for object-oriented programs
Escaping the software tar pit: model clashes and how to avoid them
Using variability modeling principles to capture architectural knowledge
Slow down, you read too fast
Report on the 5th Workshop on Human Centric Software Engineering & Cyber Security (HCSE&CS 2024)
13th Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2022) co-located with ESEC/FSE conference
An Interview with Massimiliano Di Penta - 2024 SIGSOFT Awardee
Two recent books on programming: review of "The science of programming" by David Gries. Springer-Verlag 1981. and review of "The craft of programming" by John Reynolds. Prentice-Hall 1981
On Dijkstra's position paper on software reliability
From theory to practice or how not to fail in developing information systems
Avoiding work by thinking about working
It's our research: getting stakeholder buy-in for user experience research projects by Tomer Sharon
Report on the software process workshop
Property relevant software testing with model-checkers
Review of "Metadata solutions: using metamodels, repositories, XML, and enterprise portals to generate information on demand by Adrienne Tannenbaum." Addison-Wesley 2002
An innovative software reengineering tools workshop - a test of market maturity and lessons learned
Two observations on large software projects
7th International Workshop on Software-intensive Business (IWSiB 2024): Software-intensive Business in the Era of Generative Artificial Intelligence
Frontmatter (TOC, Miscellaneous material)
Variability in software architecture: views and beyond
Class point approach for software effort estimation using stochastic gradient boosting technique
An application of petri nets in structured analysis
The complexity gap
Database conversion planning
SRI workshop summary: "domain analysis in the DoD"
A modified form of software science measures
Review of "Productive Software Test Management by Michael W. Evans, " Wiley 1984
Pithy Software Engineering Quotes New Column
Metrics to study symptoms of bad software designs
Why is software always late?
Module Completeness as a Useful Guideline for Programming
Requirements-driven software test: a process-oriented approach
Discovering trends in software engineering with google trend
Part III: implementing components in RESOLVE
Eight conference on software engineering research and practice in Sweden (SERPS'08)
On David Gries's plateau problem
Summary of the 14th edition of the IEEE/ACM Workshop on Automation of Software Test (AST)
Report on the Blended Modeling for Software Architectures Tutorial at ICSA 2023
Specware
Language and models
Guidelines for embedded software documentation
ASM-based model of dynamic service update in OSGi
In Praise of Software Practice
4th ICSE workshop on component-based software engineering: component certification and system prediction
A software process immaturity model
Characteristics and functions of software environments: an overview
Suitability assessment of software developers: a fuzzy approach
Eliciting requirements and scenarios using the SCTL-MUS methodology: the shuttle system case study
An approach to the automatic generation of software functional architecture
Comparison of requirements prioritization techniques employing different scales of measurement
Spreadsheet programs in software engineering
WoSEF: workshop on standard exchange format
Toward better software automation
Validation to the Requirement Elicitation Framework via Metrics
CodeCover: enhancement of CodeCover
Q'Facto 12: an improved quality model for COTS components
A survey in the area of machine learning and its application for software quality prediction
Dynamic coupling metrics for object oriented software systems: a survey
A behaviorally-based methodology for modeling system specifications
An overview of regression testing
Towards a rule model for self-adaptive software
Advances in model-based software testing (A-MOST)
UNIX as an environment for non-UNIX software development: a case history
Patterns of software architecture in vastu: a new revelation
ACM fellow profile: Larry E. Druffel
Autonomic computing: emerging trends and open problems
The use of a relational data base in method driven environments
Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract Domain
The VERUS™ design verification system
Work item management with IBM rational ClearQuest and Jazz: a customization guide by Shmuel Bashan and David E. Bellagio
Empirical evidence on OCL formal specification-based metrics as a predictor of fault-proneness
Fostering web use in some real environments
Systems of systems and coordinated atomic actions
Software metrics and measurement principles
Review of "Programming in PROLOG" by W. F. Clocksin and C. S. Mellish. Springer-Verlag 1981
Categorizing web queries
On the economics of requirements-based test case prioritization
In-out interaction complexity metrics for component-based software
Integrating and extending BIRT 3rd edition by J. Weathersby, T. Bondurand, and I. Chatalbasheva
Code coverage based technique for prioritizing test cases for regression testing
SSR'95 summary report
Evaluating software engineering methods and tool part 1: The evaluation context and evaluation methods
The user-definable interface project
On the correctness issues in two-process mutual exclusion algorithms
Software engineering education (SEEd): is software engineering ready for MOOCs?
Panel session: approaches to specification-various models <u>an informal report</u>
Perspectives on CASE tool integration
Ubuntu unleashed, 2013 edition by Matthew Helmke with Andrew Hudson and Paul Hudson
Viewpoint-centred reuse: bridging the gap between reusability and the needs of the reuser
Lonesome hacker blues
The new world of "AI-SM": (artificial intelligence in software maintenance)
Selected papers on analysis of algorithms
Review of "Software engineering measurement" by John C. Munson. Auerbach Publications 2003
ACM fellow profile: Grady Booch
Exploiting web resources for teaching/learning best software design tips
Exploiting workstations and displays in verification systems
Revision of an error sensitive test rule
Managing software design complexity: facade vs role-based design
An equational approach to theorem proving in first-order predicate calculus
MetaH
Review of "Just Enough Requirements Management: Where Software Development Meets Marketing by Alan M. Davis", Dorset House Publishing, 2005, ISBN 0-932633-64-1
Part IV: RESOLVE components in Ada and C++
9th workshop on institutionalizing software reuse (WISR '9) workshop summary
Workshop Summary: 7th International Workshop on Metamorphic Testing (MET 2022)
Identifying structural similarity of methods using isomorphic graphs
Mitigating multi-threats optimally in proactive threat management
Anticipatory configuration of resource-aware applications
A report on 1st Software Engineering Research in India Update Meeting (SERI 2019)
On the Academia-Industry 'Gap' from a Perspective of Professors' Choices and their Psychological Implications
Taking stock of the bazaar: the third workshop on open source software engineering
Fuzzing vs SBST: Intersections & Differences
Review of "Testing Embedded Software by Bart Broekman and Edwin Notenboom"; Addison Wesley.; 2003
On comparisons of quality metrics
Towards Automatic Testing and Fault Localization in Natural Language Processing Systems
Do we really need SQA to produce quality software?: no! well maybe. it depends. yes!
Estimation of generic reusability for object-oriented software: an empirical approach
Achieving Software Reuse and Integration in a Large-scale Software Development Company: Practical Experience of the Lion Project
Host/target approach to embedded system development is becoming obsolete
In praise of SE Geeks
Short "good" programs
An intuitive approach to determine test adequacy in safety-critical software
Software test effort estimation
Applying the "STUDIO" method to the interface design of an environmental software system
ACM SIGSOFT Towards Sustainable Software Business: 5th International Workshop on Software-Intensive Business
Some reflections on software engineering research
Q-Sim: a GUI for a queueing simulator using Tcl/Tk
Traceability between service component and class: a model based approach
Evolution and great apps
A Summary on the 37th International Conference on Software Engineering (ICSE 2015)
Applying a generalized host/target concept for developing subsystems in PASCAL
Practical object-oriented design in ruby: an agile primer by Sandi Metz
Function point analysis: measurement practices for successful software projects
Report from the first annual workshop on software architectures in product line acquisitions
Summary of the 5th International Workshop on Requirements Engineering and Testing (RET 2018)
Variability for Qualities in Software Architecture
Using object-oriented methods in a system lifecycle process model
Optimizing IT process management
Review of "Numerical recipes in C++: the art of scientific computing, second edition by William H. Press, Saul A. Teukolsky, William T. Vetterling, and Brian P. Flannery." Cambridge University Press 2002
"The Organization" (or Software Reuse in a Business Environment)
Book Review: Debugging the Development Process
Acme and AcmeStudio
Review of "Modernizing legacy systems: software technologies, engineering processes and business practices by Robert C. Seacord, Daniel Plakosh and Grace A. Lewis." Addison Wesley 2003
Arithmetic statement testing
A Guided Tour through the ICARUS Project
A logic-based semantics for the verification of multi-diagram UML models
Review of the environments symposium
Ordering of events in two-process concurrent system
Towards a knowledge-based framework for COTS component identification
Dynamic process model for identifying modified data using mobile agents in real time ETL processes
Design decision rationale: experiences and steps ahead towards systematic use
Linguistic continuity in software engineering
Teaching evidence-based software engineering to master students: a single lecture within a course or an entire semester-long course?
Productivity improvement in software projects using 2-dimensional probabilistic software stability model (PSSM)
Siddhartha - automated test driver-oracle synthesis
Securely wrapping COTS products
Dimensional modeling for a data warehouse
Java source-code clustering: unifying syntactic and semantic features
Remarkable engineers: from Riquet to Shannon by Ioan James
The proof of SIFT
Graphical views of parallel programs
ICSE2001 workshop to consider global aspects of software engineering professionalism
Science, Society, and Software Engineering Part 1: Scientists at work and play
Reasoning about team tracking
Formal verification of UML state diagrams: a petri net based approach
High-level theories
Burt add numbers: a tale of software
Polymorphism considered harmful
Specifying abstract data types by restriction
User Involvement in Continuous Experimentation
Using test case metrics to predict code quality and effort
Core python applications programming (third edition) by Wesley J. Chun
Systems deployment planning and scheduling
Roundtable on technical leadership: a SHAPE forum dialog
An introduction to the DREAM software design system
State the problem before describing the solution
HCI pattern semantics in XML: a pragmatic approach
Focusing software education on engineering
Testing object-oriented systems
Realising evidence-based software engineering a report from the workshop held at ICSE 2005
Three questions about each bug you find
Trending Topics in Software Engineering
The kernel of Modula-2 integrated environment
SMT-based enumeration of object graphs from UML class diagrams
CROPS: coordinated restructuring of programs and storage
Refinement patterns for ASTD
Terminology for Software Engineering Environment (SEE) and Computer-Aided Software Engineering (CASE)
Productivity through automated tools
Assessing the understandability of a data warehouse logical model using a decision-tree approach
Towards building a solid empirical body of knowledge in testing techniques
UML/Analyzer - a system for defining and analyzing the conceptual integrity of UML models
Investigating of high and low impact faults in object-oriented projects
Generative techniques for product lines
Reuse, software concepts, descriptive methods, and the practitioner project
Technical Debt: Broadening Perspectives Report on the Seventh Workshop on Managing Technical Debt (MTD 2015)
Building parallel, embedded, and real-time applications with Ada by John W. McCormick, Frank Singhoff and Jerome Hugues
Engineering Gameful Systems: Insights from the 9th International GAS Workshop at ICSE 2025
2nd international workshop on creativity in requirements engineering: CreaRE 2012
A practical approach to large-scale agile development: how HP transformed LaserJet FutureSmart firmware by Gary Gruver, Mike Young and Pat Fulghm
From Test Purposes to Formal JPF Properties
Acoustics in 3D Printing
Review of "Algorithms in C++, third edition by Robert Sedgewick." Addison-Wesley 2002
Report from the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016)
Agile!: The Good, the Hype and the Ugly, Written by Bertrand Meyer
The ACM SIGSOFT Paper and Peer Review Quality Initiative: Status Report
Computing in support of battle management
Managing computer suppliers
Review of "Requirements by collaboration - workshops for defining needs by Ellen Gottesdiener." Addison Wesley 2002
Programming as engineering: insights and comparisons
Review of "Building operational excellence: IT people and best practices by Bruce Allen and Dale Kutnic." Intel Press and Addison-Wesley 2001 and 2002
The type of evidence produced by empirical software engineers
A program testing assistant for BASIC-PLUS
UML modeling of load optimization for distributed computer systems based on genetic algorithm
A Hierarchical Fuzzy System for Quality Assessment of Semantic Web Application as a Service
Enhanced inquiry method for malicious object identification
Miss Grant's controller: an executable JSD specification
Shadow Symbolic Execution with Java PathFinder
SIGSOFT'96 post mortem
Evaluation of web-specific goal oriented requirements language models with quantitative reasoning
Proposal for A Structural Integration Test Coverage Metric for Object-Oriented Programs
Programming scilab in ARM linux
Review of "Dr. Peeling's principles of management: practical advice for the front-line manager by Nic Peeling." Dorset House 2003
Building component families to support adaptation
Netmailmanhandled
Version management and composition of software components in different phases of software development life cycle
An expert committee model to estimate lines of code
Specifications of reliable software - what next?
Towards a specific software development process for high integrity systems
Characterizing people as non-linear, first-order components in software development, is written by Alistair A.R. Cockburn and published in Humans and Technology, HaT Technical Report 1999.03, Oct 21, 1999
ACM fellow profile: David Lorge Parnas
Comparing software development methodologies for Ada: a study plan
Software engineering & computer sciences: two worlds
Airport 95: automated baggage system?
Fault model and test-case generation for the composition of aspects
Advances in multicore software engineering
Summary of the International Conference on Software and System Processes (ICSSP 2016): [Co-located with ICSE 2016]
Report from the ICSE workshop: bridging the gaps between software engineering and human-computer interaction
A survey of computational intelligence approaches for software reliability prediction
Incremental Attack Synthesis
4th ICSE workshop on "Software Engineering over the Internet"
Review of "Software engineering education: needs and objectives" by Anthony I. Wasserman and Peter Freeman. Springer-Verlag 1976
Industry linked graduate software engineering curriculum
DynaMetrics: a runtime metric-based analysis tool for object-oriented software systems
Simulation-Based Engineering of Complex Systems, Second Edition is written by John R. Clymer, and published by Wiley-Interscience, 2009, ISBN 978-00470-40129-3, pp., 0--503, US
A COTS-based design editor for user specified domains
Hands-on networking: from theory to practice by Maria Luisa Merani, Maurizio Casoni, and Walter Cerroni
Toward Understanding Work Characteristics in Software Engineering
Abstracts in software engineering: part 3
A software configuration management model for supporting component-based software development
Metamodels for system development
State of the art for risk management in software acquisition
Comprehension and Evolution of Combinatorial Models and Test Plans
Report: Workshop on Object-Oriented Re-engineering (WOOR'97)
Review of "Software Measurement and Estimation: A Practical Approach by Linda M. Laird and M. Carol Brennan", Wiley-Interscience, 2006
Model driven development approach to natural language generation systems
A report on the XP workshop on agile product line engineering
Agile Testing by John Watkins
Supporting Knowledge Transfer From Secondary Studies to Software Engineering Practice
Symbolic PathFinder v7
The static analysis of Cobol programs
Escaped from the Lab! Does ICSE Research Make a Difference?
Book review: Mathematical Modeling and Simulation: Introduction for Scientists and Engineers by Kai Velten, and published by Wiley-VCH, 2009, paperback, ISBN 978-3-527-40758-3, 348 pp
Cocoa Krispies
Toward a secured automated test-data generator using S-Box
Report of the 2013 IEEE 7th international symposium on the maintenance and evolution of service-oriented and cloud-based systems (MESOCA 2013)
BeginToReason: Understanding the Purpose of Code
Review of "TSP: Coaching Development Teams by Watts S. Humphrey, " Addison-Wesley, 2006
Report of the workshop on software engineering foundations for end-user programming
Modeling fairness and starvation in concurrent systems
Working conference on requirements engineering: foundation for software quality (REFSQ'07)
Trending Topics in Software Engineering (1)
Reliability prediction through system modeling
The Ada language and environment
Effects of agile practices on social factors
Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012)
A threshold based approach to technical debt
Clone detection in UML class models using class metrics
Leveraging machine learning and information retrieval techniques in software evolution tasks: summary of the first MALIR-SE workshop, at ASE 2013
Exploring the world of software maintenance: what is software maintenance?
Proposal for evaluation of software reusability assessment approach employing a mixed method
A critical review of various testing techniques in aspect-oriented software systems
Test process improvement: a practical step-by-step guide to structured testing
A language-based editing process for visual object-oriented programming
Standard C++ IOStreams and locales: advanced programmer's guide and reference
Neuro-Fuzzy Model to Estimate & Optimize Quality and Performance of Component Based Software Engineering
The Reuse of Processes
An algebra approach to the deduction of data flow diagrams and object oriented diagrams from algebraic specifications
Letter from Robert L. Glass
Consistency-Aware Scheduling for Weakly Consistent Programs
Model-in-the-Loop Testing for Cyber Physical Systems
Book review: Software Creativity by Robert L. Glass
Assessment of usability metrics for object-oriented software system
Some observations on staff estimation metrics for object: oriented software engineering
Bibliography on debugging and backtracking
Engineering web services with attribute grammars: a case study
General strategies for dynamic reconfiguration
Software maintenance news
Why profit-oriented companies enter the OS field?: intrinsic vs. extrinsic incentives
Visual software engineering with rules
One-Time Contributors to FLOSS: Surveys and Data Analysis
Logical time: specification vs. implementation
Project LEAP: lightweight, empirical, anti-measurement dysfunction, and portable software developer improvement
GAO report FGMSD-80-4 revisited
Issues in performance certification for high-level automotive control software
A Few (Proposed) Fundamental Laws of Programming
NDHORM: an OO approach to requirements modeling