Login / Signup
Locating crosscutting concerns in the formal specification of distributed reactive systems.
José Juan Pazos-Arias
Jorge García Duque
Martín López Nores
Published in:
MACS@ICSE (2005)
Keyphrases
</>
formal specification
reactive systems
model checking
formal methods
temporal logic
process algebra
reverse engineering
distributed systems
distributed environment
cooperative
aspect oriented
concurrent systems
multi agent
petri net
open source
real time systems
database systems
information systems