SCOPUS 정보 검색 플랫폼

Computer

Volumn 34, Issue 11, 2001, Pages 64-70

Rosetta: Semantic support for model-centered systems-level design

(2) Alexander, P a Kong, C a

a UNIVERSITY OF KANSAS (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SYSTEMS ANALYSIS;

SYSTEMS-LEVEL MODELING LANGUAGES;

COMPUTER AIDED DESIGN;

EID: 0035499277 PISSN: 00189162 EISSN: None Source Type: Trade Journal
DOI: 10.1109/2.963446 Document Type: Article

Times cited : (21)

References (5)

1
- 0033892802
- System specification in Rosetta
- IEEE CS Press, Los Alamitos, Calif. (current Oct. 2001)
- (2001) Proc. 7th IEEE Int'l Conf. and Workshop Eng. of Computer-Based Systems (ECBS 00)
- Alexander, P.¹ Kamath, R.² Barton, D.³

2
- 85034210851
- Introducing institutions
- Logics of Programming Workshop, Springer-Verlag, New York
- (1984) Lecture Notes in Computer Science , vol.164 , pp. 221-255
- Goguen, J.A.¹ Burstall, R.M.²

3
- 0002717797
- Design verification test generation from Rosetta requirements
- IEEE CS Press, Los Alamitos, Calif. (current Oct.)
- (2000) Proc. IEEE/Accellera VHDL International User's Forum (VIUF 00)
- Ranganathan, K.¹ Rangarajan, M.² Alexander, P.³

4
- 0034855541
- Automated reuse support for design of embedded avionics systems
- IEEE Press, Piscataway, N.J.
- (2001) Proc. IEEE Aerospace Conf. , pp. 2857-2862
- Chawla, P.¹ Alexander, P.²

5
- 0003660988
- tech. memo UCB/ERL M00/12, Dept. of Electrical Engineering and Computer Sciences, University of California, Berkeley (current Oct.)
- (2000) MoML - A Modeling Markup Language in XML - Version 0.4
- Lee, E.A.¹ Neuendorffer, S.²

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