SCOPUS 정보 검색 플랫폼

Proceedings - 1998 IEEE Symposium on Visual Languages, VL 1998

Volumn 1998-September, Issue , 1998, Pages 84-85

Integrity constraints in the multi-paradigm language PROGRES

(3) Munch M a Schurr A a Winter, A b

a UNIVERSITY OF SOUTHAMPTON (United Kingdom)

b RWTH AACHEN UNIVERSITY (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

EXECUTABLE SPECIFICATION LANGUAGES; GRAPH REWRITING SYSTEMS; INTEGRATED TYPES; INTEGRITY CONSTRAINTS; MULTI-PARADIGM; MULTI-PARADIGM LANGUAGES; STATIC SEMANTICS; VISUAL PROGRAMMING;

VISUAL LANGUAGES;

EID: 0013194696 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/VL.1998.706145 Document Type: Conference Paper

Times cited : (1)

References (9)

1
- 85032633129
- PLAN2D - Towards a two-dimensional programming language
- Springer Verlag, Berlin
- E. Denert, R. Franck, and W. Streng. PLAN2D - towards a two-dimensional programming language. LNCS 26, pages 202-213. Springer Verlag, Berlin, 1974.
- (1974) LNCS , vol.26 , pp. 202-213
- Denert, E.¹ Franck, R.² Streng, W.³

2
- 18944376711
- Ensuring consistency of conditional graph grammars - A constructive approach
- Elsevier, Electronic Notes of TCS
- R. Heckel and A. Wagner. Ensuring consistency of conditional graph grammars - a constructive approach. In SEGRAGRA '95 "Graph Rewriting and Computation". Elsevier, Electronic Notes of TCS, 2, 1995.
- (1995) SEGRAGRA '95 "graph Rewriting and Computation , vol.2
- Heckel, R.¹ Wagner, A.²

3
- 85049183226
- Technical report, University of Southampton, United Kingdom
- M. Münch, A. Schürr, and A. Winter. Constraints, Preand Postconditions in PROGRES. Technical report, University of Southampton, United Kingdom. http://www.dsse.ecs.soton.ac.uk/techreports/98-2.html.
- Constraints, Preand Postconditions in PROGRES
- Münch, M.¹ Schürr, A.² Winter, A.³

4
- 85049210555
- Rational Software Corporation
- Rational Software Corporation. Uml semantics, version 1.1. http://www.rational.com, 1997.
- (1997) Uml Semantics, Version 1.1

5
- 0031346476
- In [9]
- A. Schürr. BDL - a nondeterministic data ow programming language with backtracking. In [9], pages 394-401, 1997.
- (1997) BDL - A Nondeterministic Data Ow Programming Language with Backtracking , pp. 394-401
- Schürr, A.¹

6
- 84949948212
- In [8]
- A. Schürr, A. Winter, and A. Zündorf. Visual programming with graph rewriting systems. In [8], pages 195-202, 1995.
- (1995) Visual Programming with Graph Rewriting Systems , pp. 195-202
- Schürr, A.¹ Winter, A.² Zündorf, A.³

7
- 84955590678
- Graph grammar engineering with progres
- W. Schäfer and P. Botella, editors, Berlin, Springer Verlag
- A. Schürr, A. J. Winter, and A. Zündorf. Graph grammar engineering with progres. In W. Schäfer and P. Botella, editors, Proc. 5th European Software Engineering Conf. (ESEC'95), volume 989 of Lecture Notes in Computer Science, pages 219-234, Berlin, 1995. Springer Verlag.
- (1995) Proc. 5th European Software Engineering Conf. (ESEC'95), Volume 989 of Lecture Notes in Computer Science , pp. 219-234
- Schürr, A.¹ Winter, A.J.² Zündorf, A.³

8
- 85049160075
- Los Alamitos, CA, IEEE Computer Society Press
- Proc. IEEE Symposium on Visual Languages (VL'95), Los Alamitos, CA, 1995. IEEE Computer Society Press.
- (1995) Proc. IEEE Symposium on Visual Languages (VL'95)

9
- 85049162738
- Los Alamitos, CA, IEEE Computer Society Press
- Proc. IEEE Symposium on Visual Languages (VL'97), Los Alamitos, CA, 1997. IEEE Computer Society Press.
- (1997) Proc. IEEE Symposium on Visual Languages (VL'97)

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