From Informal System Requirements to Formal Software Specifications - An Experience Report

2021 ◽  
Author(s):  
Anitha Murugesan ◽  
Daniel Cofer ◽  
Michael Whalen ◽  
Mats Heimdahl
Keyword(s):  
Experience Report ◽  
Informal System ◽  
Software Specifications ◽  
System Requirements

scholarly journals Automatic Generation Mechanism of Cause-Effect Graph with Informal Requirement Specification Based on the Korean Language

2021 ◽  
Vol 11 (24) ◽  
pp. 11775
Author(s):  
Woo Sung Jang ◽  
Young Chul (Robert) Kim
Keyword(s):  
Requirement Engineering ◽  
Automatic Generation ◽  
Generation Mechanism ◽  
Test Cases ◽  
Korean Language ◽  
Software Developers ◽  
Informal System ◽  
Requirements Specifications ◽  
System Requirements ◽  
Requirement Specifications

In requirement engineering, an important issue is how to transform and tailor the informal system requirements of users or customers into more structured specification documents, which are then used by the software developers. In addition, it is both challenging and necessary to redefine and analyze, from ill-defined or unknown requirements, specifications correctly and automatically generate test cases with them. There are few kinds of research in Korea for automatically reducing requirement complexity and developing test cases of the Korean language-based requirement specifications. Why do we need requirement simplification? Requirement complexity causes analyzers less readability and low understandability. To do this, we propose the automatic cause-effect generation via a requirement simplification mechanism of informal requirement specifications with the Korean language, which works the following procedures: (1) the automatic simplification of informal requirement sentences, (2) the generation of Condition/Conjunction/Clause Tree (C3Tree) Model, (3) and the Cause-effect generation.

Model-Based Testing of Distributed Functions

2012 ◽  
pp. 151-181
Author(s):  
Thomas Bauer ◽  
Robert Eschbach
Keyword(s):  
System Integration ◽  
Informal System ◽  
Model Based ◽  
Model Based Testing ◽  
System Components ◽  
Stage System ◽  
System Requirements ◽  
Testing Approach ◽  
Behavior Models ◽  
Integration Stage

The standard-compliant development of component-based embedded systems calls for systematic coverage of product requirements and for testing component interactions at the system integration stage. System functionality is represented by a set of complex distributed functions, i.e., functions that are spread across several system components. This chapter presents a novel automated model-based testing approach for distributed functions that uses informal system requirements and component behavior models. The test modeling notation makes it possible to model component interactions and composite functions with defined pre- and post-conditions. Test cases are automatically generated as scenarios of distributed functions represented by sequences of component interactions.

KINERJA iLEARNING RAHARJA ASK AND NEWS (IRAN) DALAM MENDUKUNG KEGIATAN TRIDHARMA IDUHELP!

CCIT Journal ◽  
2014 ◽  
Vol 8 (1) ◽  
pp. 18-33
Author(s):  
Untung Rahardja ◽  
Meta Amalya Dewi ◽  
Fitri Lisnawati
Keyword(s):  
Information Technology ◽  
System Performance ◽  
Communication Media ◽  
Related Method ◽  
Literature Reviews ◽  
The World ◽  
Information And Communication ◽  
System Requirements ◽  
Three Stages ◽  
Care System

Advances in information technology and communications which we achieve now actually been recognized and felt in the world of education in general. Currently College Prog implement a Tridharma terms Tridharma iDuHelp!. Tridharma is one of the basic responsibilities that students must be developed simultaneously and together. In this Tridharma still there are problems in the system iDuHelp! service. So IRAN (iLearning Prog Ask and News) in collaboration with iDuHelp! in providing answers and information needed by the student. In its application in Tridharma iDuHelp! IRAN There is a related method in it, such as iLearning methods that are currently being developed. With iLearning method can facilitate conduct research in detail, accurately, and clearly by using mindmapping. Besides the method of analysis is also done with three stages  namely the identification of the problem, identifying needs, and identifying system requirements. In this study using 4 literature reviews that can be used as references in preparing this paper. In this article explained about the problems that arise and solving problems in accurately using the flow Flowchart. In the implementation of the prototype shown iDuHelp! As well as the performance of Iran. So the end result of the study is a system performance to information and communication media of Iran can maximize iDuHelp! care system  It is widely integrated in a university.

Data and information system requirements for Global Change Research

1992 ◽  
Author(s):  
DAVID SKOLE ◽  
WALTER CHOMENTOWSKI ◽  
BINBIN DING ◽  
BERRIEN MOORE, III
Keyword(s):  
Information System ◽  
Global Change ◽  
Global Change Research ◽  
System Requirements

Gestión de riesgos empresariales: los necesarios cambios

Oikos ◽  
2016 ◽  
Vol 19 (39) ◽  
pp. 93 ◽  
Author(s):  
Ricardo Vega Bois
Keyword(s):  
Risk Management ◽  
Quality Management ◽  
Management System ◽  
Quality Management System ◽  
Iso 9000 ◽  
Management Control ◽  
System Requirements ◽  
Requirements Quality ◽  
Management Recommendations ◽  
Environmental Audits

RESUMENLa normas de la serie ISO 9000 – 2000, Sistema de Gestión de Calidad, Requisitos de un Sistema de Gestión de Calidad, Recomendaciones para la mejora de desempeño en base a un Sistema de Gestión de calidad y Directrices para la realización de auditorías medioambientales y de calidad, han sido base para la evaluación, implementación, aplicación y seguimiento de sistemas de Control de Gestión Empresarial, estando en la actualidad (2015) en un procesos de revisión y propuesta, lo que implicará algunos cambios de forma y otros de fondo interesantes de considerar.Palabras clave: gestión, riesgos, control de gestión, calidad, normas internacionales.Enterprise risk management: the necessary changesABSTRACTThe standards ISO 9000 - 2000 Quality Management System, System Requirements Quality Management Recommendations for improving performance based on a Quality Management System and Guidelines for conducting environmental audits and quality have been the basis for evaluation, implementation, enforcement and monitoring systems Control Management, being at present (2015) in a review and proposal processes, which involve some changes in form and other interesting background consider.Keywords: management, risk, management control, quality international standards.Gestão de riscos empresariais: as mudanças necessárias RESUMO As normas da série ISO 9000-2000, Sistema de Gestão da Qualidade, Requisitos de um Sistema de Gestão de Qualidade, Recomendações para a melhora do desempenho com base a um Sistema de Gestão da Qualidade e Diretrizes para a realização de auditorias meio ambientais e de qualidade, têm sido a base para a avaliação, implementação, aplicação e fiscalização de Sistemas de Controle de Gestão Empresarial, sendo na atualidade (2015) num processo de revisão e proposta, que implicará algumas mudanças na forma e outros de fundo interessante de considerar.Palavras-chave: gestão, risco, controle de gestão, qualidade, normas internacionais.

Sign in / Sign up

Export Citation Format

Share Document