Mostrando 3 resultados de: 3
Filtros aplicados
Publisher
ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings(2)
Science of Computer Programming(1)
Área temáticas
Ciencias de la computación(2)
Programación informática, programas, datos, seguridad(2)
Métodos informáticos especiales(1)
Área de conocimiento
Ingeniería de software(3)
Año de Publicación
2007(3)
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: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:googlescopusTowards uml-rt behavioural consistency
Conference ObjectAbstract: Having an objective of achieving a formal characterisation of Sequence Diagrams (UML-SD) as a meansPalabras claves:CSP+T, Formal semantics, State diagram, Timed sequence diagram, Timed traces, Timing constraintsAutores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Terriza J.H., Tuñón M.I.C.Fuentes:googlescopus