yusuke1997/dblp-id-title huggingface dataset:
Knowledge repository to improve agile development processes learning
Framework for performance engineering of OSPF software
Analysis prediction template toolkit (APTT) for object-based computation
Simulation research for telecommunication data mining based on mobile information node
Scenario modelling with aspects
Functional testing of feature model analysis tools: a test suite
Rate-based packet scheduling paradigm
Professional issues in software engineering [Book Reviews]
Dealing with information quality in software package selection: an empirically based approach
Software similarity-based functional cohesion metric
Cooperative information-gathering: a distributed problem-solving approach
Text mining and software engineering: an integrated source code and document analysis approach
A model-based diagnostic program
The management of risk in system development: Project SP and the New Spiral Model
Systematic selection of software architecture styles
Using domain specific languages to instantiate object-oriented frameworks
A mathematical perspective for software measures research
Forwards to safety standards
Nine-areas-tree-bit-patterns-based method for continuous range queries over moving objects
Requirements engineering in 2001: (virtually) managing a changing reality
The Impact of Sentiment Orientations on Successful Crowdfunding Campaigns through Text Analytics
Automatic generation of language-based tools using the LISA system
CIM for data warehouse requirements using an UML profile
An evaluation of software design using the DEMETER tool
Designing and constructing modifiable middleware using component frameworks
Multiple-view modelling and meta-modelling of software product lines
Requirements engineering for real-time systems
Resource optimised workflow scheduling in Hadoop using stochastic hill climbing technique
Experience in engineering quality into software
Modelling software process variability: an empirical study
Clustering ECG heartbeat using improved semi-supervised affinity propagation
Intercultural challenges in offshore software development outsourcing relationships: an exploratory study using a systematic literature review
Risk analysis: a guiding force in the improvement of testing
Formal model for user-centred adaptive mobile devices
IusWare: a methodology for the evaluation and selection of software products
Does software error/defect identification matter in the italian industry?
Power evaluation methods for data encryption algorithms
Achieving high integrity of process control software by graphical design and formal verification
Conflict resolution support for parallel software development
Improving agility and discipline of software development with the Scrum and CMMI
Testing-a challenge to method and tool developers
The use of software engineering data in support of project management
WebML modelling in UML
Significance of depth of inspection and inspection performance metrics for consistent defect management in software industry
Object-oriented user-interface development
Structured planning-project views
A practical approach to hardware empathy for software engineering students
Specifying and generating multilanguage software development environments
Software diversity metrics quantifying dissimilarity in the input partition
Modelling versions in collaborative work
Video-on-demand server: Strategies for improving performance
Experiment about test-first programming
Software reliability prediction based on support vector regression using a hybrid genetic algorithm and simulated annealing algorithm
BCS and IEE accreditation of software engineering courses
Domain-based access control for distributed computing systems
Externalising tacit knowledge of the systematic review process
Systematic mapping study on MBT: tools and models
Evaluation and selection criteria for software requirements specification standards
Modelling a distributed real-time system for feedback control in a nuclear fusion experiment
Study on service selection effort estimation in service oriented architecture-based applications powered by information entropy weight fuzzy comprehensive evaluation model
Ontological approach for the semantic recovery of traceability links between software artefacts
A distributed version control system for wide area networks
A generic persistent object store
Rapier 2000 software development programme
Towards conceptual foundations for service-oriented requirements engineering: bridging requirements and services ontologies
Statistical software testing using economic exposure assessments
Literate specifications
Implementation of static semantic analysis of LOTOS specifications
Measuring software flexibility
Aspect-oriented weaving and the .NET common language runtime
A probability model for analysing complexity metrics data
Blended versus face-to-face: comparing student performance in a therapeutics class
Metarule-guided association rule mining for program understanding
Case for an explicit co-ordination layer in modern business information systems architectures
Benchmarking the CLI for high performance computing
Mapping a Mascot 3 design into Occam
Software engineering research: A critical appraisal
Evaluating software development effort model-building techniques for application in a real-time telecommunications environment
The design and development of embedded Ada systems
Aggregating viewpoints for strategic software process improvement-a method and a case study
Generating readable software
Framework based on design patterns for providing persistence in object-oriented programming languages
Proving properties of a safety-critical system
Ontology-based service discovery framework for dynamic environments
Regulatory requirements for computerised systems in pharmaceutical manufacture
Semantic integration of wireless sensor networks into open geospatial consortium sensor observation service to access and share environmental monitoring systems
Web usability inspection technique based on design perspectives
Empirical study to assess whether the use of routes facilitates the navigability of web information systems
Analysing dynamic change in distributed software architectures
Service identification guideline for developing distributed embedded real-time systems
Hierarchical metrics and the prime generation problem
Semantics-directed implementation of method-call interception
Improving automatic bug assignment using time-metadata in term-weighting
Survey of component-based software development
Investigating the use of chronological split for software effort estimation
An information retrieval system for software components
Framework for the declarative implementation of native mobile applications
View-centric reasoning for Linda and Tuple Space computation
Surgeon: a packager for dynamically reconfigurable distributed applications
The practicalities of introducing large-scale software re-use
Template-based construction of verified software
Merging partial system behaviours: composition of use-case automata
Synthesising certificates in networks of timed automata
Making inferences with small numbers of training sets
A behavioural semantics for Linda-2
Theory for classifying equivalences of unified modelling language activity diagrams
ORIENTMAN: an intelligent tutor for the ORIENT software development methodology
Qualitative formal method for requirements specification and validation of hybrid real-time safety systems
Analysing change profiles of open source software projects using burst detection
Validating metrics for data warehouses
Web-based learning object selection software using analytical hierarchy process
Functionality and implementation issues for complex authorisation models
Using two-level stable storge for efficient checkpointing
Evaluation of a perspective based review method applied in an industrial setting
Towards a self-structuring software library
Industrial experience with an integrated code comprehension model
An approach to automated software design based on product metrics
Runtime verification monitoring for automotive embedded systems using the ISO 26262 functional safety standard as a guide for the definition of the monitored properties
Toward measuring potential coupling
Acquiring experiences with the modelling and implementation of the project-life-cycle process: the PMDB work
'Slick Systems' and 'Happy Hackers': experience with group projects at UCL
An approach to software maintenance education
The complexity of software testing
A program for animating CCS specifications
Towards a method engineering approach for business process reengineering
Java PastSet: a structured distributed shared memory system
Reducing the use of nullable types through non-null by default and monotonic non-null
Stochastic modelling of random early detection based congestion control mechanism for bursty and correlated traffic
Automation of software test (AST '09) [Editorial]
Improving artefact quality management in advanced artefact management system with distributed inspection
Unified modelling and analysis of collaboration business process based on Petri nets and Pi calculus
Real-time robotics and process control experiments in the Distributed Control Lab
Graphical modelling language for specifying concurrency based on CSP
Configuring graphics systems components
Assessing communication media richness in requirements negotiation
Professional competence in safety-related software engineering
Comparative analysis of soft computing techniques for predicting software effort based use case points
Integration of artificial intelligence activities in software development processes and measuring effectiveness of integration
Scrabble-a distributed application with an emphasis on continuity
Predicting the software performance during feasibility study
Two-stage tamper response in tamper-resistant software
Automatic detection of infeasible paths in software testing
Generating extended state transitions from structured specifications for process control systems
A pictorial approach to the animation of process-oriented formal specifications
Implementation of a model lift control system from a formal specification
Specifications are (preferably) executable
Managing inconsistency in reconfigurable systems
Supporting dynamic QoS management functions in a reflective middleware platform
Impact of release intervals on empirical research into software evolution, with application to the maintainability of Linux
Usefulness of acceptance testing information for component-based system maintenance
Product review management software based on multiple classifiers
An individual assessment technique for group projects in software engineering
Theorem proving and software engineering
Search strategies for Java bottleneck location by dynamic instrumentation
Compositional verification for component-based systems and application
The design of real-time systems: from specification to implementation and verification
Usability requirements as specification constrains: an example of WYSIWYG
A methodology for deriving an object-oriented design from functional specifications
Systems are not only software
Web service matchmaking for the development of context-aware applications
Aspect-oriented approach to early design modelling
Comparison of the effect of development paradigms on increases in complexity
Cost-aware execution of transactional web services using labelled transition systems
The Honeysuckle programming language: an overview
Experimental investigation of message latencies in the Totem protocol in the Presence of faults
Customers do not want frozen specifications
First class feature abstractions for product derivation
Systems engineering and safety - a framework
Investigations on implementation of web applications with different techniques
Introducing monitoring events to timed-CSP
Combining formal specification and CORE: an experimental investigation
Concurrent object-oriented programming on .NET
Pattern language for the design of aspect languages and aspect composition frameworks
Component-based software engineering for distributed embedded real-time systems
Syntax-directed editing
Requirements elicitation for software-based systems
COEUS 2.0: automated platform to integrate and publish biomedical data as nanopublications
A space-efficient technique for recording versions of data
A quantitative approach to monitoring software development
Formal methods into practice: case studies in the application of the B method
ALSETT-towards an educational IPSE
Technical criteria for the specification and evaluation of object-oriented libraries
Analogy-based effort estimation: a new method to discover set of analogies from dataset characteristics
Efficient top-k algorithm for eXtensible Markup Language keyword search
The application of real-time design techniques to simulation
Teaching global software engineering: experiences and lessons learned
On hierarchical software metrics
Role-based access control in TOBIAS and NESS
Reliability analysis of safety-critical and control systems: a state-of-the-art review
Open model methodology: a new approach to the development of user interfaces based on knowledge processing
Uses and abuses of inheritance
Errata 'Value of ranked voting methods for estimation by analogy', IET Softw., 2013, 7, (4), pp 195-202
Metrics suite for maintainability of eXtensible Markup Language web services
Requirements acquisition
Using the semantic web to define a language for modelling controlled flexibility in software processes
Calibrating estimation tools for software development
A lightweight technique for assessing risks in requirements analysis
Multiple view environment supporting VDM and Ada
Refinement methods and refinement calculi
Machine learning approaches for predicting software maintainability: a fuzzy-based transparent model
Power-efficient real-time scheduling based on multi-granularity resource reservation for multimedia services
Efficient parameter estimation of software reliability growth models using harmony search
Specifying restrictions on imperative programming languages for use in a distributed embedded environment
Preparing students for industrial teamwork: a seasoned software engineering curiculum
Objects and actions in reliable distributed systems
A ten year evaluation of an atypical software environment
Weather data sharing system: an agent-based distributed data management
A formal specification of appearance and behaviour of visual environments
Effects of structure on the comprehensivility of formal specifications
Analysing the quality of object-oriented models from novice modellers
Advanced software applications in Japan [Book Reviews]
A model for co-operative object-orientated programming
Integrated design approach for real-time embedded systems
Improving interpretation of component-based systems quality through visualisation techniques
From pragmatic to systematic software process improvement: an evaluated approach
Analysis of risks faced by information technology offshore outsourcing service providers
Approach to mine influential functions based on software execution sequence
A proposed object-oriented development methodology
Concurrent usability evaluation and design of software component: a digraph and matrix approach
The System Cottage-a multidisciplinary engineering group practical
ACRE: selecting methods for requirements acquisition
Engineering components for ease of customisation and evolution
A graphical environment for user-interface design and development
Program analysis too loopy? Set the loops aside
Performance of locality-aware topologies for peer-to-peer live streaming
Contextual paradigm for ad hoc retrieval of user-centric web data
Aspect-oriented and component-based software engineering
Case study on software refactoring tactics
The choice of computer languages for use in safety-critical systems
Software as a corporate asset
Formal methods for database language design and constraint handling
Improving the engineering of model tracing based intelligent program diagnosis
Information system evolvability, feedback and pattern languages
Automated requirements engineering: Use case patterns-driven approach
A prototype system for the validation of Pascal programs
Reputation measure approach of web service for service selection
Software evolution in the age of component-based software engineering
Language-based access control approach for component-based software applications
Model-based testing of embedded systems in hardware in the loop environment
Visualising action contracts in object-oriented modelling
Analysis of task effort estimation accuracy based on use case point size
Applicability of SIGNAL in safety critical system development
SamEn-SVR: using sample entropy and support vector regression for bug number prediction
Empirical study of fault prediction for open-source systems using the Chidamber and Kemerer metrics
Editorial reusable software libraries
Global Analysis: moving from software requirements specification to structural views of the software architecture
A model for graphical interaction
Using soft systems methodology to improve requirements practices: an exploratory case study
Optimal restart times for moments of completion time
AB-HCI: an interface multi-agent system to support human-centred computing
Transient calculations on process algebra derived Markov chains
Transaction mechanisms for distributed programming environments
Software engineering within the context of a computer science degree programme
The agent architecture of the Univercity of Michingan Digital Library
Tailoring a large-sized software process using process slicing and case-based reasoning technique
Empirical study of communication structures and barriers in geographically distributed teams
An evaluation of some design metrics
Permabase: predicting the performance of distributed systems at the design stage
Editorial: The Software Engineering Association
Ada and software re-use
ASCAA: API-level security certification of android applications
Formal specification of data abstraction in FORTRAN 77: abstract arrays
Modelling emergency response process using case management model and notation
Framework for high-quality software design and development: a systematic approach
StoryNet: an evolving network of cases to learn information systems design
Initial software process management in EPOS
Decision model for legacy systems
Automatic structural testing using genetic algorithms
Object-oriented design, Jackson system development (JSD) specifications and concurrency
Infrastructure for domain-specific aspect languages: the relax case study
Empirical study of the effects of different profiles on regression test case reduction
Deriving architectural flexibility requirements in safety-critical systems
Directed graph based representation for software system design
Application of CASE within manufacturing industry
Using real options to select stable middleware-induced software architectures
Disconnected service architecture for unanticipated run-time evolution of code
Law-governed systems
Comparative review of functional complexity assessment methods for effort estimation
Building your own software development environment
Safety-critical systems, formal methods and standards
Visualisation environment for global software development management
Dora: a structure-oriented environment generator
A study of configuration management in open source software projects
Multidimentional size measure for design of component-based software system
Intelligent generator of big data medical imaging repositories
Building distributed systems with remote procedure call
The HCI component of dependable real-time systems
Application and benefits of formal methods in software development
Classifying Web pages employing a probabilistic neural network
Reflections on the NASA MDP data sets
Software systems engineering: the case of a new discipline
Assisted surface redesign by perturbing its point cloud representation
An integrating common framework for measuring cognitive software complexity
Selective availability: Coordinating interaction initiation in distributed software development
Adaptive runtime fault management for service instances in component-based software applications
Specifying user knowledge for the design of interactive systems
Executing formal specifications need not be harmful
Fine tuning the scheduling of tasks through a genetic algorithm: application to Posix1003.1b compliant systems
Incremental language design
Transformations using a meta-system approach to software development
ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z
A software development post-mortem summary
Modelling and verification of program logic controllers using timed automata
HCLIE: a logic-based requirement language for new software engineering paradigms
Integration of RE and MDE paradigms: the ProjectIT approach and tools
Adding rigour to object-oriented analysis
What makes service oriented requirements engineering challenging? a qualitative study
Event model of human-system interaction
Application-oriented real time algebra
Communications: a software group productivity dominator
Integrated state-based dynamic slicing technique for UML models
Component-based perspective on software mismatch detection and resolution
Dynamic recompilation and profile-guided optimisations for a .NET JIT compiler
Agile methods in European embedded software development organisations: a survey on the actual use and usefulness of Extreme Programming and Scrum
A theory of unification
Software reclamation
Specifying temporal requirements for distributed real-time systems in Z
Object-oriented concept analysis for software modularisation
Understanding the complexity embedded in large routine call traces with a focus on program comprehension tasks
Plastic transformations: A method for building dependable distributed Applications
Deadlock-free completely connected networks: towards a π-calculus approach
Towards more flexible management of software systems development using meta-models
Interactive animation system for virtual maize dynamic simulation
A programming environment for Modula-2
Evaluation of nine heuristic algorithms with data-intensive jobs and computing-intensive jobs in a dynamic environment
Semantic modelling and automated reasoning of non-functional requirement conflicts in the context of softgoal interdependencies
Critical review of quantitative assessment
Empirical study of software component integration process activities
Extending grammars and metamodels for reuse: the Reuseware approach
Prioritised dynamic communicating and mobile processes
A software tool for testing JSP designed programs
Bridging WebML to model-driven engineering: from document type definitions to meta object facility
Critical success factors for offshore software outsourcing contract management from vendors' perspective: an exploratory study using a systematic literature review
An empirical evaluation (and specification) of the all-du-paths testing criterion
Framework for quiescence management in support of reconfigurable multi-threaded component-based systems
Relationship between design patterns defects and crosscutting concern scattering degree: an empirical study
Special issue on Early aspects: aspect-oriented requirements engineering and architecture design
Zero-inflated prediction model in software-fault data
PNiQ: Intergration of queuing networks in generalised stochastic Petri nets
Editorial real-time systems - multidisciplinary engineering [Editorial]
Sustainable architectures by combining flexibility and strictness in Object Teams
Concept acquisition and analysis for requirements specification
Generative aspect-oriented component adaptation
UML models change impact analysis using a text similarity technique
The education programme of the Software Engineering Institute, Carnegie Mellon University
Industrial perspective on static analysis
Applying a reusable framework for software selection
Formal framework for hypertext systems
Specification and validation of dynamic systems using temporal logic
Implementing SDL in occam
Adapting function point analysis to Jackson system development
Efficient effort estimation system viz. function points and quality assurance coverage
Software development methods and tools: some trends and issues