Old Web
English
Sign In
Acemap
>
Paper
>
A taxonomy and evaluation of formalisms for the specification of interactive systems
A taxonomy and evaluation of formalisms for the specification of interactive systems
1996
Philippe Brun
Michel Beaudouin-Lafon
Keywords:
Rotation formalisms in three dimensions
Formal methods
Taxonomy (biology)
Design methods
Systems engineering
Computer science
Theoretical computer science
Software engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
21
Citations
NaN
KQI
[]