Mostrando 3 resultados de: 3
Filtros aplicados
Área temáticas
Ciencias de la computación(2)
Funcionamiento de bibliotecas y archivos(1)
Programación informática, programas, datos, seguridad(1)
Objetivos de Desarrollo Sostenible
ODS 17: Alianzas para lograr los objetivos(3)
ODS 9: Industria, innovación e infraestructura(3)
Origen
scopus(3)
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: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