-
1
-
-
0347552822
-
A Petri net based environment for the design of event-driven interfaces
-
Torino, Italy, 20-22 June
-
Bastide, R., Palanque, P., A Petri Net Based Environment for the Design of Event-Driven Interfaces, 161hInt. Conference on Application and Theory of Petri Nets (ATPN'95) Torino, Italy, 20-22 June 1995.
-
(1995)
161hInt. Conference on Application and Theory of Petri Nets (ATPN'95)
-
-
Bastide, R.1
Palanque, P.2
-
4
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic specifications
-
Clarke, E.M., Emerson, A., Sistla, A. P., Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications, ACM TOPUS 8(2): 244-263 (1986).
-
(1986)
ACM TOPUS
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, A.2
Sistla, A.P.3
-
5
-
-
84949429551
-
Model checking graphical user interfaces using abstractions
-
Sep
-
Dwyer M.B, Cam, V., Hines, L., Model Checking Graphical User Interfaces Using Abstractions, Proc. 6th European Softw. Eng. Con&, 244-261, Sep. 1997.
-
(1997)
Proc. 6th European Softw. Eng. Con&
, pp. 244-261
-
-
Dwyer, M.B.1
Cam, V.2
Hines, L.3
-
6
-
-
0034448908
-
Automated systematic testing for constraint-based interactive service
-
San Diego, Nov
-
P. Godefroid, L. Jagadeesan, R. Jagadeesan and K. Laufer, Automated Systematic Testing for Constraint-Based Interactive Service, FSE'2000, pp. 40-49, San Diego, Nov. 2000.
-
(2000)
FSE'2000
, pp. 40-49
-
-
Godefroid, P.1
Jagadeesan, L.2
Jagadeesan, R.3
Laufer, K.4
-
7
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
Harel, D., Statecharts: a visual formalism for complex systems, Science of Comp. Progr. 8, 231-274, 1987.
-
(1987)
Science of Comp. Progr.
, vol.8
, pp. 231-274
-
-
Harel, D.1
-
8
-
-
18944390941
-
The model checker spin
-
May
-
Holzmann, G.J, The Model Checker Spin, IEEE Trans. on Software Engineering, 23(5), 279-295, May 1997.
-
(1997)
IEEE Trans. On Software Engineering
, vol.23
, Issue.5
, pp. 279-295
-
-
Holzmann, G.J.1
-
9
-
-
0029288522
-
A grammatical specification of human-computer dialog
-
April
-
Nymeyer, A., A grammatical specification of human-computer dialog, Comp. Lung., 21(1):1-16, April 1995.
-
(1995)
Comp. Lung.
, vol.21
, Issue.1
, pp. 1-16
-
-
Nymeyer, A.1
-
10
-
-
34548325897
-
-
San Diego, CA, Nov. 6-10
-
A. Memon, M. Pollack and M.L Soffa, Automated Test Oracles for GUIs, FSE 2000, San Diego, CA, Nov. 6-10, 2000.
-
(2000)
Automated Test Oracles for GUIs, FSE 2000
-
-
Memon, A.1
Pollack, M.2
Soffa, M.L.3
-
11
-
-
0012086937
-
Pushdown automata for user interface management
-
July
-
Olsen, D., Pushdown automata for user interface management.ACM Trans.on Graphics, 3(3):177-203, July 1984.
-
(1984)
ACM Trans.on Graphics
, vol.3
, Issue.3
, pp. 177-203
-
-
Olsen, D.1
-
13
-
-
0007952811
-
On the use of lotos to describe graphical interaction
-
Cambridge University Press, September
-
Paterno, F., Faconti, G., On the Use of LOTOS to Describe Graphical Interaction, in People and Computers VII: Proceedings of the HCI'92 Conference, Cambridge University Press, pp.155-173, September, 1992.
-
(1992)
People and Computers VII: Proceedings of the HCI'92 Conference
, pp. 155-173
-
-
Paterno, F.1
Faconti, G.2
-
14
-
-
0019541171
-
Formal Grammar and human factor design of an interactive graphics system
-
Reisner, P., Formal Grammar and human factor design of an interactive graphics system. IEEE Trans. on Software Engineering, 7(2), 229-240, 1981.
-
(1981)
IEEE Trans. On Software Engineering
, vol.7
, Issue.2
, pp. 229-240
-
-
Reisner, P.1
-
15
-
-
0020102320
-
Multiparty grammars and related features for defining interactive systems
-
SMC-12
-
Shneidermann, B. Multiparty grammars and related features for defining interactive systems, IEEE Trans. S)W. Man Cyber., SMC-12, 2, 1982, pp. 148-154.
-
(1982)
IEEE Trans. S)W. Man Cyber.
, vol.2
, pp. 148-154
-
-
Shneidermann, B.1
-
17
-
-
0023998106
-
Abstract interaction tool: A language for user-interface management systems
-
van den Boss, J. Abstract interaction tool: a language for user-interface management systems. ACM Trans Prog. Lung Syst., Vol. 10, 1988, pp. 215-247.
-
(1988)
ACM Trans Prog. Lung Syst.
, vol.10
, pp. 215-247
-
-
van den Boss, J.1
|