INTRODUCTION / BACKGROUND: Audit requirements provide for software quality assurance and can be performed in different moments of its lifecycle. Functional and Non-Functional requirements relate each other at least once but in many cases at a higher rate, causing dependency and correlation effects that may increase the complexity of audit work. OBJECTIVES: Discuss methods to aid auditors for a ...

1 This author performed the work while an employee of NIST and is now working for Unisys at the NASA Goddard Space Flight Center. Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assurance. This paper presents an analysis of software-related failures of medical devices that ...

The research project SESAM (Software Engineering Simulation by Animated Models) aims at providing a training environment for future project managers. The basic idea is to create a model of the software development process that can be interpreted by a simulator. The student using the simulator can control the simulated project interactively, leading it more or less successfully. In this paper, t...

In Business-Driven Development (BDD), process models are produced by business analysts. To ensure that the defined requirements are satisfied, the IT solution must ideally be derived directly from the specifications through a process of model refinement. However, if the original models contain errors or lack some technical detail, an incorrect implementation would be inferred and the entire BDD...

Our Curriculum Evaluation and Research-STEM Teaching Fellowship embeds leadership for active engagement in scholarship within teaching teams. It is a response to Higher Education Standards Framework (HESF) minimum requirements continuous evaluation informing ongoing curriculum transformation, specifically the TEQSA Guidance Note: Scholarship (2018). The contextualised existing ‘Curriculum Resea...

A quality assurance system (QA) should ensure that student needs are met. It also respects accreditation requirements and student perceptions, supports training and development of teaching staff, controls costs and improves efficiency of elearning system.

Business process modeling is performed during the requirements analysis and specification of business software systems. Checking qualitative aspects of business processes is required for quality assurance, as well as for compliance with non-functional requirements. We show how business process models represented as Role Activity Diagrams can be formally checked using process algebras and tempor...

Numerous interdependent quality requirements imposed by regulatory Certification and Accreditation (C&A) processes enable a rich context to gather compliance evidences for promoting software assurance. The goal of the r-AnalytiCA workbench is to make sense out of the large collection of available evidences for a complex software system though multidimensional requirements-driven problem domain ...

Pharmaceutical preparations are medicines that the pharmacist makes for the special needs of the patients that the pharmaceutical industry cannot comply for economic and logistic reasons. Pharmacy compounding is still an important component of pharmacy practice and a valuable therapeutical service that is an integrant part of the modern health care system, but its legislation is not harmonized ...

The design and implementation of an ERP involves capturing the information necessary for implementing a system that supports integrated enterprise management, starting at the enterprise modeling level and finishing at the coding level. Unfortunately, in both academic and industrial communities, large quantities of papers focus on ERP deployment management, keeping specific development issues as...