A Formal Approach to implement java exceptions in cooperative systems.
Simone HanazumiAna C. V. de MeloPublished in: J. Syst. Softw. (2017)
Keyphrases
- cooperative
- formal methods
- multi agent systems
- building blocks
- open source
- expert systems
- databases
- formal model
- lightweight
- data sets
- web services
- software engineering
- e learning
- information retrieval systems
- computer systems
- search engine
- genetic algorithm
- complex systems
- model checking
- information retrieval
- formal specification
- distributed object
- object oriented languages