SCOPUS 정보 검색 플랫폼

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

Volumn 1282, Issue , 1997, Pages 172-186

Modeling railway control systems using graph grammars: A case study

(3) Holzbacher, A A a Perin M a Sudholt M a

a CAMPUS DE BEAULIEU (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT SENSITIVE GRAMMARS; CONTROL SYSTEMS; CONTROLLERS; FORMAL LANGUAGES; GRAPH THEORY; MEMORY ARCHITECTURE; NETWORK ARCHITECTURE; RAILROADS; SOFTWARE ENGINEERING;

DESIGN PROPOSAL; DYNAMIC EVOLUTION; DYNAMIC MODIFICATIONS; GRAPH TRANSFORMATION; IMPLEMENTATION STEPS; LOCAL CONTROLLERS; PROGRAMMING ENVIRONMENT; RAILWAY CONTROL SYSTEMS;

CONCURRENCY CONTROL;

EID: 84957048917 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/3-540-63383-9_80 Document Type: Conference Paper

Times cited : (5)

References (9)

1
- 0000809609
- chapter 5 in: Handbook of Theoretical Computer Science. Elsevier
- B. Courcelle. Graph rewriting: an algebraic and logic approach, chapter 5 in: Handbook of Theoretical Computer Science. Elsevier, 1990.
- (1990) Graph rewriting: An algebraic and logic approach
- Courcelle, B.¹

2
- 84957091649
- Software architecture for large control systems: A case study
- LNCS, this volume. Springer Verlag
- E. de Jong. Software architecture for large control systems: a case study. In Proc. of COORDINATION '97,LNCS, this volume. Springer Verlag, 1997.
- (1997) Proc. Of COORDINATION '97
- De Jong, E.¹

3
- 0003865953
- TR 989, IRISA, Rennes
- P. Fradet and D. Le Métayer. Structured gamma. TR 989, IRISA, Rennes, 1996.
- (1996) Structured Gamma
- Fradet, P.¹ Le Métayer, D.²

4
- 84976747318
- Research Directions in Software Architecture
- D. Garlan. Research Directions in Software Architecture. ACM Computing Surveys, 27:257–261, June 1995.
- (1995) ACM Computing Surveys , vol.27 , pp. 257-261
- Garlan, D.¹

5
- 84958757454
- A Software Environment for Concurrent Coordinated Programming
- LNCS 1061, Springer-Verlag
- A. A. Holzbacher. A Software Environment for Concurrent Coordinated Programming. In Proc. of the Conference on Coordination Models, Languages and Applications, LNCS 1061, pages 249–266. Springer-Verlag, 1996.
- (1996) Proc. Of the Conference on Coordination Models, Languages and Applications , pp. 249-266
- Holzbacher, A.A.¹

6
- 84957100298
- TR 1100, IRISA, Rennes
- A. A. Holzbacher, M. Périn, and M. Südholt. Modeling railway control systems using graph grammars: a case study. TR 1100, IRISA, Rennes, 1997.
- (1997) Modeling Railway Control Systems Using Graph Grammars: A Case Study
- Holzbacher, A.A.¹ Périn, M.² Südholt, M.³

7
- 0029408391
- The 4 + 1 view model of architecture
- P. B. Kruchten. The 4 + 1 view model of architecture. IEEE Software, pages 42–50, November 1995.
- (1995) IEEE Software , pp. 42-50
- Kruchten, P.B.¹

8
- 0030389170
- Software architecture styles as graph grammars
- D. Le Métayer. Software architecture styles as graph grammars. In In Proc. of the ACM SIGSOFT Symposium of the foundations of Software Engineering, pages p.15–23, 1996.
- (1996) In Proc. Of the ACM SIGSOFT Symposium of the Foundations of Software Engineering , pp. 15-23
- Le Métayer, D.¹

9
- 0003116303
- Formulations and Formalisms in Software Architecture
- LNCS 1000, Springer-Verlag
- M. Shaw and D. Garlan. Formulations and Formalisms in Software Architecture. In Computer Science Today, Recent Trends and Developments, LNCS 1000, pages 307–323. Springer-Verlag, 1995.
- (1995) Computer Science Today, Recent Trends and Developments , pp. 307-323
- Shaw, M.¹ Garlan, D.²

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