(In-)Formal Methods: The Lost Art - A Users' Manual.

Published in: SETSS (2014)

Keyphrases

formal methods
user interface
knowledge based systems
model checking
recommender systems
formal specification
formal analysis
model checker
social media
user profiles
safety critical
artificial intelligence
user interaction
end users
semi automatic
user model
modeling language
open source
data model
case study