Buscar
Mostrando ítems 1-10 de 24
Computational support for the process of software requirement specification
(2012-12-01)
The software industry has become more and more concerned with the appropriate application of activities that composes requirement engineering as a way to improve the quality of its products. In order to support these ...
Computational support for the process of software requirement specification
(Ieee, 2012-01-01)
The software industry has become more and more concerned with the appropriate application of activities that composes requirement engineering as a way to improve the quality of its products. In order to support these ...
Eliciting Requirements For Learning Design Tools A Semio-participatory Approach
(Springer Verlag, 2014)
Verification of automated systems using invariants
(SBABelo Horizonte, 2014-09-20)
Nowadays, Petri net and this extensions has been used for modeling and verification of complex systems, used as a sound description language. Algorithms derived from this modeling framework can facilitate the analysis and ...
Conceptual framework to enrich situation awareness of emergency dispatchers
(2015-01-01)
Computer-Aided Dispatch (CAD) systems provide powerful resources to support emergency operators (dispatchers) in their activity. However, these dispatchers can work under heavy stress, which can lead to failure to get ...
Towards A Socially-constructed Meaning For Inclusive Social Network Systems
(Aussino Academic Publishing House, 2009)
A Case Study On Modelling The Communication Structure Of Critical Systems
(Aussino Academic Publishing House, 2009)