Jair C. Leite

dblp:16/4360 · also Jair Cavalcanti Leite · DBLP profile ↗
← Back
9ranked-venue papers
1as first author
2since 2021 · last 2026
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 8 · 1 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 2 · 1 since 2021Human-computer interaction and ubiquitous computing · 1
YearPublicationVenuePosition
2026 From Architectural Descriptions to Executable Software Models with Environmental and Scenario Dynamics
Tales Viglioni, Jair C. Leite, Thaís Vasconcelos Batista, Flávio Oquendo, Everton Cavalcante, Eder Xavier
COMPSAC2
2026 Environment and Scenario Viewpoints to Execute SysML-Based Architectural Models
abstract
International audience
Tales Viglioni, Jair C. Leite, Eder Xavier, Thaís Vasconcelos Batista, Everton Cavalcante, Flávio Oquendo
MODELSWARD2
2020 Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP
Fagner Dias, Marcel Oliveira, Thaís Vasconcelos Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo, Camila Araújo
ECSA5
2016 Executing Software Architecture Descriptions with SysADL
Flávio Oquendo, Jair C. Leite, Thaís Vasconcelos Batista
ECSA2
2016 Specifying Architecture Behavior with SysADL
abstract
SysADL is a SysML profile for describing architectures using the well-known and consolidated abstractions from the software architecture community. It defines a systematic use of SysML specifically supporting architecture descriptions. For this purpose, it encompasses three integrated viewpoints: structural, behavioral, and executable. This paper focuses on the behavioral viewpoint that relies on the SysML activity and parametric diagrams to capture the behavior of atomic and composite architectural elements. We use an air-conditioning systems as a case study to illustrate SysADL behavioral views and investigate the applicability of SysADL through a controlled experiment.
Flávio Oquendo, Jair C. Leite, Thaís Vasconcelos Batista
WICSA2
2014 RA-Ubi: A Reference Architecture for Ubiquitous Computing
Carlos Alberto Machado, Eduardo Silva 0001, Thaís Vasconcelos Batista, Jair C. Leite, Elisa Yumi Nakagawa
ECSA4
2013 Using IT Education to Reveal New Horizons - A Large Scale Case Study on Digital and Social Inclusion
Marcel Oliveira, Jair C. Leite, Adrião Duarte Dória Neto, Pablo Javier Alsina, José Ivonildo Rego, Izabel Hazin, Jorge Tarcísio da Rocha Falcão
CSEDU2
2013 SysADL: A SysML Profile for Software Architecture Description
Jair C. Leite, Flávio Oquendo, Thaís Vasconcelos Batista
ECSA1
2013 25 years of software engineering in Brazil: Beyond an insider's view
Paulo Anselmo da Mota Silveira Neto, Joás Sousa Gomes, Eduardo Santana de Almeida, Jair C. Leite, Thaís Vasconcelos Batista, Larissa Leite
J. Syst. Softw.4