yusuke1997/dblp-id-title huggingface dataset:
An extended algebra for the validation of communication protocols
Editorial: Role based access control - a solution with its own challenges
What accuracy statistics really measure
FADI: a fault tolerant environment for open distributed computing
Analysis of inheritance and multiple inheritance
Architectural translucency in service-oriented architectures
Quality of service enforcement for distributed objects
35 years on: to what extent has software engineering design achieved its goals?
Using triple graph grammars to realise incremental round-trip engineering
Domain-specific language for automatic generation of UML models
Assesing dependability of safety critical systems using diverse evidence
Hybrid approach to software interworking problems: managing interactions between legacy and evolving telecommunications software
Coordinated backward between client processes and data servers
Reflective designs
The deadline command
What can program supervision do for program reuse?
Building the foundations for 'MDE as Service'
Usability bugs in open-source software and online forums
Systematic review of success factors and barriers for software process improvement in global software development
The Information Utility: a project retrospective
Systems will be people too
Model and software tool for automatic generation of user interface based on use case and data model
Proactive service migration for long-running Byzantine fault-tolerant systems
Which battery model to use?
Temporal analysis of a microkernel
Mobile agent-based regression test case generation using model and formal specifications
Addressing quality attributes in domain analysis for product lines
Constrained multi-objective test data generation based on set evolution
Automatic code generation from unified modelling language sequence diagrams
When to stop testing: A study from the perspective of software reliability models
UML profile to support requirements engineering with KAOS
Approach to constructing software unit testing tools
Technique for representing requirements using personas: a controlled experiment
Framework for component model selection
The PRESTIGE workbench: CASE support for the implementation phase of JSD
Exploitation of social semantic technology for software development team configuration
Constructing multiple unique input/output sequences using metaheuristic optimisation techniques
Investigation on performance testing and evaluation of PReWebN: a java technique for implementing web application
Karel the Robot [Book Reviews]
Transformational implementation of PAISLey specifications using Petri nets
POS-formal specification of a Unix tool
Timed Petri net approach to performance modelling with the MOON method
Using a web-based tool to define and implement software process improvement initiatives in a small industrial setting
Bringing the "real world" of software engineering to univercity undergraduate courses
Some software tools used in the development of the prototype york ada compiler
Formalisation and verification of programmable logic controllers timers in Coq
Survey of communication and awareness as the most relevant socio-technical aspects of requirements-driven collaboration among software development teams
Re-use of formatted requirements specifications
Executable specifications and CASE
Types for task-based access control in workflow systems
Environment generation for validating event-driven software using model checking
Applying knowledge modelling and case-based reasoning to software reuse
CONVERSE: A change-oriented process for engine controllers
Design tool to express failure detection protocols
Towards a formal specification of revisable CORE: allowing for change
A software design framework or how to support real designers
Configuring distributed systems in a Java-based environment
Guest Editorial: Advances in Knowledge and Information Software Management
Language definitions and tool generation
Improving the graph grammar parser of Rekers and Schürr
The unified modelling language
Mining execution relations for crosscutting concerns
Abstraction classes in software design
The pi measure
Building fully customisable middleware using an aspect-oriented approach
Shotgun correlations in software measures
Early generation of performance models for object-oriented systems
Server based application level authorisation for Rotor
EXPOSE: an animation tool for process-oriented specifications
Agent-based software engineering
Software online bug detection: applying a new kernel method
Generalised approach to software structure metrics
Design methodology for construction of asynchronous pipelines with Handel-C
Quantifying value of adding inspection effort early in the development process: A case study
Software fault trees and weakest preconditions: a comparison and analysis
Applying new scheduling theory to static priority pre-emptive scheduling
Software development standards
From logic to manuals again
Impact of aspect-oriented programming on software development efficiency and design quality: an empirical study
Combining abductive reasoning and inductive learning to evolve requirements specifications
Detecting overlapping use cases
Viscosity as a metaphor for measuring modifiability
Data structures for physical representation of VLSI
Web services property sequence chart monitor: a tool chain for monitoring BPEL-based web service composition with scenario-based specifications
Formal specification and validation of railway network components using Z notation
Word cloud segmentation for simplified exploration of trending topics on Twitter
Conflict-aware schedule of software refactorings
DIV-TBAT algorithm for test suite reduction in software testing
Dependable composition of transactional web services using fault-tolerance patterns and service scheduling
Control integration through message-passing in a software development environment
Aspect-oriented prolog in a language processing context
Runtime verification and monitoring of embedded systems
Agent-based subsystem for multimedia communications
Mathematical basis for the chaining of lossy interface adapters
Two object-based decomposition methodologies: a case study
Group support for the recording and sharing of maintenance rationale
Large-scale software engineering questions expert opinion or empirical evidence?
Privacy preserving big data publishing: a scalable k -anonymization approach using MapReduce
Software component interface description for reuse
The impact of distribution on support for object-oriented software development
Selecting a biodiversity conservation area with a limited budget using the binary African buffalo optimisation algorithm
AQUA: hybrid architecture for question answering services
Supporting commonality-based analysis of software product lines
Convexity and independence in software metric theory
Standards compliance testing for unified modelling language tools
Development and use of dynamic product-line architectures
Experience with statically-generated proxies for facilitating Java runtime specialisation
Towards a software maintenance methodology using Semantic Web techniques and paradigmatic documentation modelling
Validation of web service compositions
Comments on the probability model for the modified condition/decision coverage method of testing software
Shaping human capital in software development teams: the case of mentoring enabled by semantics
An information system won the war
Measuring the evolutionary stability of software systems: case studies of Linux and FreeBSD
Towards a constructive quality model. Part 1: Software quality modelling, measurement and prediction
Semi-automatic test suite generation from Estelle
Efficient software review process for small and medium enterprises
Globalisation of software supply and demand
Aspect-orientation and database systems: an effective customisation approach
Structured planning: deriving project views
Apply ant colony to event-flow model for graphical user interface test case generation
Integrating optional software components into hard real-time systems
Analysing source code: looking for useful verbdirect object pairs in all the right places
Inference network building and movements prediction based on analysis of induced dependencies
Cross-viewpoint consistency in open distributed processing
CCS specification of a Linda behavioural model debugger
Intention preservation in deterministic multithreading: a partial solution
Early performance assessment in component-based software systems
UML interaction model-driven runtime verification of Java programs
Role of unified modelling language in software development in Greece ?? results from an exploratory study
Some elementary questions on software quality control
Axiomatic assessment of control flow-based software test adequacy criteria
A distributed file server for embedded applications
A formal specification for a hierarchy of collections
Suffix tree-based approach to detecting duplications in sequence diagrams
Modelling and measurement of Prolog data
Requirements of an object-oriented design method
Empirical study on developer factors affecting tossing path length of bug reports
OASIS role-based access control for electronic health records
Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams
A CCS cast study: a safety-critical system
Enhancing comprehensibility of software clustering results
Heuristic optimisation algorithm for Java dynamic compilation
Design and implementation of an OLE for process control unified architecture aggregating server for a group of flexible manufacturing systems
Towards the formal specification of a simple programming support environment
Generating diverse software versions with genetic programming: and experimental study
Domain-specific language approach to modelling UI architecture of mobile telephony systems
Encapsulation, delegation and inheritance in object-oriented languages
Automatic test case generation using unified modeling language (UML) state diagrams
Review of heuristics for generalisation
Restructuring operations for data-flow diagrams
Effort estimation of component-based software development - a survey
Fail-aware datagram service
Dependability approach for evaluating software development risks
Story-driven approach to software evolution
Restructuring requirement specifications
Approach for parameter estimation in Markov model of software reliability for early prediction: a case study
Computation of alias sets from shape graphs for comparison of shape analysis precision
Distributed CTL model checking
Software architecture for adaptive distributive multimedia systems
Analysis and evaluation of distributed checkpoint algorithms to avoid rollback propagation
Diversity of structures and adaptive methods on an evolutionary hypermedia system
Real-time design in a distributed control network application layer environment
Talking about OSS: Making Sense of the Bazaar: 1st Workshop on Open Source Software Engineering - Workshop Report
Software technology transfer
Experiences with the PEPA performance modelling
Relating software requirements and architectures
Quality of service measure approach of web service for service selection
From objects to classes: algorithms for optimal object-oriented design
Specification of interfering programs based on interconditions
Fuzzy entropy-based framework for multi-faceted test case classification and selection: an empirical study
Lightweight approach for multi-objective web service composition
Variance analysis of software ageing problems
Validating dimension hierarchy metrics for the understandability of multidimensional models for data warehouse
Polymorphism, persistence and software re-use in a strongly typed object-oriented environment
Editorial domain specific aspect languages
Using autonomous components to improve runtime qualities of software
The stack resource protocol based on real-time transactions
Implementation specification for software process improvement supportive knowledge management tool
Formal framework for specifying dynamic reconfiguration of adaptive systems
Integrated support for systems design
Judy - a mutation testing tool for Java
The software infrastructure for a distributed system factory
Configuration discovery and mapping of a home network
Framework for evaluation and validation of software complexity measures
Multiple paths test data generation based on particle swarm optimisation
Personalised Grid service discovery
Modelling of visualised data-flow diagrams using Petri net model
Fuzzy stochastic Petri nets and analysis of the reliability of multi-state systems
Performance-driven object-oriented program re-modularisation
Requirements problems in twelve software companies: an empirical analysis
To what extent can prescriptions be meaningfully exchanged between primary care terminologies? A case study of four western European classification systems
The danger of using axioms in software metrics
Reliability estimation from appropriate testing of plant protection software
Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements
Software project initiation and planning - an empirical study
Support vector regression for predicting the productivity of higher education graduate students from individually developed software projects
Software and the factory paradigm
Multicast communication in grid computing networks with background traffic
Adaptive video streaming for embedded devices
Software engineering education for researchers
Supporting program comprehension in large preprocessor-based software product lines
Views of software quality: a field report
SWAP, a performance evaluation tool
Systems development methods guidance and CASE: integration between CASE and CAL
Connectors for bridging mismatches between the components of a software engineering environment
Towards high-level editing in syntax-based editors
Formalising design patterns composition
Quantitative monitoring of software development by time-based and intercheckpoint monitoring
Smart fuzzing method for detecting stack-based buffer overflow in binary codes
Evaluating relationship categories for clustering object-oriented software systems
Automating deployment planning with an aspect weaver
Exploring the behaviour of neural network software quality models
Software engineering in a first degree
Transformation contracts in practice
Elements of distributed algorithms-modeling and analysis with petri nets Wolfgang Reisig [Book review]
Comparing finite state machine test
Knowledge edition and reuse in Diagen: a relational approach
Method intergration: the need for a learning perspective
Establishing trust in offshore software outsourcing relationships: an exploratory study using a systematic literature review
Translation as a language implementation technique for supercomputers
Implementing non-strict evaluation on OOVMs
Towards an integrated method for hybrid information system development
CASE in the third generation
Viewpoints for requirements definition
Metrics-based control in outsourced software development projects
The design of a rewrite rule interpreter from algebraic specifications
Using CSTPNs to model traffic control CPS
Software engineering, the software process and their support
An introduction to Z and formal specifications
Problems, methods and specialisation
A Bayesian modification to the Jelinski-Moranda software reliability growth model
Task assignment to distributed teams aided by a hybrid methodology of verbal decision analysis
Formal support for dynamic QoS management in the development of open component-based distributed systems
Methods and tools for the automated configuration of distributed applications from reusable software architectures and components
Monitoring embedded software timing properties with an SoC-resident monitor
Towards a social level characterisation of socially responsible agents
Survey on software testing practices
Evaluation of the 'replace constructors with creation methods' refactoring in Java systems
On-chip support for software verification and debug in multi-core embedded systems
Evaluating composite events using shared trees
Service-enabled access control for distributed data
Model-based approach to develop learning exercises in language-learning applications
Empirical investigation of the challenges of the existing tools used in global software development projects
Fine-grain stochastic modelling of dynamic power management policies and analysis of their power - latency tradeoffs
Formal validation of viewpoint specifications
Software faults: spreading, detection and costs
Measuring stability of object-oriented software architectures
Trends, challenges and opportunities for performance engineering with modern business software
Implementing functional languages on object-oriented virtual machines
Length and readability of structured software engineering abstracts
Software refactoring at the package level using clustering techniques
To prototype or not to prototype? That is the question
Follow a guide to solve urban problems: the creation and application of urban knowledge graph
Performance prediction and procurement in practice: assessing the suitability of commodity cluster components for wavefront codes
Real-world software engineering
Experience of applying statistical control techniques to the function test phase of a large telecommunications system
Architectural patterns for problem frames
Preliminary study of sequence effects in judgment-based software development work-effort estimation
Solving the manufacturing cell design problem using the modified binary firefly algorithm and the egyptian vulture optimisation algorithm
Engineering project management techniques and their application to computer projects
Multistage programming support in CLI
Parameterised trace selection technique for process model recovering
Design principles of web-based distance education system and sample application in Afyon Kocatepe University
Design and implementation of a Bluetooth ad hoc network for indoor positioning
RAMESES: A method for evaluating change in small organisations
Computer games software factory and edutainment platform for microsoft .NET
Trust and co-operation in system development: applying responsibility modelling to the problem of changing requirements
A communications environment for co-operative information systems development
Translating smalltalk blocks into Java
Java's reliability: An Analysis of software defects in Java
Critical challenges in managing offshore software development outsourcing contract from vendors' perspectives
Extending CSP: denotational semantics
An experimental evaluation of a symbolic execution system
Implementing a software measurement program in small and medium enterprises: a suitable framework
Reconfiguration and module replacement in Argus: theory and practice
Towards a software component assembly evaluation
From requirements to implementation of ad-hoc social Web applications: an empirical pattern-based approach
Classification-tree restructuring methodologies: a new perspective
Internet QoS and traffic modelling
Systematic literature review: teaching novices programming using robots
Shruti: an embedded text-to-speech system for Indian languages
Deriving specifications from requirements through problem reduction
Method rule checking in a generic design editing system
Virtual machine framework for constructing domain-specific languages
Faulty version recovery in object-oriented N-version programming
Scientific programming with Java classes supported with a scripting interpreter
Analogy as a paradigm for specification reuse
Automated generation of test cases using a performability model
Software development: two approaches to animation of Z specifications using Prolog
Automated testing of eXtensible Access Control Markup Language-based access control systems
Formal specification and verification of a procedural protocol: case study
Systematic adaptation of dynamically generated source code via domain-specific examples
Study on the relevance of the warnings reported by Java bug-finding tools
Usage of social and semantic web technologies to design a searching architecture for software requirement artefacts
Experiences with group projects in software engineering
Formal specifications and proofs of inheritance protocols for real-time scheduling
View through MetaLens: usage patterns for a meta-recommendation system
Formal approach to specification and verification of task management in interactive systems
Activities and channels: C# language extensions for concurrency control and remote object communication
Design of a competence model for testing teams
Towards measuring object-oriented class stability
Editorial: Systems engineering for business process change
Trust and vulnerability in open source software
Scalable locality-aware event dispatching mechanism for network servers
Specification scheme for the visualisation of data structures
Interactive multimedia synchronisation in the distributed environment using the formal approach
A survey of mechanical support for formal reasoning
Reliability-oriented software engineering: design, testing, and evaluation techniques
Support for comprehensive reuse
Applicability of modified condition/decision coverage to software testing
The state dependency diagram
Malware detection: program run length against detection rate
Dual-expansion indexing for moving objects
MoMo: enabling hybrid museums
The use of Modula-2 for implementing a distributed kernel
Wait-free cache-affinity thread scheduling
Software process fusion by combining pair and solo programming
Cross-domain investigation of empirical practices
Exploiting java scientific libraries with the scala language within the scalalab environment
Dynamic aspect mining
Formalising model transformation rules for UML/MOF 2
Durra: a structure description language for developing distributed applications
Detecting and resolving email feature interactions through constraints
Efficient scheduling algorithm for divisible and indivisible tasks in loosely coupled multiprocessor systems
Software reliability allocation of digital relay for transmission line protection using a combined system hierarchy and fault tree approach
A model for IS quality [information systems]
Using Z to support the design of interactive safety-critical systems
Assume-guarantee verification of software components in SOFA 2 framework
Empirical comparison of graphical and annotation-based re-documentation approaches
Effort estimation in incremental software development
Software engineering training requirements in a professional services company
Auditing the XSS defence features implemented in web application programs
CERO: CE RObots community
The process cycle [software engineering]
Model-driven approach to developing domain functional requirements in software product lines
Design and implementation of assertions for the common language infrastructure
Software evolutionary dynamics modelled as the activity of an actor-network
System development through the reuse of existing components
Including both static and dynamic typing in the same programming language
Design metrics: an empirical analysis
Integrating formal notations and systems analysis: using entity relationship diagrams
A survey of object orientation in Z
Timing analysis of real-time software [Book Reviews]
From logic to manuals
Performance of effort estimating techniques in current development environments
Propagating changes in algebraic specifications
The architecture of system quality
Towards an ontology for global software development
Efficient and fair scheduler of multiple resources for MapReduce system
Automatic trust calculation for service-oriented systems
Assume-guarantee testing for software components
Performance study of real-time operating systems for internet of things devices
Progress on approaches to software defect prediction
Open source software projects as virtual organisations: competency rallying for software development
Applying dynamic separation of aspects to distributed systems security: A case study
Light-weight resource leak testing based on finalisers
Abstract data types as reusable software components: the case for twin ADTs
Towards a new concept of software