SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems.
Anatoly A. ShalytoN. I. TukkelPublished in: Program. Comput. Softw. (2001)
Keyphrases
- reactive systems
- temporal logic
- computer systems
- intellectual property
- information flow
- personal computer
- software development
- development methodologies
- model checking
- control flow
- software systems
- petri net
- real time systems
- formal methods
- source code
- case study
- computer network security
- technical issues
- state machines
- software architecture
- development process
- databases
- anomaly detection
- data processing
- high speed
- expert systems
- machine learning