Result 1 to 20 of 35 total
Transformation of UML specification to XTG. (English)
Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2‒6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 247-254 (2001).
1
Transformation of UML specification to XTG (English)
Ershov Memorial Conference, 247-254 (2001).
2
A timed automata semantics for real-time UML specifications (English)
HCC, 88-95 (2001).
3
Specification of real-time systems in UML. (English)
Electron. Notes Theor. Comput. Sci. 39, No. 3 (2000).
4
Specification of real-time systems in UML. (English)
Corradini, Flavio (ed.) et al., MTCS 2000. Proceedings of the international satellite workshop on models for time-critical systems, State College, University Park, PA, USA, 26 August 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 39,3, 13 p., electronic only (2000).
5
Towards explicit representation of architectural design assumptions (English)
ASE, 249-252 (2000).
6
Specification and verification of a safety shell with statecharts and extended timed graphs (English)
SAFECOMP, 37-52 (2000).
7
A software process for the construction of predictable on-board embedded real-time systems. (English)
Softw., Pract. Exper. 29, No. 3, 235-266 (1999).
8
A software process for the construction of predictable on-board embedded real-time systems (English)
Softw., Pract. Exper. 29, No. 3, 235-266 (1999).
9
Beyond components-connections-constraints: dealing with software architecture difficulties (English)
ASE, 235-242 (1999).
10
An approach towards formal verification of object oriented real-time systems (English)
RTCSA, 474- (1999).
11
Productive engineering of predictable embedded real-time systems: the road to maturity (English)
Information & Software Technology 40, No. 13, 745-764 (1998).
12
Automatic analysis of embedded systems specified in astral (English)
HICSS (3), 177-186 (1998).
13
On-line change mechanisms (English)
SIGSOFT FSE, 80-86 (1998).
14
Analyzing schedulability of Astral specifications using extended time automata. (English)
Lengauer, Christian (ed.) et al., Euro-par ’97 parallel processing. 3rd international Euro-Par conference, Passau, Germany, August 26-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1300, 1290-1297 (1997).
15
Hybrid object-oriented real-time software development with $VDM^{++}$ (English)
ICFEM, 17- (1997).
16
Analyzing schedulability of astral specifications using extended timed automata (English)
Euro-Par, 1290-1297 (1997).
17
Evaluation of software architecture for a control system: A case study (English)
COORDINATION, 157-171 (1997).
18
Experiences with analysis of formal specifications in astral (English)
RTCSA, 143- (1997).
19
Gnass: a gnat-based allocation and scheduling system (English)
RTCSA, 278-285 (1996).
20
Result 1 to 20 of 35 total
Start
Contact
Print
General Help
