Mode-Automata: a new domain-specific construct for the development of safe critical systems.
Florence MaraninchiYann RémondPublished in: Sci. Comput. Program. (2003)
Keyphrases
- domain specific
- knowledge based systems
- complex systems
- technical issues
- case study
- computer systems
- support systems
- general purpose
- distributed systems
- retrieval systems
- systems development
- specific domains
- safety critical
- finite state machines
- cellular automata
- formal languages
- programming environments
- probabilistic automata
- enabling technologies
- software developers
- development process
- domain independent
- artificial intelligence
- learning systems
- information processing
- building blocks
- intelligent systems
- decision support
- expert systems
- information systems