Plášil F.
29
Coauthors
6
Documentos
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 1996 | 2 |
| 2008 | 2 |
| 2015 | 1 |
| 2016 | 1 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Optimización matemática | 3 |
| Ciencias de la computación | 2 |
| Red informática | 1 |
| Ingeniería de software | 1 |
| Internet de las cosas | 1 |
| Software | 1 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 4 |
| Métodos informáticos especiales | 3 |
| Funcionamiento de bibliotecas y archivos | 2 |
| Programación informática, programas, datos, seguridad | 1 |
| Geometría | 1 |
| Italiano, rumano y lenguas afines | 1 |
| Derecho privado | 1 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 6 |
| Google Scholar | 0 |
| RRAAE | 0 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| Petr Tůma | 6 |
| Bures T. | 4 |
| Šerý O. | 2 |
| Děcký M. | 2 |
| Parízek P. | 2 |
| Poch T. | 2 |
| Hnetynka P. | 1 |
| Kofroň J. | 1 |
| Ježek P. | 1 |
| Bulej L. | 1 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
CORBA 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:scopusLessons learned from implementing the CORBA persistent object service
Conference ObjectAbstract: In this paper, the authors share their experiences gathered during the design and implementation ofPalabras claves:Autores:Kleindienst J., 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:scopusSoftware Abstractions for Component Interaction in the Internet of Things
ArticleAbstract: Component ensembles provide expressive abstractions that address challenges in engineering softwarePalabras claves:cyber-physical systems, DEECo, Distributed Emergent Ensembles of Components, Embedded Systems, ensemble-based component systems, internet of things, IOT, MANETs, Mobile Ad Hoc Networks, multidevice interaction, Network design, Real-time systems, Software architectures, transportation, Ubiquitous ComputingAutores:Bures T., Hoch N., Kit M., Petr Tůma, Plášil F.Fuentes:scopusCoCoME 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:scopus