Formal analysis of interactive systems: opportunities and weaknesses

Loer, Karsten; Cairns,; Campos, José Creissac; Cox, Simon R.; Harrison, Michael D.

doi:10.1017/cbo9780511814570.006

Cited by 4 publications

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The cognitive walkthrough as research method has recently been criticized for its tendency to focus on surface issues related to the interaction, overlooking more complex behavioral issues in the interaction between user and device [15]. However, for the purpose of this particular study, the objective is precisely to see if and how public schools manage to translate the spirit of the law into a public access of grades, regardless of complexity.…”

Section: Data Collectionmentioning

confidence: 99%

Public Sector IS Maturity Models: Legal Pluralism Invades Public Schools

Henriksen¹,

Andersen²,

Medaglia³

2011

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Online applications and processing of tax forms, driver licenses, and construction permits are examples of where policy attention and research have been united in efforts aiming to categorize the maturity level of e-services. Less attention has been attributed to policy areas with continuous online citizenpublic interaction, such as in public education. In this paper we use a revised version of the Public Sector Process Rebuilding (PPR) maturity model for mapping 200 websites of public primary schools in Denmark. Findings reveal a much less favorable picture of the digitization of the Danish public sector compared to the high ranking it has received in the international benchmark studies. This paper aims at closing the gap between the predominant scope of maturity models and the frequency of citizen-public sector interaction, and calls for increased attention to the activities of government where the scale and frequency of the interaction between citizens and government will challenge our concepts of maturity.

show abstract

Section: Data Collectionmentioning

confidence: 99%

Public Sector IS Maturity Models: Legal Pluralism Invades Public Schools

Henriksen¹,

Andersen²,

Medaglia³

2011

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…These range from using graph theoretic concepts such as the shortest path between two vertices (which can be seen as defining the most efficient way a user can achieve a particular change of state), through testing relevant properties of the behavior of the system (as described by the graph), up to formal verification of such properties (c.f. using model checking [3]). …”

Section: Support For Analysismentioning

confidence: 99%

The GUISurfer tool

Silva

Gonçalo

et al. 2010

Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems

Self Cite

View full text Add to dashboard Cite

Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.

show abstract

Examples of the Application of Formal Methods to Interactive Systems

Harrison

2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Formal analysis of interactive systems: opportunities and weaknesses

Cited by 4 publications

References 0 publications

Public Sector IS Maturity Models: Legal Pluralism Invades Public Schools

Public Sector IS Maturity Models: Legal Pluralism Invades Public Schools

The GUISurfer tool

Examples of the Application of Formal Methods to Interactive Systems

Contact Info

Product

Resources

About