Formal and experimental validation approaches in HCI systems design based on a shared event B model

ISSN： 1433-2779

Source： International Journal on Software Tools for Technology Transfer, Vol.8, Iss.6, 2006-11, pp. : 547-563

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems

By Xu H.

Automated Software Engineering, Vol. 10, Iss. 4, 2003-10 ,pp. : 337-365

Springer Publishing Company

Access to resources Recommend Favorite

Becoming social: expanding scenario-based approaches in HCI

By Carroll John M.

Behaviour and Information Technology, Vol. 15, Iss. 4, 1996-07 ,pp. : 266-275

Taylor & Francis Ltd

Access to resources Recommend Favorite

Experiences applying formal approaches in the development of swarm-based space exploration systems

By Rouff Christopher Hinchey Michael Truszkowski Walter Rash James

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 6, 2006-11 ,pp. : 587-603

Springer Publishing Company

Access to resources Recommend Favorite

Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language

By Voros Nikolaos Snook Colin Hallerstede Stefan Masselos Konstantinos

Design Automation for Embedded Systems, Vol. 9, Iss. 2, 2004-06 ,pp. : 67-99

Springer Publishing Company

Access to resources Recommend Favorite

Simulation-based development and validation of multi-agent systems: AOSE and ABMS approaches

By Fortino G

Journal of Simulation, Vol. 7, Iss. 3, 2013-08 ,pp. : 137-143

Palgrave Macmillan Ltd

Access to resources Recommend Favorite