Search Results

System dependability is a quality factor indicates that system is able to provide trusted services and system failures will not cause catastrophic or unexpected events. The identification of dependability requirements help to develop dependable real-time ...

This study aims to determine the requirements for knowledge sharing systems (KSS) in academic institutions (AI). Using a mixed methods approach, the study proposes a knowledge sharing system requirement framework (KSSRF) which could be used as a guide ...

In this paper we describe the requirements and early system design for a smart conversational agent that can assist older adults in the reminiscence process. The practice of reminiscence has well documented benefits for the mental, social and emotional ...

As the complexity of industrial systems increases, it becomes difficult to ensure the correctness of system requirements specifications with respect to certain criteria such as consistency. Automated techniques for consistency checking of requirements, ...

There is growing research interest in exploring how biometric data is and can be shared across online social networks. However, most existing tools for sharing biometric data lock researchers into vendor-specific solutions that cannot be easily adapted ...

Healthcare social networking sites (HSNSs) provide users with tools and services to easily establish contact with each other around shared problems and utilize the wisdom of crowds to attack disease. The increasing popularity of HSNSs has led to concern ...

Integrating the computing process and the physical process, cyber-physical systems (CPS) pose many challenges to the system analysis and modeling. While most of the existing work focuses on developing the precise and formal model of CPS, little ...

This paper introduces a formal scenario description and a set of patterns for timing constraints that can assist designers with specifying and testing reactive embedded systems. The description of a scenario may be complemented by activities, which ...

Human errors in trauma resuscitation can have cascading effects leading to poor patient outcomes. To determine the nature of teamwork errors, we conducted an observational study in a trauma center over a two-year period. While eventually successful in ...

Security is one of the basic aims in software development. To discover safety problems, the software developers must consider the security control management in software life-cycle. Considering the security foundation in design process software reduces ...

The workshop proposed aims at reflecting on the practice of co-designing scenarios to develop digital services. The contents providing the basis to the foreseen activities regards the on-going European project Life 2.0 on the topic of the development of ...

Due to the rise of adoption of mobile technologies, a New Zealand based firm proposed an interest in extending their online accounting service to a mobile channel. While there is awareness in extending online accounting to mobile devices there is scarce ...

Evidence shows that proposals for new modeling notations emerge and evolution of current ones are becoming more complex, often in an attempt to satisfy the many different modeling perspectives required by each stakeholder. This paper presents a method ...

This article describes an approach to transdisciplinary information integration employing a core ontology. Information is modeled here with an ontology based on the CIDOC-Conceptual Reference Model (ISO 21127). When instantiated with some realistic ...

Stakeholders, analysts, and designers often fail to differentiate the roles of user and system requirements. Unfortunately, treating them as the same thing can create problems for projects. Here are three strategies for managing user and system ...

The quality of a software-intensive system is largely determined by the quality of its architecture and the quality of the architecturally significant requirements that drive its development. Unfortunately, although quality requirements typically have ...

This paper discusses how the use of a means-end approach in eliciting user requirements for a system results in a better understanding of the user's perceptual orientation toward the Web-based document management system under design. Our findings imply ...

It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modelling of system properties and behaviour. However, some system problems, ...

Some systems failures are due to defects in manufacturing and design, however that there are a significant number of system failures which result from errors, omissions and inconsistencies in the system requirements. We thus need methods to support a '...