A Re-Engineering Approach for PLC Programs using Finite Automata and UML.
Georg FreyMohammed Bani YounisPublished in: IRI (2004)
Keyphrases
- finite automata
- software engineering
- grammatical inference
- regular expressions
- model driven engineering
- deterministic automata
- probabilistic automata
- tree automata
- finite automaton
- software systems
- undergraduate engineering
- metamodel
- control system
- computer science
- artificial intelligence
- software development
- sequence diagrams
- formal methods
- design process
- hidden markov models
- relational databases
- database