Browsing by subject Specification

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  

Showing results 1 to 10 of 10.
Issue DateTitleAuthor(s)TypeAccess
Oct-2019Combining advantages from parameters in modeling and control of discrete event systemsSouthier, Luiz F. P.; Mazzetto, Muriel; Casanova, Dalcimar, et al.Conference paperOpen access
4-Jul-2013ETL standard processes modelling: a novel BPMN approachOliveira, Bruno; Belo, O.Conference paperRestricted access (UMinho)
2021Gluing orbit property and partial hyperbolicityBomfim, Thiago; Torres, M. J.; Varandas, PauloArticleOpen access
2020Hyperbolicity through stable shadowing for generic geodesic flowsBessa, Mário; Dias, João Lopes; Torres, M. J.ArticleOpen access
Dec-2006Integration of DFDs into a UML - based model-driven engineering approachFernandes, João M.; Lilius, Johan; Truscan, DragosArticleOpen access
2018A logic for the stepwise development of reactive systemsMadeira, Alexandre Leite Castro; Barbosa, Luís S.; Hennicker, Rolf, et al.ArticleOpen access
6-May-2022Meta data migratorBarbosa, Carlos Miguel Lopes SáMaster thesis Open access
13-May-2021Specification of glazings for façades based on spectrophotometric characterization of transmittanceSacht, Helenice Maria; Bragança, L.; Almeida, Manuela Guedes de, et al.ArticleOpen access
Jul-2005Specification of requirements modelsMachado, Ricardo J.; Ramos, Isabel; Fernandes, João M.Book partOpen access
2021Towards a specification theory for fuzzy modal logicJain, Manisha; Gomes, Leandro; Madeira, Alexandre, et al.Conference paperOpen access