Mostrando 3 resultados de: 3
Filtros aplicados
Publisher
ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings(1)
Lecture Notes in Business Information Processing(1)
Science of Computer Programming(1)
Compositional 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: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