Login / Signup
Constantino D. Neto
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 1
Top Topics
Quality Aware
Er Model
Modelling Language
Formal Semantics
Top Venues
UIC/ATC
AINA
J. Softw.
</>
Publications
</>
Thiago C. de Sousa
,
Luciano Kelvin
,
Constantino D. Neto
,
Carlos Giovanni Nunes de Carvalho
A Formal Semantics for Use Case Diagram Via Event-B.
J. Softw.
12 (3) (2017)
Vinicius Bezerra
,
Misael C. Junior
,
Olga Valeria
,
Constantino D. Neto
,
Liliam Leal
,
Marcus Lemos
,
Carlos Giovanni Carvalho
,
José Bringel Filho
,
Raimir Holanda Filho
,
Nazim Agoulmine
A Quality-Aware and Energy-Efficient Context Management Framework for Ubiquitous Systems.
AINA
(2014)
Vinicius Bezerra
,
Misael C. Junior
,
Olga Valeria
,
Constantino D. Neto
,
Liliam Leal
,
Marcus Lemos
,
Carlos Giovanni Carvalho
,
José Bringel Filho
,
Raimir Holanda Filho
,
Nazim Agoulmine
An Energy-Efficient Context Management Framework for Ubiquitous Systems.
UIC/ATC
(2013)