Locating crosscutting concerns in the formal specification of distributed reactive systems.
José Juan Pazos-AriasJorge García DuqueMartín López NoresPublished in: ACM SIGSOFT Softw. Eng. Notes (2005)
Keyphrases
- formal specification
- reactive systems
- model checking
- formal methods
- temporal logic
- process algebra
- concurrent systems
- reverse engineering
- distributed systems
- distributed environment
- cooperative
- aspect oriented
- database
- multi agent
- software testing
- software components
- asynchronous circuits
- crosscutting concerns
- control flow
- petri net
- mobile agents
- relational databases
- decision making
- information systems