skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Busca Geral
Busca Avançada
Busca por Índices

Correct system design recent insights and advances

Bernhard Steffen; E.-R Olderog

Berlin Springer New York c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1710 e.1 )(Acessar)

  • Título:
    Correct system design recent insights and advances
  • Autor: Bernhard Steffen; E.-R Olderog
  • Assuntos: System design; Computer systems -- Reliability; LINGUAGEM DE PROGRAMAÇÃO; PROGRAMAÇÃO LÓGICA
  • Notas: Includes bibliographical references and index
  • Descrição: Theories of programming : top-down and bottom-up and meeting in the middle / C.A.R. Hoare -- A triptych software development paradigm : domain, requirements and software / D. Bjørner -- Real-time constraints through the ProCoS layers / A.P. Ravn,H. Rischel -- Monotonicity in calculational proofs / D. Gries -- The Alma project, or how first-order logic can help us in imperative programming / K.R. Apt, A. Schaerf -- Type and effect systems / F. Nielson , H.R. Nielson -- Proving theoremsabout Java-like byte code / J.S. Moore -- Multiple state and single state tableaux for combining local and global model checking / A. Biere, E.M. Clarke, Y. Zhu -- On the existence of network i nvariants for verifying parameterized systems / P.A.Abdulla, B. Jonsson -- Verification of compilers / G. Goos, W. Zimmermann -- Translation validation : from SIGNAL to C / A. Pnueli, O. Shtrichman, M. Siegel -- Compilation and synthesis for real-time embedded controllers / M. Fränzle, M.Müller-Olm -- Optimization under the perspective of soundness, completeness, and reusability / J. Knoop, O. Rüthing -- Verification of automotive control units / T. Bienmüller ... [et al.] -- Correct real-time software for programmable logiccontrollers / E.-R. Olderog -- Formal methods for the International Space Station ISS / J. Peleska, B. Buth -- METAFrame in practice : design of intell igent network services / B. Steffen, T. Margaria
  • Títulos relacionados: Série:Lecture notes in computer science 1710
  • Editor: Berlin Springer New York
  • Data de criação/publicação: c1999
  • Formato: xiv, 415 p. ill. 24 cm.
  • Idioma: Inglês
Links
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  8 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.