A semi-automatic verification tool for software requirements specification documents

Most software problems arise from deficiencies in the manner in which software requirements are elicited and expressed. Ensuring that the Software Requirements Specification document (SRS) has the necessary quality is crucial to the success of any software development project, since its information...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Konig, Fabio, Ballejos, Luciana C., Ale, Mariel Alejandra
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	2017
Materias:	Ciencias Informáticas Software Quality Models Requirements/Specifications Verification
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/66154 http://www.clei2017-46jaiio.sadio.org.ar/sites/default/files/Mem/ASSE/asse-11.pdf
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Quality properties evaluation for software requirements specifications : an exploratory analysis
por: Ale, Mariel Alejandra, et al.
Publicado: (2018)

Software Requirements Quality Evaluation: State of the art and research challenges
por: Saavedra, Roxana, et al.
Publicado: (2013)

Requirement specifications for electronic voting systems
por: Pesado, Patricia Mabel, et al.
Publicado: (2005)

Specification Patterns: Formal and Easy
por: Asteasuain, F., et al.

Specification Patterns: Formal and Easy
por: Braberman, Víctor Adrián
Publicado: (2015)

Verification and validation of domain specific languages using Alloy
por: Garis, Ana Gabriela, et al.
Publicado: (2015)

Policy Monitoring on Accessible Technology for Inclusive Education – Research Findings and Requirements for a Software Tool
por: Estévez, Elsa Clara, et al.
Publicado: (2016)

Handling Dynamic Requirements in Cloud Computing
por: Zalazar, Ana Sofía, et al.
Publicado: (2015)

Classifying software requirement prioritization approaches
por: Martínez Carod, Nadina, et al.
Publicado: (2005)

Scenario inspections
por: Leite, Prado, et al.
Publicado: (2005)

Mejoras a un modelo léxico mediante mapas conceptuales
por: Sebastián, Alberto, et al.
Publicado: (2015)

JAD-CASE : Tasks and documents specification for requirements engineering process
por: Balda, María Verónica, et al.
Publicado: (1997)

A 3D visualization approach to validate requirements
por: Teyseyre, Alfredo Raúl
Publicado: (2002)

Understanding the word "analysis" in the context of requirements engineering
por: Prado Leite, Julio César Sampaio do
Publicado: (2005)

Verification of real-time designs: Combining scheduling theory with automatic formal verification
por: Braberman, V.A., et al.

Verification of real-time designs: Combining scheduling theory with automatic formal verification
por: Braberman, Víctor Adrián
Publicado: (1999)

Alloy Analyzer+PVS in the analysis and verification of Alloy specifications
por: Frias, M.F., et al.

Alloy Analyzer+PVS in the analysis and verification of Alloy specifications
por: Frias, Marcelo, et al.
Publicado: (2007)

Improving requirements with NLP techniques
por: Rago, Alejandro
Publicado: (2014)

A Requirements Specification Template of a Communication Network Based on CAN Protocol to Automotive Embedded Systems
por: Almudi Neto, Dario, et al.
Publicado: (2010)

3D Requirements Visualization
por: Teyseyre, Alfredo Raúl
Publicado: (2003)

Integrated program verification tools in education
por: De Caso, G., et al.

Integrated program verification tools in education
por: de Caso, Guido, et al.
Publicado: (2013)

3D requirements visualization
por: Teyseyre, Alfredo Raúl
Publicado: (2003)

Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements
por: Moscato, M.M., et al.

Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements
por: López Pombo, Carlos Gustavo, et al.
Publicado: (2010)

VTS-based specification and verification of behavioral properties of AADL models
por: Monteverde, D., et al.

VTS-based specification and verification of behavioral properties of AADL models
por: Monteverde, Daniel, et al.
Publicado: (2008)

Can quality-attribute requirements be identified from early aspects? : QAMiner: a preliminary approach to quality-attribute mining
por: Rago, Alejandro, et al.
Publicado: (2011)

Specification patterns can be formal and still easy
por: Asteasuain, F., et al.

Specification patterns can be formal and still easy
por: Braberman, Víctor Adrián
Publicado: (2010)

Elaborating requirements using model checking and inductive learning
por: Alrajeh, D., et al.

Elaborating requirements using model checking and inductive learning
Publicado: (2013)

Managing Scalability, Availability, and Performance Requirements for Cloud Services
por: Kohn, Rodolfo
Publicado: (2011)

Exploring Architectural Model Checking with Declarative Specifications
por: Asteasuain, Fernando, et al.
Publicado: (2017)

Managing Scalability, Availability, and Performance Requirements for Cloud Services
por: Kohn, Rodolfo
Publicado: (2012)

Parallel bounded verification of alloy models by tranScoping
por: Rosner, N., et al.

Parallel bounded verification of alloy models by tranScoping
por: Rosner, Nicolás, et al.
Publicado: (2014)

Deriving event-based transition systems from goal-oriented requirements models
por: Letier, E., et al.

Deriving event-based transition systems from goal-oriented requirements models
Publicado: (2008)