3799 search results - page 50 / 760 » An Engineering Approach to Formal Methods |
HCI
2009
13 years 5 months ago
2009
Culture and affect are closely tied domains that have been considered separately in HCI until now. After carefully reviewing research done in each of those domains, a formal ontolo...
IFM
2004
Springer
14 years 1 months ago
2004
Springer
IGPL
2010
13 years 5 months ago
2010
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...