Reverse software engineering of concurrent programs.
Xiang GeNoah S. PrywesPublished in: Jerusalem Conference on Information Technology (1990)
Keyphrases
- concurrent programs
- software engineering
- concurrent programming
- process algebra
- programming language
- formal methods
- reverse engineering
- artificial intelligence
- object oriented
- software development
- software systems
- design patterns
- development process
- formal specification
- concurrent processes
- software architecture
- asynchronous circuits
- knowledge acquisition
- relational databases
- software components
- software developers
- concurrent systems
- data model