Carregando...

12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007): Auckland, New Zealand 11-14 July 2007

de Institute of Electrical and Electronics Engineers.

Membros	Resenhas	Popularidade	Avaliação média	Conversas
2	Nenhum(a)	5,254,281	Nenhum(a)	Nenhum(a)
The goal of this conference is to bring together industrial, academic, and government experts, from a variety of user domains and software disciplines, to report on how the disciplines' problems and solution techniques interact within the whole system. ICECCS 2007 focuses long-term research issues, near-term complex system requirements and promising tools, existing complex systems, and commercially available tools.Contents: Real-Time Systems; Modeling and Verification; Safety and Security; Context Awareness and Ubiquitous Computing; Formal Languages; Software Architecture; Addressing Complexity with Autonomic Systems; Complex Program Verifier; Advances in the FMICS-jETI Platform for Program Verification; Selected Papers from the UML 2007 & AADL 2007 Workshop… (mais)

todos os membros

▾Membros

Adicionado recentemente por

CMUQLResearch

▾Etiquetas

Sem etiquetas

▾Listas

Nenhum(a)

▾Você irá gostar?

Carregando...

Registre-se no LibraryThing tpara descobrir se gostará deste livro.

▾Conversas (Conexões sobre)

Ainda não há conversas na Discussão sobre este livro.

▾Resenhas dos membros

Sem resenhas

▾Resenhas publicadas

sem resenhas | adicionar uma resenha

▾Outros autores

» Adicionar outros autores

▾Séries e trabalhos relacionados

▾Awards and Honors

ver histórico

▾Conhecimento Comum

Você deve entrar para editar os dados de Conhecimento Comum.

Para mais ajuda veja a página de ajuda do Conhecimento Compartilhado.

Título canônico

Título original

Títulos alternativos

Data da publicação original

Pessoas/Personagens

Lugares importantes

Eventos importantes

Filmes relacionados

Epígrafe

Dedicatória

Primeiras palavras

Citações

Últimas palavras

Aviso de desambiguação

Editores da Publicação

Autores Resenhistas (normalmente na contracapa do livro)

Idioma original

CDD/MDS canônico

LCC Canônico

▾Referências

Referências a esta obra em recursos externos.

Wikipédia em inglês

Nenhum(a)

▾Descrições de livros

The goal of this conference is to bring together industrial, academic, and government experts, from a variety of user domains and software disciplines, to report on how the disciplines' problems and solution techniques interact within the whole system. ICECCS 2007 focuses long-term research issues, near-term complex system requirements and promising tools, existing complex systems, and commercially available tools.Contents: Real-Time Systems; Modeling and Verification; Safety and Security; Context Awareness and Ubiquitous Computing; Formal Languages; Software Architecture; Addressing Complexity with Autonomic Systems; Complex Program Verifier; Advances in the FMICS-jETI Platform for Program Verification; Selected Papers from the UML 2007 & AADL 2007 Workshop

▾Descrições de bibliotecas

Não foram encontradas descrições de bibliotecas.

▾descrição por membros do LibraryThing

Descrição do livro

Resumo em haiku