Use of formal languages to represent the ERTMS/ETCS system requirements specifications

2015 ◽  
Author(s):  
Antonio Piccolo ◽  
Vincenzo Galdi ◽  
Fabio Senesi ◽  
Raffaele Malangone
Keyword(s):  
Formal Languages ◽  
Requirements Specifications ◽  
System Requirements

scholarly journals Pengembangan Sistem Informasi Pada Local E-Govervenance Untuk Peningkatan Kinerja Pelayanan Warga

2019 ◽  
Vol 9 (2) ◽  
pp. 220
Author(s):  
Hariadi Yutanto ◽  
Romi Ilham ◽  
Kautsar Riza Salma ◽  
Yusuf Effendi
Keyword(s):  
Financial Management ◽  
Local Governance ◽  
System Development ◽  
Web Based ◽  
Requirements Specifications ◽  
Development Life Cycle ◽  
Detailed List ◽  
Neighborhood Unit ◽  
System Requirements ◽  
The Government

The problems that often arise in the neighborhood of Neighborhood Unit (RT) and Rukun Warga (RW) are the distribution of information on citizen activities, administration, transparent financial management, and management of citizen databases as an effort to improve services and information facilities for residents. The purpose of this study is to support the government in implementing e-Government-based government systems, by developing Good Local Governance. The specific target of innovation to be achieved is the development of innovation in the form of a web-based Citizen Information System (SiWarga) application at the RT / RW level. The method used in this study uses the System Development Life Cycle (SDLC Waterfall) method, starting from the first is analyzing the needs by conducting a survey and the feasibility of developing the system, second is to make a detailed list according to system requirements specifications, third is to design the system by creating workflow designs and programming design, the fourth is the development of information systems with coding, the fifth is system testing, the sixth is the implementation and maintenance of the system

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.

Functional Requirements - Digital Office Documents

2003 ◽  
pp. 305-329
Author(s):  
Len Asprey ◽  
Michael Middleton
Keyword(s):  
Requirements Analysis ◽  
User Profiles ◽  
Functional Requirements ◽  
Web Content ◽  
Text Indexing ◽  
Office Environment ◽  
Requirements Specifications ◽  
Indexing And Retrieval ◽  
System Requirements

This chapter is the first in a series that reviews the requirements analysis and definition for IDCM functional requirements. We noted in Chapter 10 that functional statements are an integral part of the development of system requirements specifications for IDCM systems, as distinct from the user requirements that we covered in Chapter 11. In this chapter, we focus on the functional requirements analysis of digital documents within the office environment of business and government enterprises. We consider requirements that are applicable to most types of these documents. Some characteristics that are specific to email, digital drawings, imaging, workflow, and Web content, are discussed in separate chapters. We also provide a series of functionality checklists that practitioners should find useful when defining the functional requirements for IDCM. Our objectives are to explain the attributes and how these may be expressed in requirements analysis for: • Document authoring; • User profiles; • Document volumes; • Document capture; • Metadata utilization; • Storage handling; • Version control; • Renditions; • Compound documents; • Association through hyperlinks; • Full-text indexing and retrieval; • Document viewing; • Printing; • Security and audit; and • Scheduling for archives or disposal.

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.

Sign in / Sign up

Export Citation Format

Share Document