Jair C. Leite

Publication Activity (10 Years)

Years Active: 2002-2020
Publications (10 Years): 10

Top Topics

Safety Analysis

Functional Requirements

Formal Verification

Object Oriented Software

Top Venues

Publications

Lidiane Oliveira dos Santos, Eduardo Silva, Thaís Batista, Jair C. Leite, Everton Cavalcante, Flávio Oquendo
Evaluating a SysML-based Graphical Notation for Modeling Internet of Things System Architectures. WF-IoT (2020)
Lidiane Oliveira dos Santos, Eduardo Silva, Thaís Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo
An architectural style for internet of things systems. SAC (2020)
Fagner Dias, Marcel Oliveira, Thaís Vasconcelos Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo, Camila Araújo
Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP. ECSA (2020)
Lidiane Oliveira dos Santos, Jorge Pereira, Eduardo Silva, Thaís Batista, Everton Cavalcante, Jair C. Leite
Identifying Requirements for Architectural Modeling in Internet of Things Applications. ICSA Companion (2019)
Thaís Batista, Flávio Oquendo, Jair C. Leite
Modeling and Executing Software Architecture Using SysADL. ICSA Companion (2018)
Jair C. Leite, Thaís Batista, Flávio Oquendo, Eduardo Silva, Lidiane Oliveira dos Santos, Victor Cortez
Designing and Executing Software Architectures Models Using SysADL Studio. ICSA Companion (2018)
Jair C. Leite, Thaís Batista, Flávio Oquendo
Architecting IoT Applications with SysADL. ICSA Workshops (2017)
Flávio Oquendo, Jair C. Leite, Thaís Batista
Specifying Architecture Behavior with SysADL. WICSA (2016)
Samanta Aires, Jair C. Leite
Técnicas de motivação para colaboração no Moodle IMD. WAIHCWS (2016)
Flávio Oquendo, Jair C. Leite, Thaís Batista
Executing Software Architecture Descriptions with SysADL. ECSA (2016)
Carlos Alberto Machado, Eduardo Silva, Thaís Vasconcelos Batista, Jair C. Leite, Elisa Yumi Nakagawa
RA-Ubi: A Reference Architecture for Ubiquitous Computing. ECSA (2014)
Carlos Alberto Machado, Eduardo Silva, Thaís Vasconcelos Batista, Jair C. Leite, Flávia Coimbra Delicato, Paulo F. Pires
Uma Linguagem de Descrição Arquitetural para Sistemas Ubíquos. CIbSE (2014)
Jair C. Leite, Flávio Oquendo, Thaís Vasconcelos Batista
SysADL: A SysML Profile for Software Architecture Description. ECSA (2013)
Daniel Cunha da Silva, Adilson B. Lopes, Felipe A. P. Pinto, Jair C. Leite
Selecting Architecture Configurations in Self- Adaptive Systems Using QoS Criteria. SBCARS (2012)
Daniel Cunha da Silva, Adilson B. Lopes, Jair C. Leite, Felipe A. P. Pinto, Carlos Eduardo da Silva
Definition of a Component Selection Process Based on QoS Criteria and Its Application to Self-adaptive Software Systems. SBCARS (2011)
Macilon Araújo Costa Neto, Alessandro J. De Souza, Jair C. Leite
Identificando problemas de usabilidade através de inspeção no modelo de interação. IHC+CLIHC (2011)
Jair C. Leite, Lirisnei Gomes de Sousa
The IMML VDE: models, languages and tools to develop interactive systems. Int. J. Web Eng. Technol. 4 (2) (2008)
Alan J. Dix, Jair C. Leite, Adrian Friday
XSED - XML-Based Description of Status-Event Components and Systems. EHCI/DS-VIS (2007)
Jair C. Leite
A Model-Based Approach to Develop Interactive System Using IMML. TAMODIA (2006)
Lirisnei Gomes de Sousa, Jair C. Leite
Geração de Dicionários Explicativos para Melhorar a Interação entre um SIG e seus Usuários. GeoInfo (2005)
Lirisnei Gomes de Sousa, Jair C. Leite
XICL - An Extensible Mark-up Language for Developing User Interface and Components. CADUI (2004)
Lirisnei Gomes de Sousa, Jair C. Leite
XICL: a language for the user's interfaces development and its components. CLIHC (2003)
Lirisnei Gomes de Sousa, Jair C. Leite
XICL: a tool for the development based on web interfaces components. CLIHC (2003)
Daniel C. S. Duarte, Tatiana Aires Tavares, Jair C. Leite, Guido Lemos de Souza Filho
A user's interface project for the Infralife system videoconference module. CLIHC (2003)
Jair C. Leite
A semiotic-based framework to user interface design. NordiCHI (2002)