SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2335, Issue , 2002, Pages 1-10

Rhapsody: A complete life-cycle model-based development system

(3) Gery, Eran a Harel, David a Palachi, Eldad a

a I Logix Inc (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL METHODS; ITERATIVE METHODS; MODEL CHECKING; MODELING LANGUAGES; SOFTWARE DESIGN; SOFTWARE ENGINEERING;

DESIGN ABSTRACTIONS; ENABLING TECHNOLOGIES; IMPLEMENTATION LANGUAGES; IMPLEMENTATION PLATFORMS; LEVEL OF AUTOMATIONS; MODEL BASED APPROACH; MODEL BASED TESTING; SOFTWARE DEVELOPMENT TOOLS;

LIFE CYCLE;

EID: 84944222777 PISSN: 03029743 EISSN: 16113349 Source Type: Journal
DOI: 10.1007/3-540-47884-1_1 Document Type: Article

Times cited : (54)

References (10)

1
- 0003458824
- Addison-Wesley Object Technology Series
- B.P. Douglass Doing Hard Time. Addison-Wesley Object Technology Series, 1999.
- (1999) Doing Hard Time
- Douglass, B.P.¹

2
- 0035393979
- LSCs: Breathing Life into Message Sequence Charts
- P. Ciancarini, A. Fantechi and R. Gorrieri, edsKluwer Academic Publishers
- W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 19(1), 2001. (Preliminary version in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS’99), (P. Ciancarini, A. Fantechi and R. Gorrieri, eds.), Kluwer Academic Publishers, 1999, pages 293-312.)
- (1999) Formal Methods in System Design, 19(1), 2001. (Preliminary Version in Proc. 3Rd IFIP Int. Conf. On Formal Methods for Open Object-Based Distributed Systems (FMOODS’99) , pp. 293-312
- Damm, W.¹ Harel, D.²

3
- 0031187475
- Executable Object Modeling with Statecharts
- July 1997. Also, Proc. 18th Int. Conf. on Software Engineering, Berlin, IEEE Press, March
- D. Harel and E. Gery. Executable Object Modeling with Statecharts. IEEE Computer, pages 31-42, July 1997. Also, Proc. 18th Int. Conf. on Software Engineering, Berlin, IEEE Press, March, 1996, pp. 246-257.
- (1996) IEEE Computer , pp. 31-42
- Harel, D.¹ Gery, E.²

4
- 85018955293
- Rhapsody’s user guide
- Rhapsody’s user guide. www.ilogix.com

5
- 0003902726
- Addison-Wesley Object Technology Series
- I. Jacobson, G. Booch, J. Rumbaugh. The Unified Software Development Process. Addison-Wesley Object Technology Series, 1998.
- (1998) The Unified Software Development Process
- Jacobson, I.¹ Booch, G.² Rumbaugh, J.³

6
- 84944212679
- E. Gery, R. Rinat, J. Ziegler. Octopus Concurrency Design with Rhapsody. www.ilogix.com
- Octopus Concurrency Design with Rhapsody
- Gery, E.¹ Rinat, R.² Ziegler, J.³

7
- 85018938846
- OMG Unified Modeling Language Specification, Version 1.4. OMG Document formal/01-09-67
- OMG Unified Modeling Language Specification, Version 1.4. OMG Document formal/01-09-67

8
- 85019002124
- OMG Architecture Board MDA Drafting Team.”Model Driven Architecture - A Technical Perspective”. OMG Document ormsc/01-07-01
- OMG Architecture Board MDA Drafting Team.”Model Driven Architecture - A Technical Perspective”. OMG Document ormsc/01-07-01

9
- 85018974250
- UML 1.4 with Action Semantics. OMG Document ptc/02-01-09, p. 2-209 - 2-349
- UML 1.4 with Action Semantics. OMG Document ptc/02-01-09, p. 2-209 - 2-349

10
- 85018974556
- http://www.projtech.com/prods/bp/info.html

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