Modal I/O Automata for Interface and Product Line Theories.
Kim Guldstrand LarsenUlrik NymanAndrzej WasowskiPublished in: ESOP (2007)
Keyphrases
- product line
- software product line
- input output
- product lines
- software engineering
- user interface
- user friendly
- software development
- theoretical framework
- cellular automata
- file system
- modal logic
- future directions
- finite state
- gigabit ethernet
- finite automata
- probabilistic automata
- regular expressions
- main memory
- life cycle
- software architecture
- interface design
- storage systems
- tree automata
- lessons learned
- information technology
- databases