SCOPUS 정보 검색 플랫폼

Innovations in Systems and Software Engineering

Volumn 4, Issue 3, 2008, Pages 309-314

Clock constraint specification language: Specifying clock constraints with UML/MARTE

(1) Mallet, Frédéric a

a INRIA (France)

Author keywords

Constraints; MARTE; Timemodel; Unified modeling language

Indexed keywords

CLOCKS; COMPUTER SIMULATION LANGUAGES; EMBEDDED SYSTEMS; INFORMATION THEORY; INTEGRATED CIRCUITS; LINGUISTICS; REAL TIME SYSTEMS; SEMANTICS; SYNTACTICS; TIME DOMAIN ANALYSIS; WEB SERVICES;

CLOCK CONSTRAINTS; CONSTRAINT SPECIFICATIONS; CONSTRAINTS; FORMAL ANALYSIS; FORMAL SEMANTICS; MARTE; MODEL ELEMENTS; MODELING AND ANALYSIS; MODELING LANGUAGES; OBJECT MANAGEMENT GROUP; REAL-TIME AND EMBEDDED SYSTEMS; TIME MODELING; TIMEMODEL; UML MODELING; UNIFIED MODELING LANGUAGE (UML);

UNIFIED MODELING LANGUAGE;

EID: 52949119512 PISSN: 16145046 EISSN: 16145054 Source Type: Journal
DOI: 10.1007/s11334-008-0055-2 Document Type: Conference Paper

Times cited : (77)

References (8)

1
- 79960551188
- Research Report 6540, INRIA
- André C, Mallet F (2008) Clock constraints in UML/MARTE. Research Report 6540, INRIA. http://hal.inria.fr/inria-00280941/en/
- (2008) Clock Constraints in UML/MARTE
- André, C.¹ Mallet, F.²

2
- 38049032301
- Modeling time(s)
- In: Engels G, Opdyke B, Schmidt DC, Weil F (eds) Springer, Berlin
- André C, Mallet F, de Simone R (2007) Modeling time(s). In: Engels G, Opdyke B, Schmidt DC, Weil F (eds) MoDELS, Lecture Notes Comput Sci, vol 4735. Springer, Berlin, pp 559-573
- (2007) MoDELS, Lecture Notes Comput Sci , vol.4735 , pp. 559-573
- André, C.¹ Mallet, F.² de Simone, R.³

3
- 33646800850
- The synchronous languages twelve years later
- Benveniste A, Caspi P, Edwards SA, Halbwachs N, Le Guernic P, de Simone R (2003) The synchronous languages twelve years later. Proc IEEE 91(1)
- (2003) Proc IEEE , vol.91 , Issue.1
- Benveniste, A.¹ Caspi, P.² Edwards, S.A.³ Halbwachs, N.⁴ Le Guernic, P.⁵ de Simone, R.⁶

4
- 0000876922
- A framework for comparing models of computation
- Lee EA, Sangiovanni-Vincentelli AL (1998) A framework for comparing models of computation. IEEE Trans Comput Aided Des Integr Circuits Syst 17(12): 1217-1229
- (1998) IEEE Trans Comput Aided Des Integr Circuits Syst , vol.17 , Issue.12 , pp. 1217-1229
- Lee, E.A.¹ Sangiovanni-Vincentelli, A.L.²

5
- 52949118837
- Research Report 6545, INRIA
- Mallet F, André C (2008) UML/MARTE CCSL, signal and petri nets. Research Report 6545, INRIA. https://hal.inria.fr/inria-00283077
- (2008) UML/MARTE CCSL, Signal and Petri Nets
- Mallet, F.¹ André, C.²

6
- 0141684326
- Object Management Group Version 2.1.2 formal/2007-11-02
- Object Management Group (2007) Unified Modeling Language, Superstructure. Version 2.1.2 formal/2007-11-02
- (2007) Unified Modeling Language, Superstructure

7
- 52949126999
- UML Profile for MARTE, beta 2
- Object Management Group OMG document number: ptc/08-07-09
- Object Management Group (2008) UML Profile for MARTE, beta 2. OMG document number: Ptc/08-07-09
- (2008)

8
- 77954642882
- Systems Modeling Language (SysML) Specification 1.1
- OMG OMG document number: ptc/08-05-17
- OMG (2008) Systems Modeling Language (SysML) Specification 1.1. OMG document number: Ptc/08-05-17
- (2008)

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.