yusuke1997/dblp-id-title huggingface dataset:
Property-based testing: a new approach to testing for assurance
Impact of change in component reliabilities on system reliability estimation
Micro-Frontends: Principles, Implementations, and Pitfalls
Review of "System Testing with an Attitude: An Approach That Nurtures Front-Loaded (Designed and built in. . . not tested in!) Software Quality by Nathan Petschenik", Dorset House Publishing, 2005, ISBN 0-932633-46-3
New visualization and debugging technology for one-way dataflow constraints
Ensemble-Based Software Engineering for Modern Computing Platforms
A comparison of object-oriented and structured development methods
CRAYSE: design and implementation of efficient text search algorithm in a web crawler
Automotive use case standard for embedded systems
Computing program weakness using module coupling
Principles of functional reactive programming
A model for estimating the impact of low productivity on the schedule of a software development project
An Interview with Gail Murphy - 2023 SIGSOFT Awardee
5th international conference on software engineering
A novel fuzzy based approach for effort estimation in software development
Pragmatic assessment of research intensive areas in cloud: a systematic review
Comparison of regression model, feed-forward neural network and radial basis neural network for software development effort estimation
SDI software
Real-time component integration based on transparent distribution
Measuring Change-Readiness of Classes by Mining Change-History
Integrating EduLearn learning content management system (LCMS) with cooperating learning object repositories (LORs) in a peer to peer (P2P) architectural framework
1997 workshop on foundations of component-based systems
Predicting acceptance of Software Process Improvement
Tracking software projects with the integrated version control in SMIT
Recent advances in model-based methodologies for pervasive and embedded software
Use cases: requirements in context
ISE3: the third international workshop on intelligent software engineering open issues, new techniques, challenge problems in software engineering
A tentative framework for connecting long-term business and product planning with iterative & incremental software product development
The need for effort estimation models for open source software projects
Review of "eclipse---Building Commercial-Quality Plug-Ins by Eric Clayberg and Dan Rubel", Addison-Wesley, 2004, 0-321-22847-2
Review of "Fit for Developing Software: Framework for Integrated Tests by Rick Mugridge and Ward Cunningham", Pearson Education Inc., 2005, ISBN: 0-321-26934-9
Software maintenance productivity assessment using fuzzy logic
Roles in the maintenance process
Report on Florida testing workshop
A critical programmer searches for professionalism
Software safety: current status and future direction
Some formal method activities in UK industry
A Dynamic Optimization Technique for Redesigning OO Software for Reusability
Bridging the data integration gap: from theory to implementation
Column: Is Theory (Still) Welcome in Software Engineering Research?
Test generation via symbolic simulation
Response from R. A. DeMillo, R. J. Lipton, A. J. Perlis
Template for a system design file using OODPM version 2010
Report from the 14th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2023)
AI Adoption: Why the Software Industry Is Slow to Go Past the Hype?
17th International Conference on Software Engineering: Window on the World
Business situation reflected in automotive electronic architectures: analysis of four commercial cases
Investigation into the exploitation of Object-Oriented features
Exploring the Essence of Continuous Experimentation: Minimum Prerequisites for Light-Weight CE
Report on 2nd UK software maintenance workshop
Software safety
Report on the 7th international workshop on models@run.time
An annotated bibliography on integration in software engineering environments
Process and Product: Dichotomy or Duality?
Implicit heterogeneous and parallel programming
International workshop on models and processes for the evaluation of COTS components (MPEC'04)
Collaboration, conflict and control: report on the 4th workshop on open source software engineering
Exploring initial challenges for green software engineering: summary of the first GREENS workshop, at ICSE 2012
ANN model for predicting software function point metric
The potential effect of Ada on software engineering in the 1980's
How to Develop a General Theory of Software Engineering: Report on the GTSE 2014 Workshop
Workshop on software specification and design
Evaluating software engineering methods and tools: part 9: quantitative case study methodology
Deeper questions: the metaproblem of large organizations developing complex systems and the limits of process
Making it big in software: get the job, work the org, become great by Sam Lightstone
A brief history of the object-oriented approach
Event-based runtime verification of java programs
Imparting effective software engineering education
A systematic review of software process tailoring
The MCDC paradox
Aspects in Architectural Description: report on a first workshop at AOSD 2007
Software synthesis for hard real-time embedded systems with multiple processors
A second generation verification environment
The strange power of FORTRAN: a very short calendar printing program
Analysis of reusability of object-oriented systems using object-oriented metrics
A requirements analysis framework for open systems requirements engineering
Experience teaching Z with tool and web support
Pattern Languages o f Program Design
Overcoming communication obstacles in user-analyst interaction for functional requirements elicitation
Key Software Metrics and its Impact on each other for Software Development Projects
OpenEC/B: electronic commerce and free/open source software development
ICSE 2004 workshop on architecting dependable systems
Towards Exhaustive Testing of Websites using JPF
ICSE 97: picking up the gauntlet
Message from the secretary/treasurer
Design, specification, and verification of interactive systems
Verifying android applications using Java PathFinder
Generating composite behavior of embedded software components based on UML behavioral model and process algebra
So many algorithms. So little time
SIGSOFT Members Asked to Participate in Study of CASE Tool Design
Report: 4th ACM Conference On Computer and Communications Security
FLAVERS
Drupal For Designers by Dani Nordin
How scalable is J2EE technology?
An object-based model for pprototyping user interfaces of cooperative systems
Selected annotated bibliography on software engineering
Entropy metric for XML DTD documents
Investigation of human engineering: for software environments
Prioritization of software security intangible attributes
F/OSS in the library world: an exploration
A formula for the re-inspection decision
The design, definition and implementation of programming languages
Views of SDE: automation of engineering and engineering of automation
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions
Behavioral semantics workshop (call for papers)
A GQM-based tool to support the development of software quality measurement plans
Peer Review: Trust and Prejudice
Estimation of generic reusability for object-oriented software an empirical approach
CASE evaluation and selection bibliography
<username>, i need you!: initiative and interaction in autonomic systems
The life cycle: a debate over alternate models
Questionnaire responses
Software Engineering for Smart Cyber-Physical Systems - Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS
Software maintenance notes
A domain specific software architecture style for CSCD system
Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects
Parnas on Parnas: a life of indecision
Object-oriented cohesion subjectivity amongst experienced and novice developers: an empirical study
A mathematical reusability model for quantifying the reduction in development effort
ICSE 97 program update
Combinatorial completion by rule definition with interactive value colouring
Abstracts in software engineering: part 6
An XML-based framework for bidirectional transformation in model-driven architecture (MDA)
System analysis and design: a foundation for the 1980's
ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005)
Quantum Software: Model-driven or Search-driven? A Q-SE 2021 Workshop Report
Metrics for measuring the quality of object-oriented software
A visual requirements validation environment for the reverse engineering of formal specifications from rapid prototypes
Engineering the enterprise: evolving quality systems
FORTRAN error detection through static analysis
On the scalability problem in COTS-based programming environments
Quality improvement and optimization of test cases: a hybrid genetic algorithm based approach
A design for evidence - based soft research
A scary tale - Sperry avionics module-testing bites the dust?
Empirical evaluation of the effect of flexibility upon testability of framework based application
Reflections on the Evolution of Computer Science Education
Memory safety in C by abstract interpretation
A novel approach for slicing of object oriented programs
Automated development of software for program analysis and transformation
Sketching user experiences by Saul Greenberg, Sheelagh Carpendale, Nicolai Marquardt and Bill Buxton
Workshop on formal verification: (VERkshop)
A position paper on software reliability
A document-centered approach for an open CASE environment framework connected with the world-wide web
Empirical studies of software testing techniques: challenges, practical strategies, and future research
Testing large software products
Avoidance of security breach through selective permissions in android operating system
A study of automatic migration of programs across the Java event models
Overview of verification systems
Vector-clock based partial order reduction for JPF
Report of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012): internet of services and the quest for case studies
A unified tabular method for modeling variants of software product line
Design issues in client-server software maintenance
Review of "Abstract state machines: a method for high-level system design and analysis" by Egon Börger and Robert Stärk. Springer-Verlag 2003
From manufacturing document requirements to customized authoring and automated publishing framework
Quality assurance through direct implementation of analysis and design constructs
Abstracts in software engineering: part 5
Review of "The Build Master: Microsoft's Software Configuration Management Best Practices by Vincent Maraia", Addison-Wesley, 2005, 0-321-33205-9
MaLTeSQuE 2022 Workshop Summary
Energy aware data management on AVR micro controller based systems
Summary of the 1st IEEE Workshop on the Next Level of Test Automation (NEXTA 2018)
TOSEM news
Strongly consistent transformation of partial scenarios
Perspectives on software product lines: report on first international workshop on software product lines: economics, architectures, and implications workshop #15 at 22 nd international conference on software engineering (ICSE)
Parallel and distributed execution of constraint programs
Inspired software design early jackson methods to thread architectures
Report of the 2nd International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2018)
Principles of data integration by Anhai Doan, Alon Halevy, Zachary Ives
Parallel Coordinates: Visual Multidimensional Geometry and its Applications, is written by Alfred Inselberg, and published by Springer; (c) 2009; ISBN 978-0-387-21507-5; pp. 580
Discussion summary: characteristics of web services and their impact on testing, analysis and verification
Toward a new paradigm for quality assurance
PM: a system for prototyping and monitoring remote procedure call programs
Issues concerning re-engineering of legacy software in the federal R&D environment
Proceedings on the 1st Workshop on Agile Methods Applied to Development and Certification of Safety-critical Software
ACM Risks Forum Quarterly Summary
Peer review assessment standard for object oriented analysis and design
My accordian's stuffed full of paper: or why we did so badly in the design phase
A comparative introduction to CSP and ACT-ONE formal languages
Empirical Study of Agile Software Development Methodologies: A Comparative Analysis
Position paper to be presented at "Verification workshop III (verkshop III)" to be held in Watsonville, CA. Feb. 18-21, 1985
The epistemology of computer security
Adaptive integration of third-party web services
Book Review: PCTE: The Standard for Open Repositories by Lois Wakeman and Jonathan Jowett
Survey on agile metrics and their inter-relationship with other traditional development metrics
Concurrent Bounded Model Checking
Re-Engineer: If It Wasn't Engineered!
Podcasts about software engineering
ACM fellow profile: Meir M(Manny) Lehman
Program reduction using symbolic execution
CMMI for development v 1.3 by Mary Beth Chrissis, Mike Konrad and Sandy Shrum
Ada verification using existing tools
Formal validation of fault management design solutions
A comparison of program complexity prediction models
JPF Verification of Habanero Java Programs using Gradual Type Permission Regions
Comparative Analysis of Traditional and Object-Oriented Software Testing
Essentials of the Java programming language: a hands-on guide
A Case Study on Executing Instrumented Code in Java PathFinder
The European Space Software Development Environment Reference Facility Project: a status report
Measuring formal specification with α-metric
Review of "Geekonomics: The Real Cost of Insecure Software by David Rice, " Addison-Wesley, 2008, 362 pp, 0-321-47789-8 (hardback)
STCIM: a dynamic granularity oriented and stability based component identification method
Report on the Engineering Federated Information Systems 2003 workshop (EFIS 2003)
Book Review: Reliable Object-Oriented Software- Applyi n g Analysis and Design
Review of 1986 Environments Conference
Formal foundations of software evolution: workshop report
Practical aspects of DSS design for commodities transportation during special events
Verkshop position paper
Making all types typedefed
Software agents using simulation for decision-making
Toward a great and enduring profession
Optimization of program invariants
Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report
A Nine Year Story of the India Software Engineering Conference from 2008 to 2016
Verification of Habanero Java Programs using Computation Graphs
Is Software Quality Intrinsic, Subjective, or Relational?
Intellectual energy in software design
The experimental validation and packaging of software technologies
Template for a System Design File Using OODPM Version 2015
NPIC - New Paltz interprocedural compiler
Approaches to aspect oriented design: a study
PREDICTION & WARNING: a method to improve student's performance
Evaluation of software development life cycle: methodology implementation
Graph transformation based reduction analysis of PID
Is programming an art?
Distributed Assertion Checking Using Symbolic Execution
Review of "Ethnotechnical review handbook" by Daniel P. Freedman and Gerald M. Weinberg. Ethnotech, Inc. 1979
Report of the 2nd international workshop on principles of engineering service-oriented systems (PESOS 2010)
Small-scale software components
Working group on HCI education (identifying & disseminating resources)
The 8th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering
Christopher Alexander: an introduction for object-oriented designers
Technical debt: towards a crisper definition report on the 4th international workshop on managing technical debt
Integrating legacy systems in distributed object architecture
A Project Management Framework for Global Software Development
How data inspection and consideration, provides for index compression and record access optimization of genetic databases
Selection criteria for analysis and design CASE tools
"Ad you like it": advertisement sourcing and selection technique across multiple heterogeneous applications
Book Review - Cloud Computing Design Patterns
More on software quality assurance
Reuse-oriented requirements engineering in NATURE
Building an infrastructure to support experimentation with software testing techniques
GIDTS: a graphical programming environment for Prolog
Highlights from the DoD product line practice workshop product lines: bridging the gap - commercial success to DoD practice
Working results on software re-engineering
Multi-level specifications based on traces
Inter-class def-use analysis with partial class representations
Report on a workshop on software change and evolution
Quantum Computing: A New Software Engineering Golden Age
Writing effective use cases
On the communication problem between domain engineering and application engineering: formalism using sets, conflicts of-interests and artifact redundancies
FAQs and figures
Quantifying the Exploration of the Korat Solver for Imperative Constraints
SEA4DQ 2024 Workshop Summary
Two books named "Software reliability": review of "Software reliability" by Thomas A. Thayer, Myron Lipow, Eldred C. Nelson. North-Holland 1978. and "Software relibaility" by Hermann Kopetz. Springer-Verlag 1980
A new approach to generate and optimize test cases for UML state diagram using genetic algorithm
An Ina Jo® proof manager for the formal development method
Summary of the 1st ICSSP-ICGSE Joint Event
Component-based measurement: few useful guidelines
Current research directions in software engineering for parallel and distributed systems
Automatic analysis of requirements consistency with the B method
An analysis of dependency of coupling on software defects
Estimating understandability of software documents
Book Review: A Quantitative Approach t o Software Management: The ami Handbook
Assessing software structure by entropy and information density
Some research on componentware frameworks based on mobile agent technology
A framework for software safety in safety-critical systems
Automated web testing based on textual-visual UI patterns: the UTF approach
Standard for the software life-cycle process
BatchFlow: a method and notation to visualize RDBMS batch jobs
Report on the Second SEMAT Workshop on General Theory of Software Engineering (GTSE 2013)
Quality measures in design: finding problems before coding
A new bachelor's degree program in software engineering
1st international requirements engineering efficiency workshop: REEW 2011
Supporting agile development by facilitating natural user interaction with executable formal specifications
Agent oriented requirements engineering for a data warehouse
Software Development Roles: A Multi-Project Empirical Investigation
Data mining: practical machine learning tools and technique, third edition by Ian H. Witten, Eibe Frank, Mark A. Hell
Critical success factors for implementing software quality plans
Second International Workshop on Software Reusability: IWSR2 Summary
The book of ruby by Huw Collingbourne
Domain analysis: an introduction
A GUI for a manager of lightweight processes
Frontmatter (letters and notices)
Review of "CMMI Distilled: A Practical Introduction to Integrated Process Improvement, Second Edition by Dennis M. Ahern, Aaron Clouse and Richard Turner". Addison Wesley, 2004, paperback, ISBN 0-321-18613-3
Fifth International Workshop on Emotion Awareness in Software Engineering (SEmotion2020)
Practical WAP: developing applications for the wireless web
Some lessons from formalizing a security model
Pains and Gains of Peer- Reviewing in Software Engineering
Report from the 2nd international workshop on replication in empirical software engineering research (RESER 2011)
A framework for acquisition and application of software architecture evolution knowledge: 14
A concept of quality assurance for metrics in CASE-tools
Academic Freedom, Deemed Exports and International Students, Part 3: Smallsats and Cubesats
Software Configuration Management Strategies and Rational ClearCase(r)
Request for Information from SIGSOFT's Practicing Software Engineers: What do you Expect from a Conference?
Separating methodology and specification constructs
How Easy it is to Write Software for Heterogeneous Systems?
Augmented state-transition diagrams for reactive software
ESEC97/FSE5 invitation
Science, Society, and Software Engineering Part 2: If science is outlawed, will only outlaws do science?
Book review: Developing Object-Oriented Software An Experienced-Based Approach by IBM Object-Oriented Technology Center (PTR Prentice Hall, 1997)
Neurodiversity: What Can the Software Industry Gain from It?
Harnessing the crowd wisdom for software trustworthiness
Is KS=(D+I+S+K)*E + KM?
An Experience Report on Workshop on Emerging Software Engineering Education
The need for a programming discipline to support the APSE: where does the APSE path lead?
Notes on the second international workshop on development and evolution of software architectures for product families
Preview: Ethical and Moral Issues for Software Engineers
Method summaries for JPF
Space based technologies and commercialized development: economic implications and benefits by Stella Tkatchova
Stop the life-cycle, I want to get off
Research on software design level security vulnerabilities
A spiral approach to Software Engineering Project Management Education
Another letter on the correctness of real programs
Trustworthy software systems
Software Engineering for Infrastructure and Configuration (SEConfig) - Workshop Report
The roles of a SQA person
A Coconfinement Invariant
Real-life software projects as Software Engineering Laboratory exercises
Supporting distributed software design meetings: what can we learn from co-located meetings?
A pattern oriented technique for software design
Algorithms and models
What Do We Mean When We Talk about Artificial Intelligence?: (Part 1)
Review of "Architecting enterprise solutions: patterns for high-capability internet based systems by Paul Dyson and Andy Longshaw." John Wiley & Sons, Ltd. 2004
Integrated safety analysis of software-controlled critical systems
A rule-based recommendation system for selection of software development life cycle models
Summary of the Dagstuhl workshop on software architecture
A survey to examine the effect of team communication on job satisfaction in software industry
Developing maintainability index of a software component: a digraph and matrix approach
An evaluation of Boolean expression testing techniques
The LIFESPAN system
A comparative evaluation of the Z, CSP, RSL, and VDM languages
A leadership primer for software engineers
On testable object-oriented programming
Research on concurrent actions in multi-agent systems
Exploring Underdetermined Specifications using Java PathFinder
First International Workshop on Quantum Software Engineering (Q-SE 2020)
An annotated bibliography on software inspections
Effect of software evolution on metrics and applicability of Lehman's laws of software evolution
Radial basis function neural network based approach to test oracle
Towards a Model-based Software Mining Infrastructure
An approach to defining areas within the field of software engineering
Incorporating Security Features in Service-Oriented Architecture using Security Patterns
Method cohesion analysis through concept lattices
Towards autonomic web services: achieving self-healing using web services
Basic research in information privacy
Metrics based asset assessment
Model-based test cases synthesis using UML interaction diagrams
Integrated support for software reuse in Computer-Aided Software Engineering (CASE)
OSS tools in a heterogeneous environment for embedded systems modelling: an analysis of adoptions of XMI
The chaos model and the chaos cycle
Software dissimilarity debate revisited
Test case prioritization using ant colony optimization
Automating TEST Case Design, Selection and Evaluation Report on 10 Editions of A-TESTWorkshop
Book Reviews: The Deadline, A Novel about Project Management, Tom DeMarco
ArchStudio