Using a scenario model to derive the functions of a formal specification

The goal of our work is to analyse and develop the integration of client-oriented requirements engineering techniques with formal methods. In particular, we are integrating the Requirements Baseline with the RAISE method. We proposed a three-step process to derive an initial formal specification of...

Descripción completa

Guardado en:

Detalles Bibliográficos
Publicado:	2001
Materias:	Formal methods Language extended lexicon RAISE method Requirements engineering Scenario model Computer hardware description languages Computer simulation Computer software maintenance Heuristic programming Natural language processing systems Semantics Formal specification
Acceso en línea:	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_NIS20544_v_n_p329_Mauco http://hdl.handle.net/20.500.12110/paper_NIS20544_v_n_p329_Mauco
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	paper:paper_NIS20544_v_n_p329_Mauco
record_format	dspace
spelling	paper:paper_NIS20544_v_n_p329_Mauco2023-06-08T16:39:58Z Using a scenario model to derive the functions of a formal specification Formal methods Language extended lexicon RAISE method Requirements engineering Scenario model Computer hardware description languages Computer simulation Computer software maintenance Heuristic programming Natural language processing systems Semantics Formal specification Language extended lexicon Scenario model Requirements engineering The goal of our work is to analyse and develop the integration of client-oriented requirements engineering techniques with formal methods. In particular, we are integrating the Requirements Baseline with the RAISE method. We proposed a three-step process to derive an initial formal specification of a domain, starting from two of the models of the Requirements Baseline: the Language Extended Lexicon and the Scenario Model. In this paper, we focus on the derivation of functions, one of the steps of this process. We present the heuristics to identify and to model the functions of a formal specification written in the RAISE Specification Language, using the natural language descriptions provided by the Scenario Model and the Language Extended Lexicon. 2001 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_NIS20544_v_n_p329_Mauco http://hdl.handle.net/20.500.12110/paper_NIS20544_v_n_p329_Mauco
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic	Formal methods Language extended lexicon RAISE method Requirements engineering Scenario model Computer hardware description languages Computer simulation Computer software maintenance Heuristic programming Natural language processing systems Semantics Formal specification Language extended lexicon Scenario model Requirements engineering
spellingShingle	Formal methods Language extended lexicon RAISE method Requirements engineering Scenario model Computer hardware description languages Computer simulation Computer software maintenance Heuristic programming Natural language processing systems Semantics Formal specification Language extended lexicon Scenario model Requirements engineering Using a scenario model to derive the functions of a formal specification
topic_facet	Formal methods Language extended lexicon RAISE method Requirements engineering Scenario model Computer hardware description languages Computer simulation Computer software maintenance Heuristic programming Natural language processing systems Semantics Formal specification Language extended lexicon Scenario model Requirements engineering
description	The goal of our work is to analyse and develop the integration of client-oriented requirements engineering techniques with formal methods. In particular, we are integrating the Requirements Baseline with the RAISE method. We proposed a three-step process to derive an initial formal specification of a domain, starting from two of the models of the Requirements Baseline: the Language Extended Lexicon and the Scenario Model. In this paper, we focus on the derivation of functions, one of the steps of this process. We present the heuristics to identify and to model the functions of a formal specification written in the RAISE Specification Language, using the natural language descriptions provided by the Scenario Model and the Language Extended Lexicon.
title	Using a scenario model to derive the functions of a formal specification
title_short	Using a scenario model to derive the functions of a formal specification
title_full	Using a scenario model to derive the functions of a formal specification
title_fullStr	Using a scenario model to derive the functions of a formal specification
title_full_unstemmed	Using a scenario model to derive the functions of a formal specification
title_sort	using a scenario model to derive the functions of a formal specification
publishDate	2001
url	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_NIS20544_v_n_p329_Mauco http://hdl.handle.net/20.500.12110/paper_NIS20544_v_n_p329_Mauco
_version_	1769175851410128896

Using a scenario model to derive the functions of a formal specification

Ejemplares similares