Validating semi-formal specifications of interactors as design representations

被引：0

作者：

Markopoulos, P ^{[1
]}

Papatzanis, G ^{[1
]}

Johnson, P ^{[1
]}

Rowson, J ^{[1
]}

机构：

[1] Univ London Queen Mary & Westfield Coll, Dept Comp Sci, London E1 4NS, England

来源：

DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98 | 1998年

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper discusses the nature of research in specifying and verifying interactive systems; it argues that researchers must assess the relevance of the models they propose to the concerns of user interface designers. The paper outlines a semi-formal representation of user interface software and reports a case study which assesses the relevance of the representation to the designer who is interested in the usability of a system. The paper discusses this case study and its findings, and discusses some methodological concerns about the validation of design representations of interactive systems.

引用

页码：102 / 116

页数：15

共 50 条

[1] Semi-formal method for security policies and design specifications
[J]. 2017, Tsinghua University (57):
[2] Crossing the borderline - From formal to semi-formal specifications
Bollin, Andreas
[J]. SOFTWARE ENGINEERING TECHNIQUES: DESIGN FOR QUALITY, 2006, 227 : 73 - 84
[3] Semi-formal specifications and formal verification improving the digital design: some statistics
Torres, D.
Cortez, J.
Gonzalez, R. E.
[J]. JOURNAL OF APPLIED RESEARCH AND TECHNOLOGY, 2009, 7 (01) : 15 - 40
[4] Semi-formal verification of closed-loop specifications in the concept design phase
Richter, Jan H.
Friedrich, Stefan R.
[J]. AT-AUTOMATISIERUNGSTECHNIK, 2017, 65 (02) : 115 - 123
[5] URDAD as a semi-formal approach to analysis and design
Solms, Fritz
Loubser, Dawid
[J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (1-2) : 155 - 162
[6] Integrating semi-formal and formal requirements
Wieringa, R
Dubois, E
Huyts, S
[J]. ADVANCED INFORMATION SYSTEMS ENGINEERING, 1997, 1250 : 19 - 32
[7] Semi-Formal Approach for Validating Compiler for Safety Critical Software in Airborne Systems
Avinash, A. K.
Nanda, Manju
Jayanthi, J.
[J]. 2015 2ND INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT (INDIACOM), 2015, : 854 - 858
[8] Semi-formal design of reliable mesh generation systems
ElSheikh, AH
Smith, S
Chidiac, SE
[J]. ADVANCES IN ENGINEERING SOFTWARE, 2004, 35 (12) : 827 - 841
[9] On Dynamic Switching of Navigation for Semi-Formal Design Validation
Parikh, Ankur
Hsiao, Michael S.
[J]. HLDVT: 2008 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2008, : 41 - 48
[10] A semi-formal method to verify correctness of functional requirements specifications of complex systems
Kececi, N
Halang, WA
Abran, A
[J]. DESIGN AND ANALYSIS OF DISTRIBUTED EMBEDDED SYSTEMS, 2002, 91 : 61 - 69

← 1 2 3 4 5 →