Local livelock analysis of component-based models
The use of increasingly complex applications is demanding a greater investment of resources in software development to ensure that applications are safe. For mastering this complexity, compositional approaches can be used in the development of software by integrating and reusing existing reliable...
Na minha lista:
Autor principal: | Conserva Filho, Madiel de Souza |
---|---|
Outros Autores: | Oliveira, Marcel Vinicius Medeiros |
Formato: | doctoralThesis |
Idioma: | por |
Publicado em: |
Brasil
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/jspui/handle/123456789/22209 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
An extension of a tool for the formal support for component-based development
por: Pereira, Dalay Israel de Almeida
Publicado em: (2017) -
Modeling in Event-B : system and software engineering /
por: Abrial, Jean-Raymond.
Publicado em: (2022) -
Beta: a B based testing approach
por: Matos, Ernesto Cid Brasil de
Publicado em: (2016) -
Estendendo CRefine para o suporte de táticas de refinamento
por: Conserva Filho, Madiel de Souza
Publicado em: (2014) -
BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes
por: Silva, Sarah Raquel da Rocha
Publicado em: (2014)