-
1
-
-
13144259719
-
A discrete-time UML semantics for concurrency and communication in safety-critical applications
-
Damm, W., Josko, B., Pnueli, A., and Votintseva, A. (2005). A discrete-time UML semantics for concurrency and communication in safety-critical applications. Science of Computer Programming, 55:81-115.
-
(2005)
Science of Computer Programming
, vol.55
, pp. 81-115
-
-
Damm, W.1
Josko, B.2
Pnueli, A.3
Votintseva, A.4
-
2
-
-
0032178819
-
Logical specification of reactive and real-time systems
-
Lano, K. (1998). Logical specification of reactive and real-time systems. Journal of Logic and Computation, 8(5):679-711.
-
(1998)
Journal of Logic and Computation
, vol.8
, Issue.5
, pp. 679-711
-
-
Lano, K.1
-
3
-
-
47949104976
-
Formal specification using interaction diagrams
-
Lano, K. (2007). Formal specification using interaction diagrams. In SEFM'07.
-
(2007)
SEFM
, vol.7
-
-
Lano, K.1
-
4
-
-
55849131241
-
A compositional semantics of UML-RSDS
-
Lano, K. (2008a). A compositional semantics of UML-RSDS. SoSyM.
-
(2008)
SoSyM
-
-
Lano, K.1
-
7
-
-
36048950762
-
From implicit specifications to explicit designs in reactive system development
-
Lano, K., Clark, D., and Androutsopolous, K. (2002). From implicit specifications to explicit designs in reactive system development. In IFM'02.
-
(2002)
IFM
, vol.2
-
-
Lano, K.1
Clark, D.2
Androutsopolous, K.3
-
8
-
-
33745129061
-
Invariant-based synthesis of fault-tolerant systems
-
Springer-Verlag
-
Lano, K., Clark, D., Androutsopolous, K., and Kan, P. (2000). Invariant-based synthesis of fault-tolerant systems. In FTRTFT. Springer-Verlag.
-
(2000)
FTRTFT
-
-
Lano, K.1
Clark, D.2
Androutsopolous, K.3
Kan, P.4
-
9
-
-
55849135974
-
Statechart verification with istate
-
Le, D., Sekerinski, E., and West, S. (2006). Statechart verification with istate. In FM 06.
-
(2006)
FM 06
-
-
Le, D.1
Sekerinski, E.2
West, S.3
-
10
-
-
0003949216
-
The semantics of UML state machines. Turku Centre for Computer Science
-
Lilius, J. and Paltor, I. (1999). The semantics of UML state machines. Turku Centre for Computer Science, TUCS technical report 273.
-
(1999)
TUCS technical report
, vol.273
-
-
Lilius, J.1
Paltor, I.2
-
11
-
-
33746031722
-
-
Merseguer, J., Campos, J., Bernardi, S., and Donatelli, S. (2002). A compositional semantics for UML state machines aimed at performance evaluation. In Silva, M., Giua, A., and Colom, J., editors, 6 Int. Workshop on Discrete Event Systems (WODES 2002).
-
Merseguer, J., Campos, J., Bernardi, S., and Donatelli, S. (2002). A compositional semantics for UML state machines aimed at performance evaluation. In Silva, M., Giua, A., and Colom, J., editors, 6 Int. Workshop on Discrete Event Systems (WODES 2002).
-
-
-
-
13
-
-
55849144558
-
-
OMG 2007, UML superstructure, version 2.1.1. OMG document formal/2007-02-03
-
OMG (2007). UML superstructure, version 2.1.1. OMG document formal/2007-02-03.
-
-
-
-
14
-
-
36048937663
-
A theory of regression testing for behaviourally compatible object types
-
Simons, A. (2005). A theory of regression testing for behaviourally compatible object types. In 3rd Conf. UK Software Testing Research (5-6 September), pages 103-121.
-
(2005)
3rd Conf. UK Software Testing Research (5-6 September)
, pp. 103-121
-
-
Simons, A.1
|