Benghazi-Akhlaki K.
16
Coauthors
6
Documentos
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 2007 | 4 |
| 2008 | 1 |
| 2009 | 1 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Ingeniería de software | 4 |
| Software | 3 |
| Ciencias de la computación | 3 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 3 |
| Programación informática, programas, datos, seguridad | 2 |
| Métodos informáticos especiales | 1 |
| Dirección general | 1 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 6 |
| Google Scholar | 6 |
| RRAAE | 0 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| Tuñón M.I.C. | 6 |
| Luis Eduardo Mendoza Morales | 6 |
| Terriza J.H. | 3 |
| Pérez M.A. | 1 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
Checking behavioural consistency of UML-RT models through trace-based semantics
Conference ObjectAbstract: Starting from a methodological approach intended to obtain a correct system specification in CSP+T fPalabras claves:CSP+T, Formal semantic, Formal specification, Real-time software systems, UML-RTAutores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusAutomatic verification of business process integrity
ArticleAbstract: Software engineering methods have shown to be useful in Business Process Modelling (BPM) for improviPalabras claves:BP, BUSINESS PROCESS, Formal Methods, MC, Model-checking, modelling, VerificationAutores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusCompositional model-checking verification of critical systems
ArticleAbstract: Ensuring the correctness of Critical Systems (CS) becomes more complex if we consider that their behPalabras claves:Case study, Compositional verification, Critical software systems, Formal Methods, Model-checkingAutores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopusAn interpretation of behavioral consistency of UML-RT diagrams in terms of CSP+T
Conference ObjectAbstract: Although the syntax of UML and UML-RT diagrams is well understood and widely accepted in the industrPalabras claves:Autores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Terriza J.H., Tuñón M.I.C.Fuentes:googlescopusA methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
ArticleAbstract: By following a methodological approach, introduced in a previous work, a correct system specificatioPalabras claves:CSP+T, Formal specification, Real-time software systems, UML-RTAutores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Terriza J.H., Tuñón M.I.C.Fuentes:googlescopus