-
1
-
-
84945266603
-
From Play-In Scenarios to Code: An Achievable Dream
-
Fundamental Approaches to Software Engineering FASE2000, Springer-Verlag
-
D. Harel, "From Play-In Scenarios to Code: An Achievable Dream", Fundamental Approaches to Software Engineering (FASE2000), LNCS 1783, Springer-Verlag, 2000, pp. 22-34.
-
(2000)
LNCS
, vol.1783
, pp. 22-34
-
-
Harel, D.1
-
2
-
-
0028400368
-
Formal approach to scenario analysis
-
P. Hsia, J. Samuel, J. Gao, D. Kung, Y. Toyoshima, C. Ghen, "Formal approach to scenario analysis", IEEE Software 11(2), 1994, pp. 33-41.
-
(1994)
IEEE Software
, vol.11
, Issue.2
, pp. 33-41
-
-
Hsia, P.1
Samuel, J.2
Gao, J.3
Kung, D.4
Toyoshima, Y.5
Ghen, C.6
-
4
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
D. Harel, "Statecharts: A visual formalism for complex systems", Science of Computer Programming, 8(3), 1987, pp. 231-274.
-
(1987)
Science of Computer Programming
, vol.8
, Issue.3
, pp. 231-274
-
-
Harel, D.1
-
6
-
-
33845975857
-
-
J. Ryser and M. Glinz, Using dependency charts to improve scenario-based testing, Proceedings of the 17th International Conference on Testing Computer Software TCS2000, Washington D.C, 2000
-
J. Ryser and M. Glinz, "Using dependency charts to improve scenario-based testing", Proceedings of the 17th International Conference on Testing Computer Software (TCS2000), Washington D.C., 2000.
-
-
-
-
7
-
-
33845980081
-
-
J. Ali and J. Tanaka, Constructing statecharts from event trace diagrams, Technical report of IE1CE, KBSE98-33, 1998, pp. 41-47.
-
J. Ali and J. Tanaka, "Constructing statecharts from event trace diagrams", Technical report of IE1CE, KBSE98-33, 1998, pp. 41-47.
-
-
-
-
8
-
-
0033725597
-
Generating statechart designs from scenarios
-
Limerick, Ireland
-
J. Whittle and J. Schumann, "Generating statechart designs from scenarios", Proceedings of International Conference on Software Engineering (ICSE2000), Limerick, Ireland, 2000, pp. 314-323.
-
(2000)
Proceedings of International Conference on Software Engineering (ICSE2000)
, pp. 314-323
-
-
Whittle, J.1
Schumann, J.2
-
9
-
-
0031672505
-
Automatic support for dynamic modeling of object-oriented software
-
K. Koskimies, T. Mannisto, T. Systa, J. Tuomi, "Automatic support for dynamic modeling of object-oriented software", IEEE Software, 15(1), 1998, pp. 87-94.
-
(1998)
IEEE Software
, vol.15
, Issue.1
, pp. 87-94
-
-
Koskimies, K.1
Mannisto, T.2
Systa, T.3
Tuomi, J.4
-
10
-
-
18244417270
-
Algorithmic support for model transformation in object-oriented software development
-
S. Schonberger, R. K. Keller, I. Khriss, "Algorithmic support for model transformation in object-oriented software development", Concurrency and Computation: Practice and Experience, 13(5), 2001, pp. 351-383.
-
(2001)
Concurrency and Computation: Practice and Experience
, vol.13
, Issue.5
, pp. 351-383
-
-
Schonberger, S.1
Keller, R.K.2
Khriss, I.3
-
11
-
-
0003511049
-
-
Prentice Hall
-
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object-oriented modeling and design, Prentice Hall, 1991.
-
(1991)
Object-oriented modeling and design
-
-
Rumbaugh, J.1
Blaha, M.2
Premerlani, W.3
Eddy, F.4
Lorensen, W.5
-
12
-
-
0007928006
-
A scenario construction process
-
J. C. S. P. Leite, G. D. S. Hadad, J. H. Doom, G. N. Kaplan, "A scenario construction process", Requirements Engineering, 5, 2000, pp. 38-61.
-
(2000)
Requirements Engineering
, vol.5
, pp. 38-61
-
-
Leite, J.C.S.P.1
Hadad, G.D.S.2
Doom, J.H.3
Kaplan, G.N.4
-
13
-
-
35248898469
-
An approach for detecting implied scenarios
-
Orlando, Florida, USA
-
H. Muccini, "An approach for detecting implied scenarios", Scenarios and state machines: models, algorithms, and tools, ICSE2002 Workshop, Orlando, Florida, USA, 2002.
-
(2002)
Scenarios and state machines: Models, algorithms, and tools, ICSE2002 Workshop
-
-
Muccini, H.1
-
14
-
-
1542538514
-
Using dependency diagrams in dynamic modelling of object-oriented systems
-
SEA, Marina del Rey, USA
-
S. Vasilache and J. Tanaka, "Using dependency diagrams in dynamic modelling of object-oriented systems", Proceedings of the 7th IASTED Conference on Software Engineering and Applications SEA2003, Marina del Rey, USA, 2003, pp. 277-283.
-
(2003)
Proceedings of the 7th IASTED Conference on Software Engineering and Applications
, pp. 277-283
-
-
Vasilache, S.1
Tanaka, J.2
-
16
-
-
20244387561
-
On the need for "state machine implementation" design patterns
-
Orlando, Florida, USA
-
F. Bordeleau, J. P. Corriveau, "On the need for "state machine implementation" design patterns", Scenarios and statt machines: models, algorithms, and tools, ICSE2002 Workshop, Orlando, Florida, USA, 2002.
-
(2002)
Scenarios and statt machines: Models, algorithms, and tools, ICSE2002 Workshop
-
-
Bordeleau, F.1
Corriveau, J.P.2
-
18
-
-
84891389529
-
Validating Use-Cases with the AsmL Test Tool
-
Dallas, USA
-
M. Barnett, W. Qriesfcamp, W. Schulte, N. Tillmann, M. Veanes, "Validating Use-Cases with the AsmL Test Tool", Proceedings of the Third International Conference on Quality Software (QSIC2003), Dallas, USA, 2003.
-
(2003)
Proceedings of the Third International Conference on Quality Software (QSIC2003)
-
-
Barnett, M.1
Qriesfcamp, W.2
Schulte, W.3
Tillmann, N.4
Veanes, M.5
-
19
-
-
33845970781
-
-
M. Mutz, M. Huhn, Automated Statechart Analysis for User-defined Design Rules, Informatik-Bericht Nr. 2003-10, 2003.
-
M. Mutz, M. Huhn, "Automated Statechart Analysis for User-defined Design Rules", Informatik-Bericht Nr. 2003-10, 2003.
-
-
-
-
21
-
-
0242527750
-
Model Checking and * Code Generation for UML State Machines and * Collaborations
-
Germany
-
A. Knapp and S. Merz, "Model Checking and * Code Generation for UML State Machines and * Collaborations", Proceedings of the 5th Workshop on * Tools for System Design and Verification, Reisenburg, Germany, 2002, pp. 59-64.
-
(2002)
Proceedings of the 5th Workshop on * Tools for System Design and Verification, Reisenburg
, pp. 59-64
-
-
Knapp, A.1
Merz, S.2
-
22
-
-
33846008970
-
-
I.A.. Niaz and J. Tanaka, Mapping UML Statecharts to Java Code, Proceedings of IASTED International Conference on Software Engineering (SE 2004), Innsbruck, Austria, Feb. 2004. pp.111-116.
-
I.A.. Niaz and J. Tanaka, "Mapping UML Statecharts to Java Code", Proceedings of IASTED International Conference on Software Engineering (SE 2004), Innsbruck, Austria, Feb. 2004. pp.111-116.
-
-
-
-
23
-
-
33845972504
-
-
E. W. Dijkstra, Notes on structured programming, T.H. - Report 70-WSK-03, 1970.
-
E. W. Dijkstra, "Notes on structured programming", T.H. - Report 70-WSK-03, 1970.
-
-
-
|