yusuke1997/dblp-id-title huggingface dataset:
Facing up to the inequality of crowdsourced API documentation
Software process improvement uncut: interviews
Software fault prediction for object oriented systems: a literature review
The object-oriented thought process, fourth edition by Matt Weisfeld
Continuous Data-driven Software Engineering - Towards a Research Agenda: Report on the Joint 5th International Workshop on Rapid Continuous Software Engineering (RCoSE 2019) and 1st International Works
Evaluating software engineering methods and tool - part 4: the influence of human factors
Applying domain engineering using RAISE into a particular banking domain
A hierarchical spiral model for the software process
Applications of FDM to KVM and COS/NFE
Modeling nonfunctional requirements: a basis for dynamic systems management
Hidden algebra and concurrent distributed software
CodeSurfer
Risks to the public and related systems
Open source software reliability model: an empirical approach
Applying genetic algorithm to increase the efficiency of a data flow-based test data generation approach
Selection of good practices for small software development teams: a knowledge-based approach
The state of reuse: perceptions of the reuse community
The clean coder by Robert C. Martin
Software Engineering Research at the International Conference on Software Engineering in 2016
Investigating quality in large-scale Open Source Software
Book Reviews: Smalltalk, Objects, and Design, Chamond Liu
Performance evaluation of network system through UML
Query by outlines: a new paradigm to help manage programs
Process reuse using a template approach: a case-study from avionics
An avenue for exploitation and development of verification technology
Survey in software development
A framework for incremental progress in the application of AI to software engineering
A master on software engineering degree in Southern Italy
Research on Augmenting the MDD Process with Variability Modeling
Reactive Systems: Modelling, Specification and Verification; is written by L. Aceto, et al; and published by Cambridge University Press; distributed by Cambridge University Press; (c) 2007, (hardback), ISBN 978-0-521-87546-2, pp. 300
A positive step toward a profession: the software engineering code of ethics and professional practice
Review of "IT project estimation: a practical guide to costing of software by Paul Coombs." Cambridge University Press 2003
On understanding hypertext: are links essential?
Application of support vector machine to predict fault prone classes
Empirical study of root cause analysis of software failure
Directions for the NSF software engineering and languages program
Web application generator by image-oriented design
A discussion of special characteristics for software package development life cycle models
A common error in the object structuring of object-oriented design methods
A survey on approaches for addressing dependability attributes in the OSGi service platform
A note on state modeling through inheritance
REFSQ '2001 workshop summary: Seventh International Workshop on Requirements Engineering: Foundations for Software Quality
Views of software development environments
Microsoft Windows communication foundation: hands-on!, is written by Craig McMurtry, Marc Mercuri and Nigel Watling, and published by Sams Publishing, (c) 2006 (paperback), ISBN 0- 672-32877-1, 539 pp., $39.99
Re-architecture of Contiki and Cooja Regression Test Suites using Combinatorial Testing Approach
Fairness and conspiracy concepts in concurrent systems
Designing a SOA based model
Building reliable software in BLOWHARD
Statistical dataset on software metrics in object-oriented systems
Why teach reverse engineering?
Software traumatica
Do Not Stay in Denial for long: AI's Influence on Workforce Dynamics
Multibox parsers
TML: an XML-based test modeling language
On verification targets
New directions in computer-aided verification
Institutional memory and risk management
Application development project support
Estimating the total number of software failures using an exponential model
Review of "Process Improvement in Practice - A Handbook for IT Companies by Tore Dybä, Torgeir Dingsøyr, and Nils Brede Moe", Kluwer Academic Publishers, 2004, ISBN 1-4020-7869-2
A report on the Durham program transformations workshop
Global software development: technical, organizational, and social challenges
Abstracts in software engineering: part 2
Book Reviews: Object Models Strategies, Patterns, and Applications, Peter Coad
Efficient and precise modeling of exceptions for the analysis of Java programs
The eclipse graphical editing framework (GEF) by D. Rubel, J. Wren, and E. Clayberg
Report on the fifth European workshop on software process technology
Report from the 9th Workshop on Modelling in Software Engineering(MiSE 2017)
SHS-HTTPS enforcer: enforcing HTTPS and preventing MITM attacks
Sensitivity analysis of fuzzy and neural network models
A reply to Foster's "Comment on 'The application of error-sensitive testing strategies to debugging'"
A controlled experiment on white-box database testing
An extension of Java PathFinder for hybrid systems
Model-based Construction and Verification of Cyber-Physical Systems
Random benchmark application generation for evaluating program analysis and testing tools
Economic rationale of high cost and slow delivery in software development
Report from the 1st Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI '19)
Technical and human perspectives on pair programming
Software Engineering Education for the Next Generation:SEENG 2023 Workshop Report
DTrace: dynamic tracing in oracle Solaris, Mac OS X, and free BSD by Brendan Gregg and Jim Mauro
A layered structure for uniform version management in component based systems
Overview of Teknowledge's domain-specific software architecture program
Assessing and enhancing software testing effectiveness
Review of "Software Endgames: Eliminating Defects, Controlling Change, and the Countdown to On-Time Delivery by Robert Galen", Dorset House, ISBN: 0-932633-62-5, 2005
Agile software assessment with Moose
Capability packages for avionics software (CPAS)
Experiences evaluating the effectiveness of JML-JUnit testing
The limits of systems-making organizations
Little-JIL
A comparison of the model-based & algebraic styles of specification as a basis for test specification
ACM SIGSOFT FSE 2014 Conference Summary
Domain-driven technique for functionality identification in source code
Representations, tools, and services for the complete integration of software development documents
Report of the International Symposium on Component-Based Software Engineering
Automatic Program Synthesis on the Basis of Data Semantics Analysis
Learning jQuery by Ralph Steyer
The Effect of Software Warranties on Cybersecurity
Computational intelligence in software cost estimation: an emerging paradigm
Testing by identifying
An annotated bibliography on software process improvement
Development of a Multi-Agent Framework for Software Quality
An efficient method for expressing active object in C++
Reverse engineering and system renovation - an annotated bibliography
A process for identifying changes when source code is not available
Few useful considerations for maintaining software components and component-based systems
Announcement of the IDL toolkit
The benefits of bottom-up design
Toward automated communication software development
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems
Specification-based testing of concurrent programs
Time properties dedicated transformation from UML-MARTE activity to time transition system
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs
TORACLE 2021 Workshop Summary
The Java Pathfinder Workshop 2022
Discovering web usage patterns by using an innovative practical approach
Workshop summary second international workshop on requirements engineering: foundation of software quality
The magic number eighteen plus or minus three: a study of software technology maturation
Book review: C Programming: A Modern Approach (2nd Edit.) written by K. N. King, and published by W. W. Norton & Company, paperback, ISBN 978-0-393-97950-3, 832 pp
Quality Attributes in the Age of Artificial Intelligence
Requirements Engineering in the Context of Big Data Applications
Self-* e-nursing: a new idea in nursing
Spatial ordering of messages in a cyclic architecture
Adaptive web service composition
Design of an Abstraction Layer for Communication with BOSH XMPP Server
Recent methods for software effort estimation by analogy
Research on software security awareness: problems and prospects
PATHOS - a paradigmatic approach to high-level object-oriented software development
First international workshop on architectures for software systems workshop summary
Symbolic Arrays in Symbolic PathFinder
Organizing a software architecture body of knowledge: summary of the 5th SHARK workshop, at ICSE 2010
The Java Pathfinder Workshop 2019
What math is relevant for a CS or SE student?: an employer's perspective
Integrating information requirements along processes: a survey and research directions
Test plan methodology
Software Engineering After the COVID-19 Outbreak
Experiences with C++ and object-oriented software development
The quality of questionnaire based software maintenance studies
Toward quality oriented IS design processes using two levelled design
Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java
On a political pamphlet from the middle ages
Application of TLRO to refute an incorrect mutual exclusion algorithm
Reconciling scenario-centered controller design with state-based system models
Report on the First International i* Teaching Workshop (iStarT): June 9th, Co-located with the Conference on Advanced Information Systems Engineering (CAiSE'15), Stockholm, Sweden
The Triveni project
CAREER: mechanisms for ensuring the integrity of distributed object systems
Software development/programming environments
ICSE workshop on remote analysis and measurement of software systems (RAMSS)
A Technique for Selecting Online Advertisements using Mailbox Calendar Invites
Review of "Flexible pattern matching in strings: practical on-line algorithms for text and biological sequences by Gonzolo Navarro and Mathieu Raffinot." Cambridge University Press 2002
Toward tools to support the Gries/Dijkstra design process
Model-based regression test case prioritization
Model integrated computing (MIC)
Nu: preserving design modularity in object code
A Report on Software Engineering Education Workshop (SEEW) 2014 Co-Located with Asia-Pacific Software Engineering Conference 2014
Eternal software engineering questions
Gamify: Gamification in Software Development, Verification,and Validation
Resource Contracts for Java
Constraint specification for object model of access control based on role
Metamodeling: how, why and what?
A discussion on design factors of client-server software testability
Integrity quantification model for object oriented design
The extended access matrix model of computer security
A comparison of metrics for UML class diagrams
Software management: process and reification
A communication architecture from rapid prototyping
Specification and evaluation of logic-based model checking
Another view of the Dijkstra-dMLP controversy
Rationale for fault exposure ratio K
Deriving reliable compositions using cancelable web services
DAS-BOOT: design-, architecture- and specification-based approaches to object-oriented testing
Complexity measurement of data and control flow
Some mistakes are worse than others: an open letter to professor David Gries
A systematic approach to identifying a safe subset for safety-critical software
Engineering for Chaos: Lessons Learned from COVID-19
Software engineering from a practical perspective
Computer programming methodology
Understanding the software paradox
Summary of the 1st International Workshop on Hybrid Development Approaches in Software Systems Development
Refactoring -aware software merging and configuration management
Inertia - the reluctance of code motion?
A historical perspective on runtime assertion checking in software development
A few useful considerations in the development of intra-day trading software: comparing indian intra-day trading software with foreign software
Report on the 11th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems - SESoS@ICSE 2023
Software engineering as industrial engineering
Improving Software Quality and Productivity Leveraging Mining Techniques: [Summary of the Second Workshop on Software Mining, at ASE 2013]
Evaluating the effect of inter-programmer communication: levels on productivity by varying programming team structure
Analysis of projects and volunteer participation in large scale free and open source software ecosystem
Formalisms
A curriculum for agile software development methodologies
Industry-Academia Research Collaborations During and After COVID-19
Perestroika, anyone? A standard for democracy in professional organizations
Design methods and software processes
Benefits of a data flow-aware programming environment
Graphical Kernel System
Test data generation approach for basis path coverage
Report from the 1st international workshop on replication in empirical software engineering research (RESER 2010)
A risk based economical approach for evaluating software project portfolios
Book review: Collaborative and Distributed Chemical Engineering From Understanding to Substantial Design Process Support, Edited by Manfred Nagl, Wolfgang Marquardt (Springer Verlag, Berlin, 2008, as Lecture Note in Computer Science 4970, ISBN 3-540-70551-1, 849 pp
Variability in software architecture: the road ahead
On ICSE's "most influential" papers
A note on information flow into arrays
Academic Freedom and International Students, Part 4: The China Initiative
Software development environments
Summary of the 3rd International Workshop on Requirements Engineering and Testing (RET 2016): [Co-located with REFSQ 2016]
Review of "Five Core Metrics: The Intelligence Behind Successful Software Management by Lawrence H. Putnam & Ware Myers." Dorset House 2003
Slicing UML architectural models
Extended iterative maintenance life cycle using eXtreme programming
An online cross view difference and behavior based kernel rootkit detector
Systems engineering: an essential discipline for the 21 st century
Knowledge based reasoning for software architectural design strategies
Globus security model for grid environment
1 st international workshop on advances and applications of problem frames - summary
Be here now
An overview of debugging tools
DevOps Troubleshooting by Kyle Rankin
Debugging via run-time type checking
On the evolution of graphical notation for program design
Engineering on the surprise continuum: as applied to software practice
Software development environment based on HyperNet
Software perspectives on history, culture and efficiency
Outward Thinking for Our Research Community
Why is programming so difficult to learn?: Patterns of Difficulties Related to Programming Learning Mid-Stage
A Knoppix-based demonstration environment for JPF
Abstracts in software engineering - reports
IT measurement: practical advice from the experts
Retrieval from software libraries for bug localization: A comparative study of generic and composite text models - A Retrospective
Building Resource Adaptive Software Systems (BRASS): Objectives and System Evaluation
Continuous evolutionary one-step-ahead testing
JPR: Replaying JPF Traces Using Standard JVM
Integrating object-oriented analysis and formal specifications
Verifying software requirements with XSLT
Towards Wider Support for Java String Functions
An Interview with John Grundy - 2023 SIGSOFT Awardee
Layered security architecture for threat management using multi-agent system
Book Review: "Softwar" Engineering by Thierry Breton and Denis Beneich (Holt, Rinehart Winston)
Experimental design and analysis in software engineering, part 5: analyzing the data
Software development monitoring graphs
JPF-HJ: A Tool for Task Parallel Program Analysis
Assessment of Contemporary Modularization Techniques - ACoM'07: workshop report
TestTalk: software test description language
Report from the 4th Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI '22)
On a new masters level program in software engineering
Structured development of graph-grammars for icon manipulation
Some thoughts arising from a language design effort
A heuristic for architecting cloud applications
A characterization of software design tools
Micro-Architecture of Software Components and The Need For Good Mental Models of Software Subsystems
Automated Expected Output Generation: Is this a Problem that has been solved?
Genetic Improvement @ ICSE 2020
The patterns business: impressions from PLoP-94
Programmable heuristics for theorem provers
Blended PC Peer Review Model: Process and Reflection
Software environment research: the next five years
Concurrent programming language support for invocation handling: design and implementation
Wonderful Jupiter?: (A Rebuttal)
The parable of the two programmers, continued
Creating formal specifications from requirements documents
Software quality assurance through COSMIC FFP
SERP4IoT'21 Workshop Report
Web services from a service provider perspective: tenant management services for multitenant information systems
A fuzzy model for high-level clones in software
Coevolution of information ecosystems: a study of the statistical relations among the growth rates of hardware, system software, and application software
Hell's software nightmares
Systematic OO Reuse- A Tale Of Two Cultures
Admission control and resource reservation on the internet
Technical Debt in Agile Development: Report on the Ninth Workshop on Managing Technical Debt (MTD 2017)
The search for software quality, or one more trip down the yellow brick road
Ranged Model Checking
Comparing Incremental Latent Semantic Analysis Algorithms for Efficient Retrieval from Software Libraries for Bug Localization
Book Reviews: What Every Software Manager MUST KNOW TO SUCCEED With Object Technology, John Williams
Architectural design of a distributed application with autonomic quality requirements
On technology and cultural change
Designing with the mind in mind: simple guide to understanding user interface design rules by Jeff Johnson
Reasoning Challenges of Data Abstraction and Aliasing in Concurrent Programs
Personal data privacy and protection in a surveillance era: technologies and practices by Christina Akrivopoulou and Athanasios Psygkas
A top-down view of software engineering
Shadow Program Committee Initiative: Process and Reflection
The first international workshop on automated program analysis, testing and verification
On built-in tests and reuse in object-oriented programming
PANEL: research and development issues in software reliability engineering
Double-blind is good but open would be better: Perceptions of peer review in the SE community
A proposal for publication and exchange of program proofs
The official Ubuntu book, seventh edition by Matthew Helmke and Amber Graner
NYI award: visual programming languages
Evaluation of neural networks for software development effort estimation using a new criterion
In defence of life cycles
Software engineering: using "design by objectives" tools (DBO)
Technical debt at the crossroads of research and practice: report on the fifth international workshop on managing technical debt
Where do bugs come from?
On the Different Perspectives of Management in Software Engineering Education and their Implications
The Sytek theorem prover
Importance of software component characterization for better software reusability
The Grand Theory of Everything: what man-made systems are, and why they fail
17, 500 software patents to issue in 1998
Review of "Software for your head: core protocols for creating and maintaining shared vision by Jim and Michele McCarthy." Addison-Wesley 2002
Implementing JSD designs in Ada: a tutorial
A discussion on the Ada Run-Time Environment in safety critical applications
A program testing problem: request for references and/or consultants
Generalized coupling measure for aspect-oriented systems
Why quality?: ISO 9126 software quality metrics (Functionality) support by UML suite
Reports from SIGSOFT CAPS Travel Awardees of ASE 2019
Evaluation of the functional and object-oriented programming paradigms: a replicated experiment
Sams Teach Yourself Node.js in 24 Hours by George Ornbo
Screen-oriented highlevel debugger(SHD) for PASCAL
Announcing biblatex-software: software citation made easy
Process-oriented abstraction of the complex evolvable systems: problem model construction
Design approaches and DoD-STD-2167
From Practice to Theory: A Development Strategy Worth Looking at
A comprehensive study of view maintenance approaches in data warehousing evolution
Scalable Parallel Model Checking via Monte-Carlo Tree Search
Overview of applications
Preliminary design use cases: combining use cases and event response lists for reuse and legacy system enhancement
A Novel Approach to Component-Based Software Testing
A novel bipartite graph approach for selection and prioritisation of test cases
Lord of the files: essays on the social aspects of software engineering by Russel Ovans
The IEEE standard for software maintenance
Requirements development as a modeling activity
Touch target optimization technique using virtual finger-tip library
Report from the ASE 2024 Workshop on Replications and Negative Results
Pains and Gains of Peer Reviewing in Software Engineering: A Journal-Centric Perspective
Software project management tools: a brief comparative view
The missing link in requirements engineering
Formalizing hierarchical object-oriented design method
An Interview with Laurie Williams - ACM Fellow 2020
Evaluation of object-oriented spatial complexity measures
A learning curve primer for software engineers
SDI software: AI is not the answer
SMT-Based Context-Bounded Model Checking for Embedded Systems: Challenges and Future Trends
Refactoring information systems: association folding and unfolding
Software Engineering and AI for Data Quality in Cyber-Physical Systems/Internet of Things - SEA4DQ'22 Report
Towards architectural invariants of evolving systems
Debugging for hypercubes in time warp
A qualitative empirical evaluation of design decisions
Architectural issues in network-centric computing
Object oriented design vs structured design: a student's perspective
A practical approach to software quality assurance
Verification technology and the A1 criteria
Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques
Mastering ENVY/Developer
Software size prediction before coding
Failure-driven software safety
INATEST: an interactive environment for testing formal specifications
Architecting in global software engineering
Issues in calibrating effort estimation models
Hadoop Fundamentals by Doug Eadline
On prototypes vs. mockups
Requirements checklist for a system development workstation
A gentle introduction to OSGi
Efficient static analysis with path pruning using coverage data
Quality assurance and quality control in the software development process
Virtual Interface Machine: a design pattern to solve the problem of coupling and efficiency in software design
Your Software Dwells in the House of Tomorrow, Too
Survey of object-oriented metrics: focusing on validation and formal specification
Structured parallel programming by Michael McCool, James Reinders & Arch Robison
Framework to define CASE tool requirements for distributed environment
Integrating the understanding of quality in requirements specification and conceptual modeling
The compassionate geek: mastering customer service for I.T. professionals by Don R. Crawley and Paul R. Senness
Successful software engineering research
Book Review: Information Modeling - An Object-Oriented Approach by Haim Kilov and James Ross
The future of software engineering: a survey
Technology acquisition: buying the future of your business
Practical verification for requirements model of Hatley/Pirbhai