-
9
-
-
84942212318
-
Feature interactions and formal specifications in telecommunications
-
P. Zave Feature interactions and formal specifications in telecommunications Computer 26 8 1993 20 30
-
(1993)
Computer
, vol.26
, Issue.8
, pp. 20-30
-
-
Zave, P.1
-
10
-
-
0028400368
-
Formal approach to scenario analysis
-
P. Hsia, J. Samuel, J. Gao, D. Kung, Y. Toyoshima, and C. Chen Formal approach to scenario analysis IEEE Software 1994 33 41
-
(1994)
IEEE Software
, pp. 33-41
-
-
Hsia, P.1
Samuel, J.2
Gao, J.3
Kung, D.4
Toyoshima, Y.5
Chen, C.6
-
12
-
-
0032027719
-
Guiding the construction of textual use case specifications
-
C. Rolland, and C.B. Achour Guiding the construction of textual use case specifications Data Knowl. Eng. J. 25 1-2 1998 125 160
-
(1998)
Data Knowl. Eng. J.
, vol.25
, Issue.1-2
, pp. 125-160
-
-
Rolland, C.1
Achour, C.B.2
-
14
-
-
28844446334
-
Reconciling use cases via controlled languages and graphical models
-
K. Böttger, R. Schwitter, D. Richards, O. Aguilera, D. Mollá, Reconciling use cases via controlled languages and graphical models, in: INAP 2001, Proceedings of the 14th International Conference on Applications of Prolog, 2001, pp. 186-195.
-
(2001)
INAP 2001, Proceedings of the 14th International Conference on Applications of Prolog
, pp. 186-195
-
-
Böttger, K.1
Schwitter, R.2
Richards, D.3
Aguilera, O.4
Mollá, D.5
-
15
-
-
35048874864
-
Application of linguistic techniques for use case analysis
-
A. Fantechi, S. Gnesi, G. Lami, A. Maccari, Application of linguistic techniques for use case analysis, in: RE'02, Proceedings of the 10th Requirements Engineering Conference, 2002.
-
(2002)
RE'02, Proceedings of the 10th Requirements Engineering Conference
-
-
Fantechi, A.1
Gnesi, S.2
Lami, G.3
MacCari, A.4
-
16
-
-
0028466272
-
Automatic synthesis of state machines from trace diagrams
-
K. Koskimies, and E. Mäkinen Automatic synthesis of state machines from trace diagrams Software Pract Exper 24 7 1994 643 658
-
(1994)
Software Pract Exper
, vol.24
, Issue.7
, pp. 643-658
-
-
Koskimies, K.1
Mäkinen, E.2
-
18
-
-
1642632188
-
An enhancement of timed automata generation from timed scenarios using grouped states
-
S. Somé, R. Dssouli, An Enhancement of Timed Automata generation from Timed Scenarios using Grouped States, Electron. J. Netw. Distrib. Process. (EJNDP) (6) (1998).
-
(1998)
Electron. J. Netw. Distrib. Process. (EJNDP)
, Issue.6
-
-
Somé, S.1
Dssouli, R.2
-
21
-
-
84954414901
-
Synthesizing state-based object systems from LSC specifications
-
URL citeseer.nj.nec.com/harel00synthesizing.html
-
D. Harel, H. Kugler, Synthesizing state-based object systems from LSC specifications, Lect. Notes Comput. Sci. 2088. URL citeseer.nj.nec.com/ harel00synthesizing.html.
-
Lect. Notes Comput. Sci.
, vol.2088
-
-
Harel, D.1
Kugler, H.2
-
22
-
-
0037328225
-
Synthesis of behavorial models from scenarios
-
S. Uchitel, J. Kramer, J. Magee, Synthesis of Behavorial Models from Scenarios, IEEE Trans. Software Eng., 29(2) (2003).
-
(2003)
IEEE Trans. Software Eng.
, vol.29
, Issue.2
-
-
Uchitel, S.1
Kramer, J.2
Magee, J.3
-
24
-
-
0032599437
-
A service creation environment based on scenarios
-
R. Dssouli, S. Somé, J. Vaucher, and A. Salah A service creation environment based on scenarios Infor. Software Technol. 41 11-12 1999 697 713
-
(1999)
Infor. Software Technol.
, vol.41
, Issue.11-12
, pp. 697-713
-
-
Dssouli, R.1
Somé, S.2
Vaucher, J.3
Salah, A.4
|