Zobrazeno 1 - 10
of 49
pro vyhledávání: '"Paulo Sérgio Muniz Silva"'
Publikováno v:
Revista Brasileira de Computação Aplicada, Vol 6, Iss 2, Pp 61-75 (2014)
As mudanças nos negócios de uma empresa levam à adaptação das regras de negócio e dos sistemas de informação. Mas antes de executar as mudanças deve-se identificar o que precisa ser alterado no sistema e estimar o tempo e o custo para efetua
Externí odkaz:
https://doaj.org/article/768b430154914d57a24d34023824582c
Autor:
Paulo Sérgio Muniz Silva
Publikováno v:
Electronic Notes in Theoretical Computer Science. 130:211-233
In early moments of computer systems development, computer engineers typically draw interaction diagrams, occasionally annotated with timing constraints, to reason about the specification of the system behavior. One of the most popular of these diagr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::71c90a5cd72c97a926b783516ac21219
https://doi.org/10.1016/j.entcs.2005.03.012
https://doi.org/10.1016/j.entcs.2005.03.012
Publikováno v:
Revista Brasileira de Computação Aplicada, Vol 6, Iss 2, Pp 61-75 (2014)
As mudanças nos negócios de uma empresa levam à adaptação das regras de negócio e dos sistemas de informação. Mas antes de executar as mudanças deve-se identificar o que precisa ser alterado no sistema e estimar o tempo e o custo para efetua
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe11009b815ad7721000e91f4ed0c92f
https://doi.org/10.5335/rbca.2014.3787
https://doi.org/10.5335/rbca.2014.3787
Publikováno v:
Abstract State Machines, Alloy, B, VDM, and Z ISBN: 9783642308840
ABZ
ABZ
Event-B is a formal method that allows flexible modelling and refinement of systems. However, it is hard to convince developers to adopt it because they are not used to mathematical models and it doesn't provide any practical refinement method. On th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e711a4c391a613862929c0adf5652b2d
https://doi.org/10.1007/978-3-642-30885-7_31
https://doi.org/10.1007/978-3-642-30885-7_31
Publikováno v:
MoDRE
One of the key responsibilities of Requirements Engineering is to refine requirements into specifications. Although there are some approaches for requirements refinement, this task is usually executed manually. Based on Model-Driven Engineering conce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6630afedb409146f1abdf8261995f01c
https://doi.org/10.1109/modre.2011.6045363
https://doi.org/10.1109/modre.2011.6045363
Publikováno v:
ITNG
Model-Driven Architecture (MDA) is a framework for software development focusing on models and model transformation. One of its models is the computation independent model, which describes the system environment and requirements. Representing this mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::24c1e7ad8fbf8f139891b481cf68f3cf
https://doi.org/10.1109/itng.2011.132
https://doi.org/10.1109/itng.2011.132
Publikováno v:
Anais do V Simpósio Brasileiro de Qualidade de Software (SBQS 2006).
O desenvolvimento de software é tradicionalmente realizado por pessoas localizadas em proximidade física. Entretanto em algumas situações as partes envolvidas estão separadas espacial e temporalmente devido a razões que variam desde a necessida
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d3ea851ec2579f634ff79d4e659a3d75
https://doi.org/10.5753/sbqs.2006.15599
https://doi.org/10.5753/sbqs.2006.15599
Publikováno v:
Adaptive and Natural Computing Algorithms ISBN: 3211249346
Software has been specified as domain theories. A useful strategy for building specifications is the incremental extension of an initial theory, in which increments add new terms and notions not considered in previous extensions. Given an increment,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ba5e5d8d9fb8d506ad9a5719127199bd
https://doi.org/10.1007/3-211-27389-1_84
https://doi.org/10.1007/3-211-27389-1_84
Publikováno v:
Anais do IV Simpósio Brasileiro de Qualidade de Software (SBQS 2005).
A NBR ISO/IEC 12207 define um quadro de referência padrão para os processos de ciclo de vida de software. Um desses processos é a gerência, definido na norma sem os detalhes de como executar as atividades prescritas. Buscando criar um conjunto de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8a51a605c868687ae7602e4f641c917f
https://doi.org/10.5753/sbqs.2005.16152
https://doi.org/10.5753/sbqs.2005.16152
Publikováno v:
Anais do I Simpósio Brasileiro de Sistemas de Informação (SBSI 2004).
Existem diversas formas do desenvolvimento distribuído de software, cada uma delas levando a diferentes beneficios, problemas e soluções. Nesse trabalho é proposta uma abstração do desenvolvimento distribuído de software em um conjunto de cara
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dfcfaca49e529507dc47a456382c7023
https://doi.org/10.5753/sbsi.2004.6375
https://doi.org/10.5753/sbsi.2004.6375