-
1
-
-
79955150203
-
-
Submission to available from
-
2U Submitters. Submission to UML 2.0 Infrastructure RFP, available from www.2uworks.org.
-
UML 2.0 Infrastructure RFP
-
-
-
3
-
-
79955131512
-
A manual for a ModelChecker for stochastic automata
-
University of Kent, December
-
Akehurst D., Bowman H., Bryans J. and Derrick J. A Manual for a ModelChecker for Stochastic Automata. Technical Report 9-00, Computing Laboratory, University of Kent, December 2000.
-
(2000)
Technical Report 9-00, Computing Laboratory
-
-
Akehurst, D.1
Bowman, H.2
Bryans, J.3
Derrick, J.4
-
4
-
-
79955147841
-
An action semantics for MML
-
C. Kobryn and M. Gogolla, editors LNCS. Springer
-
Alvarez J.M., Clark A., Evans A. and Sammut P. An action semantics for MML. In C. Kobryn and M. Gogolla, editors, Proceedings of The Fourth International Conference on the Unified Modeling Language (UML'2001), LNCS. Springer, 2000.
-
(2000)
Proceedings of the Fourth International Conference on the Unified Modeling Language (UML'2001)
-
-
Alvarez, J.M.1
Clark, A.2
Evans, A.3
Sammut, P.4
-
6
-
-
79955146292
-
Package extension
-
Submitted to March
-
Clark A., Evans A. and Kent S. Package Extension. Submitted to UML'02, March 2002.
-
(2002)
UML'02
-
-
Clark, A.1
Evans, A.2
Kent, S.3
-
7
-
-
0004923176
-
-
Available from September
-
Clark A., Evans A., Kent S., Brodsky S., and Cook S. A feasibility study in rearchitecting UML as a family of languages using a precise OO meta-modeling approach. Available from www.puml.org, September 2000.
-
(2000)
A Feasibility Study in Rearchitecting UML as a Family of Languages Using a Precise OO Meta-modeling Approach
-
-
Clark, A.1
Evans, A.2
Kent, S.3
Brodsky, S.4
Cook, S.5
-
9
-
-
0004063990
-
Handbook of graph grammars and computing by graph transformation
-
World Scientific, October
-
Ehrig H., Engels G., Kreowski H-J., and Rozenberg G., editors. Handbook Of Graph Grammars And Computing By Graph Transformation. Volume 2: Applications, Languages and Tools. World Scientific, October 1999.
-
(1999)
Volume 2: Applications, Languages and Tools
-
-
Ehrig, H.1
Engels, G.2
Kreowski, H.-J.3
Rozenberg, G.4
-
10
-
-
1542355510
-
Story diagrams: A new graph transformation language based on UML and java in 6th int
-
TAGT'98 Selected Papers (Ehrig, Engels, Kreowski, Rozenberg Eds.) Springer LNCS 1764
-
Fischer T., Niere J., Torunski L. and Zündorf A. Story Diagrams: A new Graph Transformation Language based on UML and Java in 6th Int. Workshop on Theory and Applications of Graph Transformation, TAGT'98 Selected Papers (Ehrig, Engels, Kreowski, Rozenberg Eds.) Springer LNCS 1764 (2000).
-
(2000)
Workshop on Theory and Applications of Graph Transformation
-
-
Fischer, T.1
Niere, J.2
Torunski, L.3
Zündorf, A.4
-
11
-
-
0042590629
-
-
Object Management Group OMG document number formal/2001-11-02
-
Object Management Group. The Meta Object Facility (MOF) Version 1.3.1. OMG document number formal/2001-11-02.
-
The Meta Object Facility (MOF) Version 1.3.1
-
-
-
12
-
-
0013423738
-
-
Object Management Group OMG document number formal/01-09-67
-
Object Management Group. The Unified Modeling Language Version 1.4. OMG document number formal/01-09-67.
-
The Unified Modeling Language Version 1.4
-
-
-
13
-
-
0003586779
-
-
OMG document number ormsc/2001-07-01, available from July
-
OMG Architecture Board ORMSC. Model driven architecture (MDA). OMG document number ormsc/2001-07-01, available from www.omg.org, July 2001.
-
(2001)
Model Driven Architecture (MDA)
-
-
-
14
-
-
0041588589
-
A proposal of a dynamic core for UML metamodelling with MML
-
Universit Di Genova, Italy
-
Reggio G. and Astesiano E. A proposal of a dynamic core for UML metamodelling with MML. Technical Report DISI-TR-01-17, DISI, Universit di Genova, Italy, 2001.
-
(2001)
Technical Report DISI-TR-01-17, DISI
-
-
Reggio, G.1
Astesiano, E.2
-
15
-
-
84957023982
-
Validating UML models and OCL constraints
-
A. Evans, S. Kent and B. Selic, editors York, UK, October 2-6 Proceedings, LNCS. Springer, 2000
-
Richters M. and Gogolla M. Validating UML models and OCL constraints. In A. Evans, S. Kent and B. Selic, editors, The Third International Conference on the Unified Modeling Language (UML'2000), York, UK, October 2-6. 2000, Proceedings, LNCS. Springer, 2000.
-
(2000)
The Third International Conference on the Unified Modeling Language (UML'2000)
-
-
Richters, M.1
Gogolla, M.2
-
16
-
-
84947918251
-
Specification of graph translators with triple graph grammars
-
Tinhofer G. (ed.) Herrsching, Germany, LNCS 903, Springer Verlag June
-
Schürr A. Specification of Graph Translators with Triple Graph Grammars, in Tinhofer G. (ed.) Proc. WG'94 20th Int. Workshop on Graph-Theoretic Concepts in Computer Science, Herrsching, Germany, LNCS 903, Springer Verlag, 151-163, June 1994.
-
(1994)
Proc. WG'94 20th Int. Workshop on Graph-theoretic Concepts in Computer Science
, pp. 151-163
-
-
Schürr, A.1
|