-
3
-
-
78649860226
-
-
website
-
BPEL specifications website, http://www.ibm.com/developerworks/library/ specification/ws-bpel/
-
BPEL Specifications
-
-
-
4
-
-
0003962322
-
-
MIT Press, Cambridge
-
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001)
-
(2001)
Model Checking
-
-
Clarke, E.M.1
Grumberg, O.2
Peled, D.A.3
-
5
-
-
78649862161
-
GME: Generic Modeling Environment, Demonstration session
-
Anaheim, CA, ACM, New York
-
Davis, J.: GME: Generic Modeling Environment, Demonstration session. In: OOP-SLA, Anaheim, CA, pp. 82-83. ACM, New York (2003)
-
(2003)
OOP-SLA
, pp. 82-83
-
-
Davis, J.1
-
7
-
-
78649830796
-
-
homepage
-
Fujaba homepage, http://wwwcs.uni-paderborn.de/cs/fujaba/index.html
-
Fujaba
-
-
-
8
-
-
0142153675
-
Test-Based Model Generation for Legacy Systems
-
Hungar, H., Margaria, T., Steffen, B.: Test-Based Model Generation for Legacy Systems. In: IEEE International Test Conference (ITC), Charlotte, NC, September 30 - October 2 (2003)
-
IEEE International Test Conference (ITC), Charlotte, NC, September 30 - October 2 (2003)
-
-
Hungar, H.1
Margaria, T.2
Steffen, B.3
-
9
-
-
78649881807
-
-
Website
-
jABC Website, http://www.jabc.de
-
jABC
-
-
-
10
-
-
38049113286
-
Model-Driven Development with the jABC
-
Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. Springer, Heidelberg
-
Jörges, S., Kubczak, C., Nagel, R., Margaria, T., Steffen, B.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4383
-
-
Jörges, S.1
Kubczak, C.2
Nagel, R.3
Margaria, T.4
Steffen, B.5
-
11
-
-
33646906118
-
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service
-
Post Workshop Proc. appear in ENTCS
-
Karusseit, M., Margaria, T.: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. In: WWV 2005. 1st Int'l Workshop on Automated Specification and Verification of Web Sites, Valencia, Spain, March 14-15 (2005); Post Workshop Proc. appear in ENTCS
-
WWV 2005. 1st Int'l Workshop on Automated Specification and Verification of Web Sites, Valencia, Spain, March 14-15 (2005)
-
-
Karusseit, M.1
Margaria, T.2
-
12
-
-
49049126479
-
Results on the Propositional mu-Calculus
-
Kozen, D.: Results on the Propositional mu-Calculus. Theoretical Computer Science 27, 333-354 (1983)
-
(1983)
Theoretical Computer Science
, vol.27
, pp. 333-354
-
-
Kozen, D.1
-
14
-
-
36749099559
-
Service Is in the Eyes of the Beholder
-
Margaria, T.: Service Is in the Eyes of the Beholder. IEEE Computer 40(11), 33-37 (2007)
-
(2007)
IEEE Computer
, vol.40
, Issue.11
, pp. 33-37
-
-
Margaria, T.1
-
15
-
-
44149098904
-
The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level
-
IEEE CS Press, Los Alamitos
-
Margaria, T.: The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level. In: ICECCS 2008, 13th IEEE Intern. Conf. on Engineering of Complex Computer Systems, Belfast, UK, April 2008, pp. 183-189. IEEE CS Press, Los Alamitos (2008)
-
(2008)
ICECCS 2008, 13th IEEE Intern. Conf. on Engineering of Complex Computer Systems, Belfast, UK, April 2008
, pp. 183-189
-
-
Margaria, T.1
-
16
-
-
28344439035
-
Remote Integration and Coordination of Verification Tools in jETI
-
IEEE Computer Soc. Press, Los Alamitos
-
Margaria, T., Nagel, R., Steffen, B.: Remote Integration and Coordination of Verification Tools in jETI. In: Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer Based Systems, Greenbelt, USA, April 2005, pp. 431-436. IEEE Computer Soc. Press, Los Alamitos (2005)
-
(2005)
Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer Based Systems, Greenbelt, USA, April 2005
, pp. 431-436
-
-
Margaria, T.1
Nagel, R.2
Steffen, B.3
-
17
-
-
19644377513
-
Lightweight coarse-grained coordination: A scalable system-level approach
-
Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. STTT 5(2-3), 107-123 (2004)
-
(2004)
STTT
, vol.5
, Issue.2-3
, pp. 107-123
-
-
Margaria, T.1
Steffen, B.2
-
18
-
-
78649865404
-
From the How to the What
-
Proc. VSTTE 2005, Verified Software - Theories, Tools, and Experiments, IFIP Working Conference, Zurich. Springer, Heidelberg
-
Margaria, T., Steffen, B.: From the How to the What. In: Proc. VSTTE 2005, Verified Software - Theories, Tools, and Experiments, IFIP Working Conference, Zurich. LNCS, vol. 4171. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.4171
-
-
Margaria, T.1
Steffen, B.2
-
19
-
-
33750124865
-
Service Engineering: Linking Business and IT
-
IEEE Press, Los Alamitos
-
Margaria, T., Steffen, B.: Service Engineering: Linking Business and IT. In: IEEE Computer, issue 60th anniv. of the Computer Society, pp. 53-63. IEEE Press, Los Alamitos (2006)
-
(2006)
IEEE Computer, issue 60th anniv. of the Computer Society
, pp. 53-63
-
-
Margaria, T.1
Steffen, B.2
-
20
-
-
33744965257
-
Service-Oriented Design: The Roots
-
Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. Springer, Heidelberg
-
Margaria, T., Steffen, B., Reitenspieß, M.: Service-Oriented Design: The Roots. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 450-464. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3826
, pp. 450-464
-
-
Margaria, T.1
Steffen, B.2
Reitenspieß, M.3
-
21
-
-
84957706882
-
Model-Checking: A Tutorial Introduction
-
Cortesi, A., Filé, G. (eds.) SAS 1999. Springer, Heidelberg
-
Müller-Olm, M., Schmidt, D.A., Steffen, B.: Model-Checking: A Tutorial Introduction. In: Cortesi, A., Filé, G. (eds.) SAS 1999. LNCS, vol. 1694, pp. 330-354. Springer, Heidelberg (1999)
-
(1999)
LNCS
, vol.1694
, pp. 330-354
-
-
Müller-Olm, M.1
Schmidt, D.A.2
Steffen, B.3
-
22
-
-
83255193845
-
-
Springer, Heidelberg to appear, November
-
Petrie, C., Lausen, H., Zaremba, M., Margaria, T. (eds.): Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond). Springer, Heidelberg (to appear, November 2008)
-
(2008)
Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond)
-
-
Petrie, C.1
Lausen, H.2
Zaremba, M.3
Margaria, T.4
-
26
-
-
36749096905
-
Full Life-Cycle Support for End-to-End Processes
-
Steffen, B., Narayan, P.: Full Life-Cycle Support for End-to-End Processes. IEEE Computer 40(11), 64-73 (2007)
-
(2007)
IEEE Computer
, vol.40
, Issue.11
, pp. 64-73
-
-
Steffen, B.1
Narayan, P.2
|