Software Engineering with Process Algebra: Modelling Client / Server Architectures
Bob DiertensPublished in: CoRR (2009)
Keyphrases
- client server
- process algebra
- formal methods
- software engineering
- concurrent systems
- formal specification
- model checking
- asynchronous circuits
- web services composition
- database architectures
- distributed databases
- mobile agents
- artificial intelligence
- reverse engineering
- peer to peer
- petri net
- distributed systems
- visual basic
- communication protocols
- client server databases
- development process
- software systems
- object oriented
- database systems
- temporal logic
- knowledge based systems
- client server architecture
- software development
- web services
- web service composition
- data model