Formal architectural abstractions for interactive software

Author： Markopoulos P. Johnson P. Rowson J.

ISSN： 1071-5819

Source： International Journal of Human-Computer Studies, Vol.49, Iss.5, 1998-11, pp. : 675-715

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

Abstract

Related content

An automatic method for the dynamic construction of abstractions of states of a formal model

By Kolchin A.

Cybernetics and Systems Analysis, Vol. 46, Iss. 4, 2010-07 ,pp. : 583-601

Springer Publishing Company

Access to resources Recommend Favorite

Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios

By Toro Mauricio Desainte-Catherine Myriam Rueda Camilo

Journal of Mathematics and Music, Vol. 8, Iss. 1, 2014-01 ,pp. : 93-112

Taylor & Francis Ltd

Access to resources Recommend Favorite

Using an interactive software environment for the parallelization of real-world scientific applications

International Journal of Computer Mathematics, Vol. 84, Iss. 2, 2007-02 ,pp. : 167-175

Taylor & Francis Ltd

Access to resources Recommend Favorite

Secure Implementation of Channel Abstractions

By Abadi M. Fournet C. Gonthier G.

Information and Computation, Vol. 174, Iss. 1, 2002-04 ,pp. : 37-83

Academic Press

Access to resources Recommend Favorite

John M. Prausnitz: Bridging abstractions and realities

AICHE JOURNAL, Vol. 61, Iss. 9, 2015-09 ,pp. : 2675-2688

John Wiley & Sons Inc

Access to resources Recommend Favorite