Enhancing telecommunications service engineering with mobile agent technology and formal methods.
Marie-Pierre GervaisAlioune DiagnePublished in: IEEE Commun. Mag. (1998)
Keyphrases
- formal methods
- mobile agent technology
- mobile agents
- software engineering
- safety critical
- artificial intelligence
- agent technology
- protocol specification
- client server
- model checking
- formal specification
- knowledge based systems
- development lifecycle
- web services
- mobile computing
- distributed systems
- service composition
- mobile users
- computing environments
- mobile environments
- sensor networks