yusuke1997/dblp-id-title huggingface dataset:
Review of "Modal Logic for Philosophers by James W. Garson, " Cambridge University Press, 2006, pp. 471
Analyzing clusters of web application user sessions
A comment on: "An exercise in automatic program verification"
Managing and Leading Software Projects is written by Richard Fairley and published by John Wiley & Sons, Inc. with IEEE Computer Society (c) 2009, (hardback), ISBN 978-0470-29455-0, pp.510
On the relationship between use cases and test suites size: an exploratory study
Preliminary design of JML: a behavioral interface specification language for java
Estimation of quality for software components: an empirical approach
On data and their analysis
Report on the 12th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems - SESoS@ICSE 2024
Modeling a distributed intrusion detection system using collaborative building blocks
The Future of Software Engineering Beyond the Hype of AI
B. W. Boehm software engineering economics: a review essay
A survey of software inspection checklists
Cyclomatic complexity metric for component based software
Illustrative risks to the public in the use of computer systems and related technology
Practical Text Mining With Perl is written by Roger Bilisoly, and published by Wiley, 2009, 978-0-470-1763-6, 295pp
Introductory comments
Pithy software engineering quotes
Software development: what it is, what it should be, and how to get there
CAME: component assembly metrics extraction using UML
User experiences with specification tools: (panel from specifications of reliable software conference) (April 3-5, 1979)
A paradigm for metric based inspection process for enhancing defect management
DG-metrics formulization for DGML-based software design
Limits to specifications: why not more progress? Panel at IEEE conference on <u>specifications of reliable software</u>
Lastig gepreek uit nuenen
Enhancing FDM for the expression of concurrency requirements
Improved GUI Testing using Task Parallel Library
On COVID-19 Pandemic-Induced Attitudinal Changes in Software Engineering Teaching and Learning
Experimental design and analysis in software engineering: Part 2: how to set up and experiment
Software Engineering Worldwide
AI Copilots: Boosting Software Engineers' Productivity Or Replacing Them?
A concurrent process model of software development
Leveraging "energy efficiency to software users": summary of the second GREENS workshop, at ICSE 2013
Review of "Verifying security" by M. H. Cheheyl, M. Gasser, G. A. Huff, and J. K. Millen. Computing Surveys 13, 3 (September 1981)
4th International Workshop on Conducting Empirical Studies in Industry (CESI 2016): Post-workshop Report
Pattern based adaptation for service oriented applications
ACM TOSEM: FAQs and figures
Using responsibility modeling to match organizational change to changes in the systems development process
Computer security with service degradations
Two dogmas of program specification
ACM fellow profile: Frank L. Friedman
TRIAD: beyond isolated systems for development-in-the-large and programming-in-the-small
New standards for educational technology
Grounded innovation: strategies for creating digital products by Lars Erik Holmquist
A possible approach to object-oriented reengineering of Cobol programs
An Interview with Martin Robillard - 2024 SIGSOFT Awardee
FISA-XP: an agile-based integration of security activities with extreme programming
Viewing use cases as active objects
Hypertext implications for CASE environments
Planning for real time event response management
Making active CASE tools - toward the next generation CASE tools
1st International Global Requirements Engineering Workshop --- GREW'07
Biblio of object-oriented system development
Review of "Mirgrating to IPv6 by Marc Blanchet", John Wiley & Sons, Ltd., 2006, 0-471-49892-0
A case study of open source tools and practices in a commercial setting
Experience of introducing reference architectures in the development of automotive electronic systems
Dealing with failures during failure recovery of distributed systems
Genuine ARP (GARP): a broadcast based stateful authentication protocol
Internet-based information management technology
5th Intl. Workshop on Scenarios and State Machines: Models - Algorithms - and Tools (SCESM)
Abstracts in software engineering
Methodology and environments
Games and Software Engineering: Engineering fun, inspiration, and motivation
The real Ada, countess of Lovelace
Programming with small blocks
Template for a system design file using OODPM version 5.0
Why softwarre fails
Analyzing information-flow in java program based on slicing technique
Architectural knowledge and rationale: issues, trends, challenges
Datrix ™ source code model and its interchange format: lessons learned and considerations for future work
Product line variability support by FORM and Mecano model integration
A preliminary study of Ada expansion ratios
Optimum: a MARTE-based methodology for schedulability analysis at early design stages
Towards a definition of "Beyond AI" verification
Change/configuration management gathering
Review of "Hiring The Best Knowledge Workers, Techies & Nerds by Johanna Rothman", Dorset House, 2004, 0-932633-59-5
Book Review - Enterprise Integration Patterns: Designing, Building and Deploying Messaging Solutions (by Gregor Hohpe and Bobby Woolf)
Summary of the 2nd International Workshop on Bots in Software Engineering (BotSE 2020)
Learning JavaScript: a hands-on guide to the fundamentals of modern JavaScript by Tim Wright
Testing android apps through symbolic execution
Measures for Predicting Software Reliability using Time Recurrent Neural Networks with Back-propagation
Effectiveness of encapsulation and object-oriented metrics to refactor code and identify error prone classes using bad smells
How Do Developers Blog?: A Retrospective
Abstract pathfinder
Principles of survey research part 4: questionnaire evaluation
Workshop on modeling in software engineering at ICSE 2009
Interacting with Object-Oriented Program Slicing
A benchmarking-inspired approach to determine threshold values for metrics
Introduction of a formal technique into a software development environment: early observations
Conventional and convenient in entity-relationship modeling
Review of "The Sachertorte algorithm and other antidotes to computer anxiety" by John Shore. Viking 1985
The impact of programming styles on debugging efficiency
Argo/UML
Trustworthy software systems: a discussion of basic concepts and terminology
Balanced partition scheme for distributed caching systems to solve load imbalance problems
Discovering the world of software maintenance: selected readings
Texas board votes to license software engineers
Software engineering education: (SEEd)
A proposed methodology for knowledge based systems development
Function points as a universal software metric
Review of "Object Thinking by David West"; Microsoft Press: Microsoft, 2004, 0-7356-1965-4
PLUNGE DA: a ~case study
Business process-based valuation of IT-security
Software testing and analysis of object-oriented software
Report on ReAnimate'24: 2024 Summer School on Retro Gaming History, Critic, and Development
Barriers to Institutionalizing Using Current Tools and Environments: An Introduction to Functional Programming Systems Using Haskell
Adaptive reuse of libre software systems for supporting on-line collaboration
Report from the 3rd Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI '21)
Developing an intelligent cloud for higher education
Reliable software and the design process
Software specification and design must "Engineer" quality and cost iteratively
Formal techniques in a remote voting system
Measuring changeability for generic aspect-oriented systems
Security by Design in Software Engineering
Towards a common agile software development model (ASDM)
Review of "Find the Bug: A Book of Incorrect Programs by Adam Barr"; Pearson Education, 2004, ISBN 0321223918
Scrum Powered by Essence
Definitive XML schema, second edition by Priscilla Walmsley
System testing via mutation analysis of model checking specifications
Grey Literature: A Safe Bridge Between Academy and Industry?
A curriculum for large scale software development
On having a second job as an adjunct
Thoughts from a Not-So-Influential Educator
Developing reusable software for military systems, why it is needed, why it isn't working
ACM fellow profile
Customizable output generation in modeling environments using pipelined domains
Debunking the Myths of Code Velocity: The Elusive Search for Speed
A survey on quality related activities in open source
Quantifiable architecting of dependable systems of embedded systems
Service-Action-Objects: A cross-platform method for logging interactions in digital systems
Software Engineering Education (SEEd)
Review of "Six Sigma Software Development by Christine B. Tayntor". Auerbach Publications, 2003
Book Review: Rapid Software Development with Smalltalk
Supporting the Task-driven Skill Identification in Open Source Project Issue Tracking Systems
Book Review: Education for an Information Age: Teaching in the Computerized Classroom
Software architecture built from behavior models
New complexity model for classes in object oriented system
Generation of Library Models for Verification of Android Applications
Managing technical debt in software development: report on the 2nd international workshop on managing technical debt, held at ICSE 2011
Testing polymorphism in object oriented systems for improving software quality
Computing Dynamic Slices of Feature-Oriented Programs Using Execution Trace File
Research Dojo: applying agile principles to agile research - workshop summary from XP2013
Evaluating the effectiveness of VOSDM: a vision oriented approach
Demeter/adaptive programming
Real-time systems specification: a process and a tool
Description of EDCS technology clusters
Review of "The Elements of C++ Style by Trevor Misfeldt, Gregory Bumgardner, and Andrew Gray"; Cambridge University Press: Cambridge, 2004, 0-521-89308-9
Report on the 1st International Workshop on Designing Software (Designing 2024)
Building Organizational Competence in Software Architecture: OOPSLA'94 Workshop Report
Component behavior relativity analysis
Life cycle concept considered harmful
What the Software Industry Is Measuring?: Key Metrics Used by Software Companies to Measure Success
Comments on Tai
Towards the design of a set-based Java collections framework
Component-based software engineering: building systems from components at 9th IEEE conference and workshops on engineering of computer-based systems
UML behavioral model based test case generation: a survey
Using goto statements
Clone detection in software source code using operational similarity of statements
Our experience and learning in ERP implementation
Summary of the 2019 International Conference on Software and System Processes (ICSSP 2019)
Automated testing for Java programs using JPF-based test case generation
Surfing the net for Software Engineering Notes
Application of object-oriented metrics To C++ and Java: a comparative study
1987 Software engineering environments conference
The mathematical validity of software metrics
Soft system methodology and is research: development of a new is design paradigm evaluation approach
UML in action: a two-layered interpretation for testing
DoD-Std-2167A and methodologies
Compiler verification: a bibliography
Workshop on the Modeling and Analysis of Concerns in Software (MACS 2005)
Programming in CoffeeScript by Mark Bates
Framework for debugging domain-specific languages
User-defined backtracking criteria for symbolic execution
A software component quality framework
Future software development management system concepts
Reconfigurable embedded control systems: applications for flexibility and agility by Mohamed Khalgui and Han-Michale Hanisch
Report of the 8th Workshop on Empirical RequirementsEngineering (EmpiRE 2023)
Architectural analysis of component-based systems
Managing a man-rated software development program via risk mitigation
Review of "Change-based Test Management by Jon Sistowicz and Ray Arell, " Intel Press 2001
Software cost estimation using fuzzy logic
Symbolic data race detection for Habanero programs
Evaluating software engineering methods and tool - part 3: selecting an appropriate evaluation method - practical issues
The making of "Burt doesn't manage"
Towards a lazier symbolic pathfinder
Improving Systematic Mapping Reviews
Certification process of software components
Variability and Complexity in Software Design: Towards a Research Agenda
An Example of Process Verification: The Gries/Dijkstra Design Method
Software complexity assessment: annotated bibliography
An experience in teaching OOD for Ada software
SeaClouds: a European project on seamless management of multi-cloud applications
Assessment of software testing time using soft computing techniques
A kind of new ToolBus model research and implementation
How Google tests software by James A. Whittaker, Jason Arbon and Jeff Carollo
Report on the 13th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems - SESoS@ICSE 2025
The influence of software intangibility on computer science and software engineering education
The systems engineer and the software crisis
Environment Modeling Using Runtime Values for JPF-Android
A brief survey of program slicing
On code reuse: a response
Who taught me about software engineering research?
A graphic language for business applications ...user requirements specification
A model for designing adaptable software components
A systems analysis of systems integration
The optimization of class hierarchy in object-oriented design
Automatic system file generator
Empirical studies of global volunteer collaboration in the development of free and open source software: analysis of six top ranked projects in sourceforge.net
WISR8: 8th annual workshop on software reuse: summary and working group reports
The history of version control
An approach for assessing software prototypes
Pragmatic problems with step-wise refinement program development
Preconditions for widespread reuse of code
Artificial life and cellular automata based automated test case generator
The V project manager tools
Do #ifdef-based Variation Points Realize Feature Model Constraints?
A summary of the ICSE 2004 workshop on "scenarios and state machines: models, algorithms, and tools"
Ada tasking model and Prolog predication
Formal methods and testing: why the state-of-the art is not the state-of-the practice
Software Architecture in Practice Third Edition Written by Len Bass, Paul Clements, Rick Kazman
Report from SEKE'97
A Proactive Procedure to Mitigate the BYOD Risks on the Security of an Information System
ToolCASE: a repository of computer-aided software engineering tools
Report on the 4th International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS - 2023)
Source control using VM/SP and CMS
User responses to constraints in computerized design tools (extended abstract)
In Memory of Barbora 'Bara' Bunhova
Function versus data-driven methodologies: a prescriptive metric
The Fourth Symposium on the Foundations of Software Engineering (FSE4)
Errata - Interchanged pages in the previous issue: SEN 14-1: Page 31 and Page 46
Interoperability of constrained finite state automata
Program verification at Stanford
Goals for software engineering student education
Review of "C# primer: a practical approach by Stanley B. Lippman." Addison-Wesley 2001
Testing maintainability
Good Practices in Aligning Software Engineering Research and Industry Practice
AIDS to hierarchical specification structuring and reusing theorems in AFFIRM-85
Nico Habermann remembered
The risks of large organizations in developing complex systems
Sixth international workshop on software configuration management
Network science for military coalition operations: information exchange and interaction by Dinesh Verma
A conceptual model for megaprogramming
A generic instrumentation framework for collecting dynamic information
Global software development: building a research community
Software development process: strategies for handling business rules and requirements
The "engineering" of software, a different kind of engineering
Using partial order techniques to improve performance of data flow analysis based verification
The human element
Information systems in distributed environments: ISDE 2013
Software cancer: the seven early warning signs
Human-computer interaction in the new millennium
Rewriting and verification
Engineering requirements for production quality verification systems
More C++ gems
Masters curriculum in software engineering
Report from the second international workshop on software engineering for computational science and engineering (SE-CSE 09)
The challenges in creating tools for improving the software development lifecycle
An agent-oriented modeling approach
High level language programming environments
Letter on ERTS and LEGO
American programming's plight
Some notes on software design: reply to a reaction
Researching and Transferring Blended Learning Experiences to Software Development Practices
Software maintenance with fourth-generation languages
A hybrid model for agent based system requirements analysis
A comparative study of graph theory-based class cohesion measures
Still more about rapid prototyping
Integration of text retrieval technology into formatted (conventional) information systems
Querying complex requirements
Dealing with architectural issues: a case study
Connector-based self-healing mechanism for components of a reliable system
An interview with Xin Xia - 2022 SIGSOFT Awardee
An XML-based approach to automated software testing
Structure charts for Jackson structured programming
Towards Unveiling Effects Of Human Factors Within Security Risk Assessment
Recent developments in product-focused software process improvement: PROFES 2013 conference report
The importance of the individual
Sorting non-key fields in the distributed result set iterator pattern
Summary of the second ICSE workshop on web engineering
Agile Safety Analysis
A contracts course for software engineers
NSF workshop on a software research program for the 21st century
DFD's vs. N2 Charts
Barriers to the adoption of software product line engineering
What to do beyond branch testing
Optimizing the software testing efficiency by using a genetic algorithm: a design methodology
Research avenues verification is not pursuing, but may be should be
Customer relationships and Extreme Programming
Some agent theory for the semantic web
A construction approach for software agents using components
Cute object-oriented acronyms considered FOOlish
The tangled web: a guide to securing modern web applications by Michal Zalewski
Decision Support for Selecting Tools for Software Test Automation
Review of "The hacker's dictionary: a guide to the world of computer wizards" by Guy L. Steele, Donald R. Woods, Raphael A. Finkel, Mark R. Crispin, Richard M. Stallman, and Geoffrey S. Goodfellow. Harper & Row Publishers 1983
Constructing verified and reliable communications processing systems
Bad fixes, change specifications, and linguistic constraints on problem diagnosis
The Human Side of the Tech Industry: Key Drivers Behind the Tech Talent Dilemma
Decision support for customization of the COTS selection process
EIFFEL: A case tool supporting object-oriented software construction
A proposed model for data warehouse user behaviour using intrusion detection system
Summary of the 2nd International Flaky Test Workshop (FTW 2025)
A middle-out concept of hierarchy (or the problem of feeding the animals)
Position paper on "fairness"
Continuous testing with ruby, rails and JavaScript by Ben Rady and Rod Coffin
Managing software debt building for inevitable change by Chris Sterling
Integration of statechart and B method based analysis and verification for flight control software of unmanned aerial vehicle
Complexity metrics for component-oriented software systems
A modified version control tool for component-based systems
Measuring complexity of component based architecture: a graph based approach
software testing by Yogesh Singh
Academic Freedom, Deemed Exports and International Students, Part 2: Export Licensing and Compliance
Workshop on Developmental aspects of Intelligent Adaptive Systems (DIAS): Co-located with 10th Innovations in Software Engineering Conference (ISEC), Jaipur, India
Integrating a defect typology with containment metrics
First workshop on sharing and reusing architectural knowledge
Is "Factory Method" really a pattern?
On prototyping and the role of the software engineer
Software engineering research versus software development
Book Review: Object-Orientation and Prototyping in Software Engineering
Story driven testing - SDT
Project management: here we go again!
A methodology for high-level software specification construction
An Excursion to Software Development Life Cycle Models: An Old to Ever-growing Models
Software engineering: to be or what to be?
A case-tool for supporting navigation in the class hierarchy
Geometric Spanner Networks is written by Giri Narasimhan and Michael Smid, and published by Cambridge University Press, 2007, Hardback ISBN 978-0-521-81513-0, 500 pp., $105
Hierarchical model-based autonomic control of software systems
Specification formalisms for component-based concurrent systems
Report from the NSF workshop on workflow and process automation in information systems
A taxonomy of prototype designs
From scenarios to aspects: exploring product lines
Book Reviews: Programming from Specifications, Second Edition, Carroll Morgan
Evaluation of design methodologies
Cooperative and human aspects of software engineering: CHASE 2013
A graphical tool for the prototyping of real-time systems
The UML rules
Simulation-Based Engineering of Complex Systems, Second Edition is written by John R. Clymer, and published by John Wiley & Sons, (c) 2009, hardcover, ISBN 978-0-470-40129-3, 503 pp
No Silver Bullet Reloaded: Report on XP 2017 Panel Session
A bayesian network based approach for software defects prediction
The security and software engineering research center (S2ERC)
Techniques and experiences capturing requirements for several real-time applications
Problem report forms: a system for software configuration management
Can software engineering afford to improve the process?
Cloud computing concepts, technology and architecture by Thomas Erl, Zaigham Mahmood and Ricardo Puttini
Review of "Practical Support for ISO 9001 Software Project Documentation by Susan K. Land and John W. Walz, " IEEE Computer Society & Wiley-Interscience, 2006, ISNB 13-978-0-471-76867-8, pp. 432
Dependency and interaction oriented complexity metrics of component-based systems
Correctness is congruent with quality
Software reuse based on a large object-oriented library
The curse of database deadlocks: the problem with no good solution
Performance evaluation for object oriented software systems
Product family testing: a survey
Report from the PhD symposium at XP2013: an adaptive experiment in feedback
The overture initiative integrating tools for VDM
Automata-based Pattern Mining from Imperfect Traces
Evaluating software eng. methods and tools part 10: designing and running a quantitative case study
Is Software Carbon-Efficiency a Form of Greenwashing?
Empirical evaluation of cloud-based testing techniques: a systematic review
Testing with hostile data streams
Insights from Mining Eleven Years of Scholarly Paper Publications in Requirements Engineering (RE) Series of Conferences
Testing reusable software components from object specification
Optimal component selection for component based software development using pliability metric
Testing IT: an off-the-shelf software testing process by John Watkins and Simon Mills
Process algebraic support for web service composition
First turkish software product line engineering workshop summary
Reflections on capital-intensive software technology
Leadership and management in software architecture (LMSA'08): a report on an ICSE workshop
Multi-Directional navigation method for optimized consumption of user generated content through semantic mapping of features derived from the user generated content