-
1
-
-
0037125845
-
CASL – the common algebraic specification language
-
+02]
-
+02] Astesiano, E., Bidoit, M., Krieg-Brückner, B., Kirchner, H., Mosses, P. D., Sannella, D., und Tarlecki, A.: CASL – the common algebraic specification language. Theoretical Computer Science. 286:153–196. 2002. www.cofi.info.
-
(2002)
Theoretical Computer Science
, vol.286
, pp. 153-196
-
-
Astesiano, E.1
Bidoit, M.2
Krieg-Brückner, B.3
Kirchner, H.4
Mosses, P. D.5
Sannella, D.6
Tarlecki, A.7
-
2
-
-
84944074785
-
The development graph manager MAYA (system description)
-
und, [AHMS02] Kirchner, H. und Reingeissen, C. (Hrsg), S. Springer
-
[AHMS02] Autexier, S., Hutter, D., Mossakowski, T., und Schairer, A.: The development graph manager MAYA (system description). In: Kirchner, H. und Reingeissen, C. (Hrsg.), Algebraic Methodology and Software Technology, 2002. volume 2422 of Lecture Notes in Computer Science. S. 495–502. Springer. 2002.
-
(2002)
Algebraic Methodology and Software Technology, 2002. volume 2422 of Lecture Notes in Computer Science
, pp. 495-502
-
-
Autexier, S.1
Hutter, D.2
Mossakowski, T.3
Schairer, A.4
-
4
-
-
10044257236
-
-
+04] February
-
+04] Bechhofer, S., van Hermelen, F., Hendler, J., Horrocks, I., McGuinness, D. L., Patel-Schneider, P. F., und Stein, L. A. W3C: OWL Web Ontology Language – Reference. http://www.w3.org/TR/owl-ref/. February 2004.
-
(2004)
W3C: OWL Web Ontology Language – Reference
-
-
Bechhofer, S.1
van Hermelen, F.2
Hendler, J.3
Horrocks, I.4
McGuinness, D. L.5
Patel-Schneider, P. F.6
Stein, L. A.7
-
6
-
-
85135246397
-
-
[daV]
-
[daV] http://www.informatik.uni-bremen.de/~davinci/.
-
-
-
-
8
-
-
18544412181
-
Multimedia instruction in safe and secure systems
-
+03] S. Springer
-
+03] Krieg-Brückner, B., Hutter, D., Lindow, A., Lüth, C., Mahnke, A., Melis, E., Meier, P., Poetzsch-Heffter, A., Roggenbach, M., Russell, G., Smaus, J.-G., und Wirsing, M.: Multimedia instruction in safe and secure systems. In: Recent Trends in Algebraic Development Techniques. volume 2755 of Lecture Notes in Computer Science. S. 82–117. Springer. 2003.
-
(2003)
Recent Trends in Algebraic Development Techniques. volume 2755 of Lecture Notes in Computer Science
, pp. 82-117
-
-
Krieg-Brückner, B.1
Hutter, D.2
Lindow, A.3
Lüth, C.4
Mahnke, A.5
Melis, E.6
Meier, P.7
Poetzsch-Heffter, A.8
Roggenbach, M.9
Russell, G.10
Smaus, J.-G.11
Wirsing, M.12
-
10
-
-
85135230732
-
-
[MMi]
-
[MMi] http://www.mmiss.de.
-
-
-
-
12
-
-
0030166318
-
Ontologies: Principles, methods and applications
-
und, [UG96]
-
[UG96] Uschold, M. und Grüninger, M.: Ontologies: Principles, methods and applications. Knowledge Engineering Review. 11(2):93–155. 1996.
-
(1996)
Knowledge Engineering Review
, vol.11
, Issue.2
, pp. 93-155
-
-
Uschold, M.1
Grüninger, M.2
|