Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Altenhofen, Michael"'
Publikováno v:
JUCS-Journal of Universal Computer Science 14(12): 2034-2058
We give a survey on work we did in the past where we have successfully applied the ASM methodology to provide abstract models for a number of problem areas that are commonly found in Service Oriented Architectures (SOA). In particular, we summarize o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b21702a1b463bd33bd2f5651a04ece20
Autor:
Altenhofen, Michael, Farahbod, Roozbeh
Publikováno v:
Abstract State Machines, Alloy, B & Z; 2010, p47-60, 14p
Autor:
Altenhofen, Michael, Brucker, Achim D.
Publikováno v:
Formal Methods for Industrial Critical Systems (9783642158971); 2010, p17-32, 16p
Autor:
Altenhofen, Michael, Börger, Egon
Publikováno v:
Recent Trends in Algebraic Development Techniques (9783642034282); 2009, p1-17, 17p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Rangan, C. Pandu, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Kühne, Thomas, Altenhofen, Michael, Hettel, Thomas, Kusterer, Stefan
Publikováno v:
Models in Software Engineering; 2007, p169-178, 10p
Publikováno v:
Proceedings of the 2006 International Conference: Models In Software Engineering; 10/1/2006, p169-178, 10p
Publikováno v:
Business Process Management Workshops; 2006, p116-129, 14p
Publikováno v:
Formal Methods & Software Engineering; 2005, p81-95, 15p
Publikováno v:
Proceedings of the IADIS International Conference on WWW/Internet; Nov2003, p719-727, 9p