Mostrando 4 resultados de: 4
Filtros aplicados
Área temáticas
Ciencias de la computación(3)
Funcionamiento de bibliotecas y archivos(1)
Geometría(1)
Métodos informáticos especiales(1)
Programación informática, programas, datos, seguridad(1)
Origen
scopus(4)
CoCoME in SOFA
Conference ObjectAbstract: This chapter presents our solution to the CoCoME assignment that is based on the SOFA 2.0 (SOFtwarePalabras claves:Autores:Bures T., Děcký M., Hnetynka P., Kofroň J., Parízek P., Petr Tůma, Plášil F., Poch T., Šerý O.Fuentes:scopusCoCoME in fractal
Conference ObjectAbstract: This chapter presents our solution to the CoCoME assignment that is based on the Fractal component mPalabras claves:Autores:Bulej L., Bures T., Coupaye T., Děcký M., Ježek P., Parízek P., Petr Tůma, Plášil F., Poch T., Rivierre N., Šerý O.Fuentes:scopusCORBA and object services
Conference ObjectAbstract: The paper provides an overview of the basic concepts of OMG CORBA. It summarizes the main ideas behiPalabras claves:Autores:Petr Tůma, Plášil F.Fuentes:scopusFormalization of invariant patterns for the invariant refinement method
ArticleAbstract: Refining high-level system invariants into lower-level software obligations has been successfully emPalabras claves:Architecture refinement, Assume-guarantee, requirementsAutores:Bures T., Gerostathopoulos I., Keznikl J., Petr Tůma, Plášil F.Fuentes:scopus