yusuke1997/dblp-id-title huggingface dataset:
Exploiting object-oriented methodologies to model MAS on organizations
An architecture for gradual transition towards self-managed software systems
TC4JPF: Using Trace Compass to Visualize JPF Traces
Challenges and Opportunities in Agile Development in Safety Critical Systems: A Survey
Status of ongoing security-relevant projects
Book review: Model-based software testing and analysis in C# written by Jonathan Jacky, Margus Veanes, Colin Campbell, and Wolfram Schulte, and published by CUP, 2008, (paperback) ISB-10: 0-521-68761-6, 349 pp
Relevant empirical testing research: challenges and responses
Making software development investment decisions
Book review: Research Methods for Human-Computer Interaction edited by Paul Cairns and Anna L. Cox, and published by Cambridge University Press, 2008, paperback (also available in Hard Cover), ISBN: 978-0-521-69031-7 , 242 pp., (987-0-521-87012-2 hardcover)
NLP-SEA 2021 Workshop Summary
The SEMINAL workshop: reformulating software engineering as a metaheuristic search problem
Formal methods in concurrent and distributed systems
Validating modified cognitive complexity measure
Effect of software evolution on software metrics: an open source case study
Method configuration from situational method engineering
Uses, Benefits, and Limitations of Job Rotation in Software Engineering
A Decision Tree Regression based Approach for the Number of Software Faults Prediction
Summary of the 1st Natural Language-based Software Engineering Workshop (NLBSE 2022)
An empirical analysis of a testability model for object-oriented programs
Review of "UML by example by Ghinwa Jalloul." Cambridge University Press 2004
Information Systems in Distributed Environments: ISDE 2014
Hyperbook: an experiment with PCTE
Letter from the Incoming Chairman
An analysis of object oriented variability implementation mechanisms
"A plea for tolerance in matters epistemological..."
Summary of the Sixth Edition of the International Workshop on Eye Movements in Programming
Symposium on Software Reuse information
A Test Prioritization Algorithm That Cares for "Don't Care" Values and Higher Order Combinatorial Coverage
ACM fellow profile: James Jay (Jim) Horning
BIXSAN: browser independent XSS sanitizer for prevention of XSS attacks
Formalizing and verifying compatibility and consistency of SysML blocks
Barcodes for mobile devices by Hiroko Kato, Keng T. Tan and Douglas Chai
Report on the International Workshop on Service Oriented Software Engineering (IW-SOSE06)
Reporting on a Decade of Promoting Software Engineering for Systems-of-Systems and Software Ecosystems
Technical debt in software development: from metaphor to theory report on the third international workshop on managing technical debt
On using Net Options Value as a value based design framework
Measuring class cohesion using mutant methods
The functional approach to programming
2010 ICSE workshop on emerging trends in software metrics
SIGSOFT '93: Foundations of Software Engineering
Review of "Weinberg on Writing: The Fieldstone Method by Gerald M. Weinberg", Dorsett House, 2006
Symbolic quantitative information flow
Models for software defects and testing strategies
Computer-aided verification of reactive systems
Report from the 2nd Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI '20)
Deducing the complexity to quality of a system using UML
Invitation to SSR
Embedding domain-specific modelling languages in maude specifications
Workshop report from Web2SE 2011: 2nd international workshop on web 2.0 for software engineering
Graphical notations for active rules in UML and UML-A
Software management: reification, institutionalization and "too big to succeed"
An exploration of statistical models for automated test case generation
Summary of the third international workshop on software engineering education (IWSEE3)
A note on software engineering, software systems engineering and software design
Java Pathfinder on Android Devices
Patterns of information management by Mandy Chessell and Harald Smith
Improving the software reusability in object-oriented programming
Leading a software development team
Predicting cost-of-change: from design structure metrics
Barriers to Institutionalizing Using Current Tools and Environments
Interfaces as specifications in the MIDAS user interface development systems
Further validation of an error hypothesis
An analysis of software development environments
Book Reviews: Object Databases - The Essentials by Mary E. S. Loomis
The Second International Workshop on Virtual and Augmented Reality Software Engineering
Testing web database applications
Estimating software projects
Information systems in distributed environments: ISDE 2010
Formal alternative management integrating logical inference and rationals (FAMILIAR)
Object-oriented model-based specification languages: a comparison
SOA with REST: principles, patterns & constraints for building enterprise solutions with REST by Thomas Erl, Benjamin Carlyle, Cesare Pautasso, Raj Balasubramanian
Review of "Official eclipse 3.0 FAQs by John Arthorne and Chris Laffra"; Addison-Wesley, 2004, ISBN 0-321-26838-5
A rapid prototyping system based on data flow principles
Use of Semi-Formal and Formal Methods in Requirement Engineering of ILMS
VERking in constructive set theory
The effect of human memory organization on code reviews under different single and pair code reviewing scenarios
Educating software engineers: an industry viewpoint
Reliable Programs Must Not Be Written
Cognitive complexity metrics and its impact on software reliability based on cognitive software development model
SofTool users group
A comparison of design methodologies
Review of "Test-Driven Development: A Practical Guide by David Astels." Prentice-Hall 2003
Early estimation of software complexity using requirement engineering document
Designing software components to tolerances
Dev-owned Testing: Why It Fails in Practice and Succeeds in Theory
An object-oriented data framework for virtual environments with hierarchical modeling
State model extraction of a software component by observing its behavior
A bug hunter's diary: a guided tour through the wilds of software security by Tobias Klein
Toward a tradition of software engineering
3 rd Intl. ICSE workshop on software engineering for automotive systems
Principles, practice, and applications of tabled logic programming
Some principles and techniques for designing safe systems
AFFIRM summary
Essential properties of IPSEs
Review of "The Object Primer, 3rd Edition by Scott W. Ambler". Cambridge University Press: Cambridge, 2004, 0-521-54018-6 (paperback)
A programming language and its efficiency
Component-based software using RESOLVE
Letter from Haim Kilov
Book Review: Foundations of Software Measurement
Python for Software Design is written by Allen B. Downey, and published by Cambridge University Press, 2009, 978-0-521-72596-5, 251pp
Impact of libre software tools and methods in the robotics field
Book Reviews: Structuring Techniques: An Introduction Using C++, Andrew C. Staugaard, Jr
An EVES update
Tool for generating code metrics for C# source code using abstract syntax tree technique
Review of "The people capability maturity model: guidelines for improving the workforce by Bill Curtis, William E. Hefley, and Sally Miller." Addison-Wesley 2002
Review of "Professional Software Development: Shorter Schedules, Higher Quality Products, More Successful Projects, Enhanced by Steve McConnell." Addison Wesley 2004
Why do some (weird) people inject faults?
Numerical Recipes: The Art of Scientific Computing (3rd Edition) is written by William H. Press, Saul A. Teukolsky, William T. Vetterling, and Brian P. Flannery, and published by Cambridge University Press, (c) 2007, hardback, ISBN 978-0-521-88068-8, 1235 pp
The Use of Grey Literature Review as Evidence for Practitioners
ACM SIGSOFT Empirical Standards Released
Has the pattern emperor any clothes?: a controversy in three acts
An illustration of the domain analysis process
Software Engineering and AI for Data Quality in Cyber- Physical Systems - SEA4DQ'21 Workshop Report
Practitioners do good work
How much does a vacation cost?: or what is a software cost estimate?
Abstracts in software engineering: part 9
International workshop on software configuration management (SCM-10): new practices, new challenges, and new boundaries
Software engineering under deadline pressure
Summary: ICSE workshop on dynamic analysis (WODA 2003)
AI based simulation in reusability
Things I learned from taming software development
Software reusability assessment using soft computing techniques
Design reuse: chemical engineering vs. software engineering
Response from authors of "Design For Trustworthy Software"
Leadership and management in software architecture workshop 2009 report
Web service execution model for cloud environment
Integration of complexity metrics with the use of decision trees
Towards more intelligent programming environments
How to improve the quality of software engineering project management
Pattern Recognition and Neural Networks is written by Brian D. Ripley, and published by Cambridge University Press, 2007, Paperback , ISBN 978-0521-71770-0, pp., 0--403
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems
Why making software is so difficult
Software build systems: principles and experience by Peter Smith
Inheritance as sublation and its semantics
Models, instances, and concurrency in software development
INSERT - incremental software evolution for real-time systems
An Interview with Tsong Yueh Chen - 2024 SIGSOFT Awardee
Glitch: the hidden impact of faulty software by Jeff Papows
Harlan Mills' Passing
Defining defects, errors, and service degradations
SIGSOFT policy statement for conferences and workshops sponsored by SIGSOFT
FASE: a software engineering, education, training and professional issues publication
Component assessment and proactive model for support of dynamic integration in self adaptive system
Object mappings in a software engineering project
Report on the ICSE 2003 doctoral symposium
Application of feed-forward neural networks for software reliability prediction
BMCLua: A Translator for Model Checking Lua Programs
Identification of aspect candidates by inspecting use cases descriptions
An Interview with Nachiappan Nagappan - ACM Fellow 2020
Improving tests infrastructure through a model-based approach
Summary of the Fourth International Workshop on Deep Learning for Testing and Testing for Deep Learning (DeepTest 2023)
A quantitative measure for preventive maintenance in software
Research directions in RAIC
Book Reviews: Object-Oriented Systems Design: An Integrated Approach, Edward Yourdon
Universal software safety standard
Impact of research on practice in the field of inspections, reviews and walkthroughs: learning from successful industrial uses
Book Review: Software Fault Tolerance
Review of "The Cognitive Dynamics of Computer Science: Cost-Effective Large Scale Software Development by Szabolcs Michael de Gyurky", Wiley-IEEE Computer Society, 2006, 0-471-97047-6
Modeling class loaders in Java PathFinder version 7
Summary of the International Conference on Software andSystem Processes (ICSSP 2018)
Computational complexity: a conceptual perspective written by Oded Goldreich, and published by Cambridge University Press 2008, ISBN 978-0-521-88473-0, 606 pages
Playscript for use cases
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles
Software maintenance: penny wise, program foolish
Corporate object-oriented development enviroment (CODE)
A mobile agent approach to dynamic architecture-based software adaptation
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)
Computer-aided vs. manual program restructuring
Evolution of software engineers' personality profile
Testing and evolutionary development
API design for C++ by Martin Reddy
Multi-agent object level AI validation and verification
A view of verification technology
SE: the field and the ground
Parameterized string matching: an application to software maintenance
Book Review: BookTwo of Object Oriented Knowledge: The Working Object
Review of "XML and Java: developing web applications, 2nd edition by Hiroshi Maruyama, et. al." Addison-Wesley 2002
Architectural knowledge discovery: why and how?
Open source development and the World Wide Web: a certain tension
Software testing process: a prescriptive framework
A software development environment database
A note on inheritance and state machines
Measurement of the Reliability of a Component-Based Development using a Path-Based Approach
Availability state transition model
Empirical analysis of object-oriented design metrics for predicting high, medium and low severity faults using mallows C p
Information coordination - the management of information model, systems, and organizations
Static analysis by abstract interpretation of embedded critical software
Towards software architecture at runtime
Approach for reducing menu access time by enabling bidirectional cursor movement within nested menu(s)
Some remarks on the use of abstract specifications for operating systems
Code quality tools: learning from our experience
Automatic transformation from data flow diagram to structure chart
Correction to Babb and Tripp paper
Software Engineering Challenges for Quantum Computing: Report from the First Working Seminar on Quantum Software Engineering (WSQSE 22)
Quantifying software architecture quality report on the first international workshop on software architecture metrics
Software Engineering in Australasia
Reasoning About Reference Behavior with RESOLVE
Review of "Software Development for Small Teams: a RUP-Centric Approach by Gary Pollice, Liz Augustine, Chris Lowe, and Jas Madhur". Addison-Wesley, 2004, paperback, ISBN 0-321-19950-2
Predicate abstraction in Java Pathfinder
Systems modelling and description
A presentation and comparison of four information system development methodologies
Verifying a real system design: some of the problems
Science, Society, and Software Engineering: Part 3 - The Catch
Causal-based networks supporting process improvement
Summary of 2nd International Workshop on Requirements Engineering and Testing (RET 2015): Co-located with ICSE 2015
OS X mountain lion pocket guide by Chris Seibold
WISR'93: 6th annual workshop on software reuse: summary and working group reports
Domain description grammar: application of linguistic semantics
Generalization of leaner object-oriented slicing
The (Im)maturity level of software testing
A Bibliometric Study of ACM SIGSOFT Software Engineering Notes from 2007 to 2016
A method of acquiring formal specifications from examples
Return value adapter pattern
Staffing a software project: a constraint satisfaction approach
The secret life of academic papers
Understandability of the software engineering method as an important factor for selecting a case tool
Softool users group
Measuring reliability growth of software by considering fault dependency, debugging time Lag functions and irregular fluctuation
Book review: Software Engineering Standards and Specifications: An Annotated Index and Directory by Stan Magee and Leanard L. Trip
Report: technology challenges at SPC
An improved component model for component based software engineering
Side-Channel Analysis via Symbolic Execution and Model Counting
Software reuse antipatterns
Reliability growth modeling from fault failure rates
Debugging debugged, a metaphysical manifesto of systems integration
Writing in software development by Allan M. Stavely
An Exercise in Design: The Binary Decision Diagram
Time boxing planning: buffered moscow rules
Measuring Z specifications
Latency in distributed, sequential application designs
Coding quality and tools in programming methods
Extending JPF to verify distributed systems
Cellular-genetic test data generation
A step towards software preventive maintenance
Towards a reference framework for COTS-based development: a proposal
A Synopsis of Twenty Five Years of RESOLVE PhD Research Efforts: Software Development Effort Estimation Using Ensemble Techniques
Policies, grids and autonomic computing
Evolutionary development
UML based embedded documentation for semi-automatic software development
Reliability of component based systems: a critical survey
Review of "Mobile Computing Principles by Reza B'Far", Cambridge University Press, 2005, ISBN: 0-521-81733-1
Unknownness
pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures
Towards a formal foundation of behavioral types for UML state-machines
ICSE 2005 workshop summary third international workshop on dynamic analysis (WODA 2005)
Assessment of maintainability metrics for object-oriented software system
Review of "Hibernate: A J2EE Developer's Guide by Will Iverson", Pearson Education Inc., 2005, ISBN: 0-471-20282-7
Composition of multi-site software (CHAIMS)
Software re-engineering using imperialist competitive algorithm
Pains and Gains of Peer-Reviewing in Software Engineering (2)
1st international workshop on conducting empirical studies in industry (CESI 2013): post-workshop report
QVT-based model transformation using XSLT
CASE and 4GL Product User's Participation in Software Engineering Research
Execution and property specifications for JPF-android
Lessons from the UNIX breakins at Stanford
Requirements tools: phase I in a software development methodology
6th ICSE Workshop on Component-Based Software Engineering: automated reasoning and prediction
Information systems development project performance in the 21st century
Summary of the 14th International Conference on Global Software Engineering (ICGSE)
Formal requirements specification of process control systems
Distributed and cloud computing from parallel processing to the internet of things by Kai Hwang, Geoffry C. Fox, and Jack J. Dongarra
Creativity and rationale in software design
Software maintenance by multi-patterns parameterized string matching with q-gram
A practical extension to the VORD model
Summary of the Tenth International Workshop on EyeMovements in Programming (EMIP 2022)
Foundations for the study of software architecture
The 14th International Workshop on Genetic Improvement(GI @ ICSE 2025)
Program slicing for declarative models
AI for the win: improving spectrum-based fault localization
Dynamic integration of heterogeneous mobile devices
Industrial software engineering: developing software systems
Comparisons of quality metrics
Teaching computer science: a Neumont philosophy
Dealing with software estimates distortions from the perspective of negotiation theories
Texas poised to license professional engineers in software engineering
Scenarios and state machines: models, algorithms, and tools: a summary of the 4 th workshop
Semantics for UML model transformation and generation of regular grammar
Experiments with high volume test automation
Review of "SASÒ for monte carlo studies: a guide for quantitative researchers by Xitao Fan, Ákos Felsvlyi, Stephen A. Sivo, and Sean C. Keenan." SAS Institute, Inc. 2002
Software agents and intelligent object fusion
Quantification of structural information: on a question raised by Brooks
Report on ProSim'04: the 5th international workshop on software process simulation and modeling
Mitigation of SQL Injection Attacks using Threat Modeling
Report on Bruce Anderson's Tutorial on Pattern Languages of Program Design
A distributed virtual machine to support software process
A simple straightforward method for software development
A practical verification system
Combining version control with automatic program building
A plea for friendly software
A crossword on programming languages
Compositional model-checking for real-time systems
Graphical notations for program design
Developing a theory of value-based software engineering
Risks to the Public in Computers and Related Systems
An approach to implementing dynamic adaptation in C++
Abstract interpretation and program modelling
If we're on first, what's on second?: a mixware software engineering discussion problem
Engineering the Transition to Better Software
F# for Scientists is written by Jon Harrop, and published by Wiley-Interscience , (c) 2008, hardback, ISBN 0470242116 , 368pp
Model interchange and integration for web services
AFIS data compression: an example of how domain specific compression algorithms can produce very high compression ratios
WISR'95: 7th annual workshop on software reuse summary and working group reports
Retrospective introduction to VERkshop II
The application of fractional factorial techniques: to the design of software experiments, or, confounding the issues
Method engineering and COTS evaluation
Review of "Visualizing categorical data by Michael Friendly." SAS Institute, Inc. 2000
Workshop on software version and configuration control
Book Review: Managing Your Move t o Object Technology: Guidelines and Strategies for a Smooth Transition
Report on the 4th international ERCIM workshop on software evolution and evolvability (Evol '08)
2nd international workshop on living with inconsistency (IWLWI01)
A retrospective view of CASE tools adoption
Bio-inspired optimization techniques: a critical comparative study
ASE4Games 2021 Workshop Summary
A Tool for Analysis of Real-Time System Specification Methods
The correctly analyzed system which behaves incorrectly
Deployment of formal methods in industry: the legacy of the FP7 ICT DEPLOY integrated project
Report on the 2nd International Workshop on Robotics Software Engineering (RoSE'19)
A practical guide to linux commands, editors, and shell-programming, third edition by Mark G. Sobell
Two-dimensional software development model combining object-oriented method with formal method
Report on metrics 2001: the science & practice of software metrics conference
Summary of the 2nd International Workshop on Multi-disciplinary, Open, and IntegRatEd Requirements Engineering (MO2RE) co-located with the 47th IEEE/ACM ICSE 2025
How we talk about basics
Scalability rules 50 principles for scaling web sites by Martin L. Abbott and Michael T. Fisher
Strategies for "Socially Distant": University-Company Collaborations
Artifact evaluation for software conferences
Duration calculus in COOZ
Low-Code Software Development: Key Impacts on the Software Industry
Introduction to UML and Formal Methods
Towards a national academy of software engineering
Design by objectives
Principal agent theory and its application to analyze outsourcing of software development
Social and algorithmic issues in business support: SAIBS 2012
Review of "Software by numbers: low-risk, high-return development" by Mark Denne and Jane Cleland-Huang. Prentice Hall 2004
A framework for understanding the integration of design methodologies
Using static analysis tools to detect and correct non-compliant cryptography
Web hypermedia content management system effort estimation model
Assessing the state of the software process development using the chaos theory
Understanding the community culture in open-source software projects
Book Review: Reengineering Information Technology Success Through Empowerment
Balloting experiment with software engineering standards
Software construction by object-oriented pictures: stimulus-response machines
Problem reporting and development tracking using VM/SP
Schlaer-Mellor object-oriented analysis rules
Testing across configurations: implications for combinatorial testing
Report on the fourth Asia-Pacific symposium on internetware (Internetware 2012)
Use of genetic algorithm in generation of feasible test data
Forward Dynamic Slicing of Web Applications
A preliminary annotated bibliography on domain engineering
Managing the unmanageable: rules, tools, and insights for managing software people and teams by Micky W. Mantle and Ron Lichty
Usability estimation of software system by using object-oriented metrics
Concurrent programming in ML
Microtasking Software Failure Resolution: Early Results
Refactoring for Software Design Smells: Managing Technical Debt by Girish Suryanarayana, Ganesh Samarthyam, and Tushar Sharma
Designing empirical studies: assessing the effectiveness of agile methods
Programming Languages shouldn't be "too Natural"