-
2
-
-
84908884515
-
-
AGG Home page: http://tfs.cs.tu-berlin. de/agg
-
-
-
AGG Home page1
-
3
-
-
0004072686
-
-
Chapter 6, Type Checking. Addison-Wesley
-
Aho, A. V., Sethi, R., Ullman, J. D. 1986. Compilers, principles, techniques and tools. Chapter 6, Type Checking. Addison-Wesley.
-
(1986)
Compilers, Principles, Techniques and Tools
-
-
Aho, A.V.1
Sethi, R.2
Ullman, J.D.3
-
4
-
-
84908895442
-
-
3 home page: http://moncs.cs.mcgill.ca/MSDL/research/projects/ATOM3.html
-
-
-
AToM31
-
5
-
-
84947707592
-
Issues in the practical use of graph rewriting
-
Springer-Verlag
-
Blonstein, D., Fahmy, H., Grbavec, A.. 1996. Issues in the Practical Use of Graph Rewriting. Lecture Notes in Computer Science, Vol. 1073, Springer-Verlag, pp. 38-55.
-
(1996)
Lecture Notes in Computer Science
, vol.1073
, pp. 38-55
-
-
Blonstein, D.1
Fahmy, H.2
Grbavec, A.3
-
6
-
-
84908868862
-
-
Honeywell Technology Center. Honeywell, version 5.2.1
-
DOME guide. http://www.htc.honeywell.com/dome/, Honeywell Technology Center. Honeywell, 1999, version 5.2.1
-
(1999)
-
-
DOME guide1
-
7
-
-
0012260758
-
Efficient graph rewriting and its implementation
-
Springer
-
Dorr, H. 1995. Efficient Graph Rewriting and its implementation. Lecture Notes in Computer Science, 922. Springer.
-
(1995)
Lecture Notes in Computer Science
, vol.922
-
-
Dorr, H.1
-
8
-
-
84947940930
-
Meta-CASE in practice: A case for KOGGE
-
A. Olive, J. A. Pastor:, Barcelona. LNCS 1250, Springer
-
Ebert, J., Sttenbach, R., Uhe, I. 1997 Meta-CASE in Practice: a Case for KOGGE In A. Olive, J. A. Pastor: Advanced Information Systems Engineering, Proceedings of CAiSE'97, Barcelona. LNCS 1250. pp. :203-216, Springer.
-
(1997)
Advanced Information Systems Engineering, Proceedings of CAiSE'97
, pp. 203-216
-
-
Ebert, J.1
Sttenbach, R.2
Uhe, I.3
-
9
-
-
84908895441
-
-
See KOGGE home page at: http://www.uni-koblenz.de/ist/kogge.en.html
-
-
-
KOGGE1
-
10
-
-
8644286558
-
-
LNCS, Springer
-
Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) 1991. Graph Grammars and their application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings. LNCS, 532. Springer.
-
(1991)
Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings
, pp. 532
-
-
Ehrig, H.1
Kreowski, H.-J.2
Rozenberg, G.3
-
12
-
-
0029456408
-
Interconnecting formalisms: Supporting modularity, reuse and incrementality
-
G. E. Kaiser ed, ACM Press
-
Fiadeiro, J. L., Maibaum, T. 1995. Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality Proc.3rd Symposium on the Fundations of Software Engineering, G. E. Kaiser (ed), pp.: 72-80, ACM Press.
-
(1995)
Proc.3rd Symposium on the Fundations of Software Engineering
, pp. 72-80
-
-
Fiadeiro, J.L.1
Maibaum, T.2
-
13
-
-
0012639606
-
ViewPoint oriented software development
-
Tolouse, December
-
Finkelstein, A., Kramer, J., Goedickie, M. ViewPoint Oriented Software Development Proc, of the Third Int. Workshop on Software Engineering and its Applications, Tolouse, December 1990.
-
(1990)
Proc, of the Third Int. Workshop on Software Engineering and its Applications
-
-
Finkelstein, A.1
Kramer, J.2
Goedickie, M.3
-
14
-
-
84908895439
-
-
Home page
-
GRACE Home page: http://www.informatik.unibremen. de/theorie/GRACEland/GRACEland.html
-
-
-
GRACE1
-
15
-
-
0024016415
-
On visual formalisms
-
May
-
Harel, D. On visual formalisms. Communications of the ACM, 31(5):514-530, May 1988.
-
(1988)
Communications of the ACM
, vol.31
, Issue.5
, pp. 514-530
-
-
Harel, D.1
-
16
-
-
84942873275
-
MetaEdit+: A fully configurable multi-user and multi-tool CASE and CAME environment
-
Constantopoulos, P., Mylopoulos, J., Vassiliou, Y:, Berlin: Springer
-
Kelly, S., Lyytinen, K., Rossi, M. MetaEdit+: A fully configurable Multi-User and Multi-Tool CASE and CAME Environment In Constantopoulos, P., Mylopoulos, J., Vassiliou, Y: Advanced Information System Engineering; LNCS 1080. Berlin: Springer 1996. See MetaEdit+ Home page at: http://www. MetaCase.com
-
(1996)
Advanced Information System Engineering; LNCS 1080
-
-
Kelly, S.1
Lyytinen, K.2
Rossi, M.3
-
17
-
-
0030653857
-
Process support in Meta-CASE: Implementing the conceptual basis for enactable process models in MetaEdit+
-
Koskinen, M.; Marttiin, P. 1997. Process support in Meta-CASE: implementing the conceptual basis for enactable process models in MetaEdit+. Eighth Conference on Software Engineering Environments, pp.: 110-122.
-
(1997)
Eighth Conference on Software Engineering Environments
, pp. 110-122
-
-
Koskinen, M.1
Marttiin, P.2
-
18
-
-
84908895438
-
-
Meta-Modelling Facility, from the precise UML group: http://www.cs.york.ac.uk/puml/mmf/index.html
-
-
-
-
20
-
-
84937201092
-
A pluralistic knowledge based approach to software specification
-
Springer Verlag 1989
-
Niskier, C., Maibaum, T., Schwabe, D. 1989 A pluralistic Knowledge Based Approach to Software Specification 2nd European Software Engineering Conference, LNCS 387, Springer Verlag 1989, pp. :411-423
-
(1989)
2nd European Software Engineering Conference, LNCS 387
, pp. 411-423
-
-
Niskier, C.1
Maibaum, T.2
Schwabe, D.3
-
21
-
-
84908879815
-
-
Home Page
-
OMG Home Page: http://www.omg.org
-
-
-
OMG1
-
23
-
-
84908879814
-
-
home page
-
PROGRES home page: http://www-i3.informatik.rwthaachen.de/research/projects/progres/main.html
-
-
-
PROGRES1
-
24
-
-
84908895437
-
-
Python home page: http://www.python.org
-
-
-
Python home1
-
25
-
-
0029510022
-
MULTIGRAPH: An architecture for model-integrated computing
-
Ft. Lauderdale, Florida, Nov. 1995
-
Sztipanovits, J., et al. 1995. "MULTIGRAPH: An architecture for model-integrated computing". In ICECCS'95, pp. 361-368, Ft. Lauderdale, Florida, Nov. 1995.
-
(1995)
ICECCS'95
, pp. 361-368
-
-
Sztipanovits, J.1
-
26
-
-
0012259180
-
DEVS as a common denominator for multi-formalism hybrid systems modelling
-
Andras Varga, editor, IEEE Computer Society Press. Sept. 2000. Anchorage, Alaska
-
Vangheluwe, H. 2000. DEVS as a common denominator for multi-formalism hybrid systems modelling. In Andras Varga, editor, IEEE International Symposium on Computer-Aided Control System Design, pp. :129-134. IEEE Computer Society Press. Sept. 2000. Anchorage, Alaska.
-
(2000)
IEEE International Symposium on Computer-aided Control System Design
, pp. 129-134
-
-
Vangheluwe, H.1
-
27
-
-
0027680647
-
Conjunction as composition
-
1993
-
Zave, P., Jackson, M. 1993. Conjunction as Composition ACM Transactions on Software Engineering and Methodology 2(4), 1993, 371-411.
-
(1993)
ACM Transactions on Software Engineering and Methodology
, vol.2
, Issue.4
, pp. 371-411
-
-
Zave, P.1
Jackson, M.2
|