yusuke1997/dblp-id-title huggingface dataset:
Modeling of Safety-Critical Systems Using Petri Nets
Notes from the 12th Conference on Software Engineering Education and Training (CSEET) and 13th SIGCSE Technical Symposium on Computer Science Education (CSE)
Report of the 2012 IEEE 6th international workshop on the maintenance and evolution of service-oriented and cloud-based systems (MESOCA 2012)
Install anywhere tutorial and reference guide by Zero G Team
Second working conference on reverse engineering summary report
Heuristics-based algorithm to dynamically adapt icon sizes and layouts on touch devices
Experience in writing VCG systems
Finding Polluter Tests Using Java PathFinder
Learning to Live With Inevitabilities in Software Engineering
Weakest precondition based verification tool that models spatial ordering
TEPE: a SysML language for time-constrained property modeling and formal verification
Cost estimation models for reuse and prototype SW development life-cycles
Ada task taxonomy support for concurrent programming
The distributed development system: a monolithic software development environment
On formalizing EMF modeling operations with graph transformations
A Review of Dr. Robert France's Contributions and Impact on Model-Driven Engineering and Software Engineering: Robert B. France (1960-2015)
On the underlying logics of specification languages
Making sense of the bazaar: 1 st workshop on open source software engineering
A Novel Approach of Equivalence Class Partitioning for Numerical Input
Few important considerations for deriving interface complexity metric for component-based systems
On checking the consistency of Object-Z classes
Cooperative and human aspects of software engineering: CHASE 2010
Code reusability in the large versus code reusability in the small
Radical and conservative top-down development
API usability: report on special interest group at CHI
PROMPT - Master Courses for Professional SoftwareDevelopers
JUnit 3.8 documented using collaborations
Software metrics: an introduction and annotated bibliography
Second international workshop on models and processes for the evaluation of off-the-shelf components (MPEC'05)
The NSF information technology research program
Book Reviews: The Year 2000 Software Crisis: Challenge of the Century, William M. Ulrich and Ian S. Hayes
Modelling systems: practical tools and techniques in software development, second edition written by John Fitzgerald and Peter Gorm Larsen and published by Cambridge University Press, 2009, ISBN 978-0-521-89911-6 hardback, 288 pp
Moving Beyond: Insights from 1st International Workshop on Software Engineering Research and Industrial Practices (SER&IPs 2014)
A model-based regression test selection approach for embedded applications
It's our job to care for SE
Separability Principles for a General Theory of Software Engineering: Report on the GTSE 2015 Workshop
Including Performance Benchmarks into Continuous Integration to Enable DevOps
Beta-testing a requirements analysis tool
ReQuEst: Requirements-driven quality estimator
Malware signing detection system
An extensible and nested gesture for drawing tools
An experimental mutation system for Java
Reusability issues in component-based development
The State of ICSE
A note on methodological review
Exchange format bibliography
Functional composition: a mechanism to compose programs
A conversation with Erwin Goodhack
3rd International Workshop on Conducting Empirical Studies in Industry (CESI 2015): Post-workshop Report
Assessment methodologies for public contractors
Study of empirical approaches to analyze the software metrics
Transforming Monolithic Systems to a Microservices Architecture
A taxonomy of domain-specific reuse problems and their resolutions - version 1.0
Fourth international conference on software reuse (ICSR4)
Fifty years of progress in software engineering
Staged Symbolic Execution for Parallel Property Checking
Automated analysis of standard ML
Variability in software architecture: current practice and challenges
Why do we need personality diversity in software engineering?
Physical type checking for C
Gamify 2025: Gamification in Software Development, Verification, and Validation
The programmer life-cycle
IT manager's handbook, the business edition by Bill Holtsnider and Brian D. Jaffe
Improving software documentation using textual entailment
Technical Debt: A Research Roadmap Report on the Eighth Workshop on Managing Technical Debt (MTD 2016)
Understanding and improving the user interface design process
Development of a framework for test case prioritization using genetic algorithm
Overview of existing safeguarding techniques for automatically generated code
Barriers to disseminating off-the-shelf based development theories to IT industry
Review of "Waltzing with Bears: Managing Risk on Software Projects by Tom DeMarco & Timothy Lister." Dorset House 2003
A system for managing shared files
Restructuring of Object-Oriented Software Through Cohesion Improvement Using Frequent Usage Patterns
Book review: Abstraction and Specification in Program Development by Barbara Liskov and John Guttag (MIT Press/McGraw-Hill, 1988, 469 pages, ISBN 0-262-12112-3)
Design of a Component Interface Complexity Measurement Tool for Component-Based Systems
A reengineering framework for small scale software
Relational data bases in the design of program construction systems
A conceptual framework for evolving software processes
Measuring the evolution of open source software systems with their communities
Part I: the RESOLVE framework and discipline: a research synopsis
A prototyping tool for graphical software engineering tools
Robust estimation in software experiments
Customer involvement in extreme programming: XP2001 workshop report
Towards bridging the twin peaks of requirements and architecture
Using Natural Language Processing and Graph Mining to Explore Inter- Related Requirements in Software Artefacts
Quality metrics for conceptual models for data warehouse focusing on dimension hierarchies
Factors affecting effective software quality management revisited
Essence of reusability in aspect-oriented systems
A comment on "the definition of maintainability"
An overview and bibliography of ENCOMPASS: an environment for incremental software development using executable, logic-based specification
Book review: Using Z by Jim Woodcock and Jim Davies (Prentice Hall, 1996)
Formal semantics of extended hierarchical state transition matrix by CSP
Component evolution and versioning state of the art
This Foundationalist Looks at P = NP
State of the art in software quality assurance
Metrics and Models in Software Quality Engineering
Why interaction between metrics should be considered in the development of software quality models: a preliminary study
Estimating software complexity from UML models
Some social factors of software engineering: the maverick, community and technical practices
Toward Simpler, not Simplistic, Quantification of Software Architecture and Metrics: Report on the Second International Workshop on Software Architecture and Metrics
StateComparator: Detecting Unbounded Variables Using JPF
Proceedings of the ACM Ada TEC "Future Ada environment workshop"
Space efficient non-constant time multi-method dispatch in object oriented systems
Evolutionary design of complex software (EDCS) demonstration days 1999
Spiral development and evolutionary acquisition: the SEI-CSE workshop
A consistent history authentication protocol
Essential app engine: building high-performance Java apps with Google app engine by Adriaan de Jonge
Rapid Continuous Software Engineering - State of the Practice and Open Research Questions: Report on the 6th International Workshop on Rapid Continuous Software Engineering (RCoSE 2020)
A value-based approach to predicting system properties from design
Intelligent agents in E-learning
Automated support for testing and debugging of real-time programs using oracles
COMETS: a dataset for empirical research on software evolution using source code metrics and time series analysis
Report from the workshop on prototyping to support the interaction designing in mobile application development (PID-MAD 2013)
Maintainability prediction of object-oriented software system by multilayer perceptron model
Concurrent development of software systems
ICSE 2003 workshop on software architectures for dependable systems
Everything in SE is a lie
Book review: Object-Oriented Software Metrics by Mark Lorenz and Jeff Kidd
A Strategy to Support Replications of Controlled Experiments in Software Engineering
On "Software engineering"
Business-efficient software development processes
Graphic formalisms should integrate communication, control, and data flow
Women and Software Engineering
We have met the enemy and she is us: a mixup'd search for software engineering
The RC2000: a software success story
Workshop on empirical studies of programmers
SCAG: a graphical approach to measure the complexity of the SOA application
Exploration and analysis of regression test suite optimization
Some statistics from the software testing service
A Bayesian network based approach for software reusability prediction
Sams Teach Yourself Responsive Web Design in 24 Hours by Jennifer Kyrnin
Towards detecting software performance anti-patterns using classification techniques
A qualitative analysis of effects of security risks on architecture of an information system
Software engineering for large-scale multi-agent systems: SELMAS 2003: workshop report
Component Comprehension in Context
Language-Dependent performance of design patterns
A communication-oriented approach to structuring the software maintenance environment
Report from the Summer School on Software Engineering andArtificial Intelligence
Viewpoints 96: international workshop on multiple perspectives in software development (SIGSOFT 96) workshop report
The Holy Grail of Software Products Success: Great Customer Experience and the Key Elements Needed to Create One
A Review of Software Engineering Research in China
A review of the quality aspects of the approved software engineering standards
System and software architecture track third IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'97)
An annotated CASE bibliography
Bugfind: a tool for debugging optimizing compilers
Components of verification technology
Software faults prediction based on grey system theory
On the need for a process for making reliable quality comparisons with industrial data
Jackson design methodology
Accelerated C++: practical programming by example
Java application architecture: modularity patterns with examples using OSGi by Kirk Knoernschild
Metrics for software system families
The Trailer of the ACM 2030 Roadmap for Software Engineering
Peer Reviewing in Software Engineering: Perspectives from STVR Co-Editors-in-Chief
Current practices and research opportunities in software business models
Conference on computer-aided software engineering summary report
FLOSS Research Track at the 10th International Symposium on Open Collaboration (OpenSym 2014)
Low-level dynamic system formation with high-level automation: extending UML in support of UPnP
RRL: theorem proving environment based on rewriting techniques
Evolutionary design of complex software (EDCS) kick off workshop summary
Incremental constraint engine
Toward a design environment for recovering and maintaining the structure of software systems
A mechanical verification of the Alternating Bit Protocol
Principles of survey research part 2: designing a survey
Models and languages for component description and reuse
The restricted access processor: an example of formal verification
High level language utilization of special hardware features
Optimizing software process control
Early measurement and improvement of software reliability
Partnering for reuse
On the economics of software
First International Workshop on Quantum SoftwareEngineering: The Next Evolution (QSE-NE) Summary 2024
Slicing-based test case generation from UML activity diagrams
A flexible, applet-like software distribution mechanism for Java applications
Control integration: a briefly annotated bibliography
FormSERA workshop on formal methods in software engineering rigorous and agile approaches: 2nd of june 2012 at ICSE'2012 in Zürich (CH)
ACM Fellow profile
Report on the international symposium on high confidence software (ISHCS 2011/2012)
Industrial Case Study of Transition from V-Model into Agile SCRUM in Embedded Software Testing Industries
Don't look back, something's gaining on us: more mixware software engineering metaphor
Post-workshop report for the Third International Workshop on Software Engineering for High Performance Computing Applications (SE-HPC 07)
Structuring into subsystems: the experience of a prototyping approach
Evaluation and comparison of cognitive complexity measure
Article review: An OOSD Method for Code Generation by A.I. Wasserman, P. A. Pircher, R. J. Muller (SEN 14 1, January 1989)
PCTE Esprit and Pact
Eliminating method redundancy for the improvement of inner class design
4th international software reuse conference overview
Recent verification work at MITRE
What Does the World's Biggest Tech Event Tell Us? Key Pointers from CES 2024
Design and analysis in software engineering: the language of case studies and formal experiments
Be Responsible
SST'19 - Software and Systems Traceability: Summary of the 10th International Workshop at the 41st International Conference on Software Engineering (ICSE), May 27, 2019
On the inadequacies of data state space sampling as a measure of the trustworthiness of programs
An Interview with Chunyang Chen - 2023 SIGSOFT Awardee
The Work Situation in Software-Development: Results of an Empirical Study
Be Gracious
On the use of connector libraries in distributed software architectures
Manipulating managed execution runtimes to support self-healing systems
Tool support for optimization-based architectural evaluation
Review of "Design For Trustworthy Software by Bijay K. Jayaswal and Peter C. Patton", Prentice Hall, 2007, ISBN 0-13-187250-8
Report on the 2 nd international summit on software engineering education, co-located with ICSE2003
On the derivation of method companionship by meta-modelling
Prolog technology as a basis for verification systems
Learning Rails 3 by Simon St.Laurent, Edd Dumbill and Eric J. Gruber
A Graph-Based Dynamic Slicing of Distributed Aspect-Oriented Software
On the Implications of COVID-19 Pandemic-Induced "Work From Home" in the Software Industry
A domain-specific software architecture engineering process outline
A learning perspective on software process technology
Critical components testing using hybrid genetic algorithm
Software modeling & design: UML, use cases, patterns, & software architectures by Hassan Gomaa
Software design is a good thing
Automated data verification in a format-free environment
Automated requirements-based test case generation
Prototype = function + behavior + form
Value-based software engineering
Osiris: generating concern models from source code
Post-mortem analysis of software engineering at Wang Institute
Genetic Improvement @ ICSE 2021: Personal reflection of a Workshop Participant
Comments on debugging hypercubes in a von Neumann language
Review of "Principles of productive software management" by Michael W. Evans, Pamela Piazza, and James B. Dolkes. John Wiley & Sons 1983
Formalizing non-concurrent UML state machines using colored petri nets
The Second International Workshop on Detection of Software Clones: workshop report
pi-ADL: an Architecture Description Language based on the higher-order typed pi-calculus for specifying dynamic and mobile software architectures
ACM ruby learning path by David A. Black
A view on three R's (3Rs): reuse, re-engineering, and reverse-engineering
Understanding Software Security from Design to Deployment
When to white box test
Performance of function point analysis through UML modeling
Productivity measurement on software engineering projects
Book review: Advanced database techniques by Daniel Martin (MIT Press 1986)
Report on early aspects at ICSE 2009: workshop on aspect-oriented requirements engineering and architecture design
What is software maintenance really?: what is in a name?
SoBelt: structural and behavioral execution instrumentation tool
Agile, CMMI®, RUP®, ISO/IEC 12207...: is there a method in this madness?
P, NP, and NP-Completeness: the basics of computational complexity by Oded Goldreich
Impact of Size and Productivity on Testing and Rework Efforts for Web-based Development Projects
Model querying with graphical notation of QVT relations
Prevention of XSS attacks using STCD: server side tagging and client side differentiation
An approach to modelling and applying mobile agent design patterns
Effectiveness of refactoring metrics model to identify smelly and error prone classes in open source software
Generating interaction test cases for mobile phone systems from use case specifications
OS X mountain lion: the missing manual by David Pogue
Succeedings of the second international software architecture workshop (ISAW-2)
Holistic design of a programming system
ML for the Working Programmer by L. C. Paulson (Cambridge University Press, 1996)
Complex event processing (CEP)
Approximations, anomalies and "the proof of correctness wars"
The Wild-West Lifecycle (WILI)
Software reuse myths
Programming ruby
Impact of the research community on the field of software configuration management: summary of an impact project report
Agile Analytics by Ken Collier
Dynamic reconfigurable network-on-chip design: innovations for computational processing and communication by Jih-Sheng Shen and Pao-Ann Hsuing
Wish-4: a specification for a CASE-tool to wish for
Modified development process of component-based software engineering
Tcl/Tk: a developer's guide, third edition by Clif Flynt
Hereford workshop on software reuse
Better performance or better manageability?
Gypsy verification environment: status
Software estimation: a fuzzy approach
Book Review: A MAP For Software Acquisition
Issues in designing an information model for application development
Co-Operative Method Development revisited
A Comparison of Sorting Times between Java 8 and Parallel Colt: an Exploratory Experiment
The optimal implementation of functional programming languages
A report on the "information systems in distributed environments" (ISDE) workshop at the OTM 2009 conferences
Software evolution and interleaving
Don't Mourn, Organize
Stakeholder Concern-Driven Requirements Analytics
First ICSE 2001 workshop on XML technologies and software engineering
A composite model checking toolset for analyzing software systems
Quality-oriented requirements engineering for a data warehouse
Cross avoid shelf-ware by making your systems easy-to-use
Automated formal methods: model checking and beyond
Use case modeling approach for early aspect acquisition
A multi-threaded object-oriented programming model
The need for transforming the COTS component quality evaluation standard mirage to reality
Into the fourth dimension - an introduction to dynamic analysis and design
Towards verified automotive software
A reply to a reply
Review of "More Java Gems by Dwight Deugo", Cambridge University Press, 2000, ISBN: 0-521-77477-2
Cataloguing and classification for object libraries
Status of DAPSE distributed Ada support
Working conference summary: REFSQ 2013 - the 19th international working conference on requirements engineering: foundation for software quality
Trends in empirical research: the report on the 2014 Doctoral Symposium on Empirical Software Engineering
Structural testing of programs
Psychosocial implications of computer software development and use: Zen and the art of computing
Pithy software engineering quotes new column
Relativity in software engineering measurements
Coordinated atomic actions: how to remain ACID in the modern world
Some ideas on review methodology
RADC SREM evaluation program: a status report
Identifying procedural structure in Cobol programs
Veritesting Challenges in Symbolic Execution of Java
NSF software engineering and lanuage program summaries
Review of "Object-Oriented Programming with Visual Basic.NET by Michael McMillan"; Cambridge University Press: Cambridge, 2004, 0-521-53983-8
Computing and visualizing the impact of change with Java PathFinder extensions
Performance Measurement and Analysis of High-Availability Clusters
Probability Model-Based Test Suite Reduction
Report from the 6th International Workshop on Requirements Patterns (RePa'16)
Does program verification help?: how much?
Rapid prototyping workshop: an overview
Another look at software design methodology
Evaluating SW Eng. methods and tools, part 8: analysing a feature analysis evaluation
A note on the Yourdon structured method
Machines, programs, and languages: a simplistic introduction to computer science
Jakarta Tool Suite (JTS)
Workshop on object-oriented reengineering (WOOR'99)
Third International Conference on Software Reuse Summary
System partitioning: a critical and often belittled development phase
Old-fashioned logic for verification
Adapting programming languages technologies for finite-state verification
Conducting FMEA over the software development process
The first UK software maintenance workshop
Software Architecture Patterns: Reflection and Advances: [Summary of the MiniPLoP Writers' Workshop at ECSA'14]
A cloud based software testing paradigm for mobile applications
Softool change/configuration management
Applying requirement based complexity for the estimation of software development and testing effort
Analysis of Conflicting User Requirements in Web Applications Using Graph Transformation
Review of "COBOL Programmers Swing With Java by E. Reed Doke, Bill C. Hardgrave and Richard A. Johnson", Cambridge University Press, 2005
The Role of Abstraction in Software Engineering
Fault-localization techniques for software systems: a literature review
An implemntation mechanism for design patterns
Software effort metrics: how to join them
Automatic verification of hardware and software systems
Professor James E. Tomayko
Cloud Computing: State of the Art and Security Issues
Finding Software License Violations Through Binary Code Clone Detection - A Retrospective
Genetic Improvement @ ICSE 2023
Type theory and rewriting theory for expressive, efficient and reliable programming languages
We need a discipline of software composing
Improving CUDA™ C/C++ encoding readability to foster parallel application development
A dependence graph-based representation for test coverage analysis of object-oriented programs
TCP/IP architecture, design, and implementation in linux by Sameer Seth and M. Ajaykumar Venkatesulu
Proposal: evaluation of environments
Recommended: a Minimum Standard Software Toolset
Three dimensional system development
Workshop summary first international workshop on requirements engineering: foundation of software quality (REFSQ;94)
Metric based testability model for object oriented design (MTMOOD)
NRL invitational workshop on testing and proving: two approaches to assurance
Improving the design of interactive software
An Empirical Study to Evaluate the Best Anchoring Positions in Nested Menus for Optimized Access Time
Remembering Dewayne Elwood Perry
Evaluating software engineering methods and tools, part 7: planning feature analysis evaluation
Towards a target platform independent specification and generation of information system apps
Part II: specifying components in RESOLVE
A dynamic assertion-based verification platform for validation of UML designs
Still more from Peter Schorer
SIGSOFT Outstanding Doctoral Dissertation Award: Improving Regression Testing Efficiency and Reliability via Test-Suite Transformations
An Optimal Weighted-Average Voting Algorithm for Software Safety Estimation on Safety-Critical Systems
First ISEW Cleanroom workshop summary
ETDSOA: a model for event and time driven service oriented architecture
Report working conference on requirements engineering: foundation for software quality (REFSQ'08)
ACM TOSEM FAQs and figures
Software Ecosystems for the Life Sciences Application Domains
The consistent comparison problem in N -version software
Clarifying the role of the SEI: they do not certify assessors or assessments
RIT's BS program in software engineering: a status report
Object-oriented development for Ada