Using Abduction to Evolve Inconsistent Requirements Specification

Australasian Journal of Information Systems ◽

10.3127/ajis.v6i2.296 ◽

1999 ◽

Vol 6 (2) ◽

Cited By ~ 5

Author(s):

Bashar Nuseibeh ◽

Alessandra Russo

Keyword(s):

Requirements Specification

Download Full-text

Systems and software engineering - Software product Quality Requirements and Evaluation (SQuaRE) - Common Industry Format (CIF) for Usability: User requirements specification

10.3403/30421081u ◽

2020 ◽

Keyword(s):

Software Engineering ◽

Product Quality ◽

Requirements Specification ◽

User Requirements ◽

Quality Requirements ◽

Engineering Software ◽

Software Product

Download Full-text

EDITORIAL

Revista Eletrônica de Sistemas de Informação ◽

10.21529/resi.2016.150201 ◽

2016 ◽

Vol 15 (2) ◽

Author(s):

Pietro Cunha Dolci ◽

Alexandre Reis Graeml

Keyword(s):

Requirements Specification ◽

Software Requirements ◽

Software Requirements Specification

Editorial do v. 15, n. 2Nesta segunda edição de 2016 (v. 15, n. 2), a RESI traz quatro artigos, dois deles na seção Foco na tecnologia, um na seção Foco nas pessoas e um na seção E-gov no Brasil.São eles:UMA ABORDAGEM METODOLÓGICA PARA A IMPLEMENTAÇÃO MULTI-MODELOS DE QUALIDADE DE SOFTWARE ADOTANDO A CERTICS E O CMMI-DEV, de Sandro Ronaldo Bezerra Oliveira, Fabrício Wickey da Silva Garcia e Clênio Figueiredo Salviano, PROBLEM-BASED SOFTWARE REQUIREMENTS SPECIFICATION, de Rafael Gosrki M. de Souza e Paulo Cézar Stadzisz, INTERAÇÕES ESPONTÂNEAS EM AMBIENTE VIRTUAL DE APRENDIZAGEM POR MEIO DE DISPOSITIVOS MÓVEIS: UM MAPEAMENTO BASEADO NA ANÁLISE DE REGISTROS DE ACESSO AO SISTEMA, de Ana Luisa Mülbert e Osmar de Oliveira Braz Junior e ANÁLISE DO NÍVEL DE ABERTURA DE DADOS GOVERNAMENTAIS DA ÁREA DO TRÂNSITO NO BRASIL, de Ricardo Matheus, Denis Rodrigues, José Carlos Vaz e Martin Jayo.Tenham todos uma ótima leitura!

Download Full-text

Software requirements specification from a cognitive psychology perspective

Proceedings. 1988 International Conference on Computer Languages ◽

10.1109/iccl.1988.13092 ◽

2003 ◽

Author(s):

J.G. Snodgrass ◽

D.Y.Y. Yun

Keyword(s):

Cognitive Psychology ◽

Requirements Specification ◽

Software Requirements ◽

Psychology Perspective ◽

Software Requirements Specification

Download Full-text

Forensic Requirements Specification for Mobile Device Malware Forensic Models

2021 IEEE 11th Annual Computing and Communication Workshop and Conference (CCWC) ◽

10.1109/ccwc51732.2021.9376043 ◽

2021 ◽

Author(s):

Abdullah Mujawib Alashjaee ◽

Michael Haney

Keyword(s):

Mobile Device ◽

Requirements Specification

Download Full-text

Security Requirements Specification in Service-Oriented Business Process Management

2009 International Conference on Availability, Reliability and Security ◽

10.1109/ares.2009.90 ◽

2009 ◽

Cited By ~ 59

Author(s):

Michael Menzel ◽

Ivonne Thomas ◽

Christoph Meinel

Keyword(s):

Business Process ◽

Business Process Management ◽

Process Management ◽

Requirements Specification ◽

Security Requirements ◽

Service Oriented

Download Full-text

A graphic language for business applications ...user requirements specification

ACM SIGSOFT Software Engineering Notes ◽

10.1145/70739.70745 ◽

1989 ◽

Vol 14 (6) ◽

pp. 58-60

Author(s):

H. D. Knoll ◽

W. Suk

Keyword(s):

Requirements Specification ◽

User Requirements ◽

Business Applications ◽

Graphic Language

Download Full-text

Requirements specification for distributed intelligent systems using the Cube Tool methodology

Proceedings. IEEE International Symposium on Intelligent Control 1989 ◽

10.1109/isic.1989.238713 ◽

2003 ◽

Cited By ~ 1

Author(s):

D.M. Perdu ◽

A.H. Levis

Keyword(s):

Intelligent Systems ◽

Requirements Specification ◽

Distributed Intelligent Systems

Download Full-text

Integrating Requirements Specification and Model-Based Testing in Agile Development

2018 IEEE 26th International Requirements Engineering Conference (RE) ◽

10.1109/re.2018.00041 ◽

2018 ◽

Cited By ~ 2

Author(s):

Dalton N. Jorge ◽

Patricia D. L. Machado ◽

Everton L. G. Alves ◽

Wilkerson L. Andrade

Keyword(s):

Requirements Specification ◽

Agile Development ◽

Model Based ◽

Model Based Testing

Download Full-text

Cardion.spec: An Approach to Improve the Requirements Specification Written in the Natural Language Through the Formal Method

Communications in Computer and Information Science - Systems, Software and Services Process Improvement ◽

10.1007/978-3-319-44817-6_5 ◽

2016 ◽

pp. 58-69 ◽

Cited By ~ 1

Author(s):

Masao Ito

Keyword(s):

Natural Language ◽

Formal Method ◽

Requirements Specification

Download Full-text

Programming a Software Requirements-Specification Process

Proceedings. First International Conference on the Software Process, ◽

10.1109/icsp.1991.664341 ◽

2005 ◽

Cited By ~ 7

Author(s):

S.M. Sutton ◽

H. Ziv ◽

D. Heimbigner ◽

H.E. Yessayan ◽

M. Maybee ◽

...

Keyword(s):

Requirements Specification ◽

Software Requirements ◽

Software Requirements Specification

Download Full-text