Working Group on Formal Methods in HCI and Software Engineering.
Leonard J. BassPublished in: ICSE Workshop on SE-HCI (1994)
Keyphrases
- formal methods
- privacy preserving
- working group
- software engineering
- human computer interaction
- artificial intelligence
- formal analysis
- safety critical
- process algebra
- software development
- knowledge based systems
- software systems
- object oriented
- development process
- working conference
- knowledge management
- model checking
- software architecture
- knowledge representation
- formal specification language
- information systems
- machine learning
- databases
- development lifecycle
- database