-
2
-
-
84877634833
-
-
Google: Web Tool Kit. (2009) http://code.google.com/webtoolkit/.
-
(2009)
Web Tool Kit
-
-
-
3
-
-
84884589094
-
A pragmatic approach to software synthesis
-
(August 1994)
-
Freitag, B., Margaria, T., Stefen, B.: A pragmatic approach to software synthesis.In: Proc. of Workshop on Interface Defnition Languages, ACM SIGPLAN Notices Volume 29, Issue 8 (August 1994). (1994) 46-58.
-
(1994)
Proc. of Workshop on Interface Defnition Languages, ACM SIGPLAN Notices
, vol.29
, Issue.8
, pp. 46-58
-
-
Freitag, B.1
Margaria, T.2
Stefen, B.3
-
5
-
-
57049105432
-
Automatic generation of the sws-challenge mediator with jABC/ABC
-
Results from the First Year, Springer Verlag
-
Margaria, T., Bakera, M., Kubczak, C., Naujokat, S., Stefen, B.: Automatic generation of the sws-challenge mediator with jABC/ABC. In: Semantic Web Services Challenge - Results from the First Year, Springer Verlag (2008) 119-138.
-
(2008)
Semantic Web Services Challenge
, pp. 119-138
-
-
Margaria, T.1
Bakera, M.2
Kubczak, C.3
Naujokat, S.4
Stefen, B.5
-
7
-
-
33746092878
-
Planning with temporally extended goals using heuristic search
-
Cumbria, UK, AAAI , ISBN 978-1- 57735-270-9
-
Baier, J., McIlraith, S.: Planning with temporally extended goals using heuristic search. In: Proc. ICAPS'06 Cumbria, UK, pp. 342-345, AAAI 2006, ISBN 978-1- 57735-270-9.
-
(2006)
Proc. ICAPS'06
, pp. 342-345
-
-
Baier, J.1
McIlraith, S.2
-
8
-
-
0011491265
-
Adapting golog for composition of semantic web services
-
Proceedings, Toulouse, France (April 22-25 2002)
-
McIlraith, S., Son, T.: Adapting golog for composition of semantic web services. In: Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002), Toulouse, France (April 22-25 2002) 482-493.
-
Of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002)
, pp. 482-493
-
-
McIlraith, S.1
Son, T.2
-
9
-
-
84884652196
-
An approach to discovery with miAamics and jABC
-
Springer Verlag
-
Kubczak, C., Margaria, T., Steffen, B., Winkler, C., Hungar, H.: An approach to discovery with miAamics and jABC. In: Semantic Web Services Challenge - Results from the First Year, Springer Verlag (2008) 199-234.
-
(2008)
Semantic Web Services Challenge - Results from the First Year
, pp. 199-234
-
-
Kubczak, C.1
Margaria, T.2
Steffen, B.3
Winkler, C.4
Hungar, H.5
-
10
-
-
84867960945
-
Abductive synthesis of the mediator scenario with jABC and GEM
-
(June 1-2 2008)
-
Kubczak, C., Margaria, T., Kaiser, M., Lemcke, J., Knuth, B.: Abductive synthesis of the mediator scenario with jABC and GEM. In: Proc. 6th Int. Workshop EONSWSC. Volume 359 of CEUR Workshop Proceedings. (June 1-2 2008) http://ceur-ws.org/Vol-359/Paper-5.pdf.
-
Proc. 6th Int. Workshop EONSWSC
-
-
Kubczak, C.1
Margaria, T.2
Kaiser, M.3
Lemcke, J.4
Knuth, B.5
-
14
-
-
84859973387
-
EXtreme model-driven design with jABC
-
Volume WP09-12 of CTIT. (June)
-
Kubczak, C., Jorges, S., Margaria, T., Steffen, B.: eXtreme model-driven design with jABC. In: Proc. of the Tools and Consultancy Track of ECMDA 2009. Volume WP09-12 of CTIT. (June 2009) 78-99.
-
(2009)
Proc. of the Tools and Consultancy Track of ECMDA 2009
, pp. 78-99
-
-
Kubczak, C.1
Jorges, S.2
Margaria, T.3
Steffen, B.4
-
16
-
-
70350348927
-
Continuous model-driven engineering
-
Margaria, T., Steffen, B.: Continuous model-driven engineering. IEEE Computer 42(10) (2009) 94-97.
-
(2009)
IEEE Computer
, vol.42
, Issue.10
, pp. 94-97
-
-
Margaria, T.1
Steffen, B.2
-
18
-
-
34548137996
-
Model-driven development with the jABC
-
Springer Verlag (October 2006)
-
Jorges, S., Kubczak, C., Nagel, R., Margaria, T., Steffen, B.: Model-driven development with the jABC. In: Proc. of HVC IBM Haifa Veri-cation Conference. LNCS 4383, pp. 92-108, Springer Verlag (October 2006).
-
Proc. of HVC IBM Haifa Veri-cation Conference. LNCS 4383
, pp. 92-108
-
-
Jorges, S.1
Kubczak, C.2
Nagel, R.3
Margaria, T.4
Steffen, B.5
-
20
-
-
57049177579
-
Genesys: Service-oriented construction of property conform code generators
-
Jörges, S., Margaria, T., Stffen, B.: Genesys: service-oriented construction of property conform code generators. ISSE 4(4) (2008) 361-384.
-
(2008)
ISSE
, vol.4
, Issue.4
, pp. 361-384
-
-
Jörges, S.1
Margaria, T.2
Stffen, B.3
-
22
-
-
84877610348
-
-
Web Services: SOAP. (2008) http://www.w3.org/TR/soap/.
-
(2008)
Web Services: SOAP
-
-
-
24
-
-
84877616929
-
-
SAP: ERP. (2009) http://www.sap.com/ERP.
-
(2009)
ERP
-
-
-
25
-
-
84877595013
-
-
R-Project: Statistical Language. (2009) http://www.r-project.org.
-
(2009)
Statistical Language
-
-
-
26
-
-
70350079387
-
Service-oriented mediation with jabc/jeti
-
Springer Verlag
-
Kubczak, C., Margaria, T., Steffen, B., Nagel, R.: Service-oriented mediation with jabc/jeti. In: Semantic Web Services Challenge - Results from the First Year, Springer Verlag (2008) 71-99.
-
(2008)
Semantic Web Services Challenge - Results from the First Year
, pp. 71-99
-
-
Kubczak, C.1
Margaria, T.2
Steffen, B.3
Nagel, R.4
-
27
-
-
84896693547
-
The electronic tool integration platform: Concepts and design., Int
-
Steffen, B., Margaria, T., Braun, V.: The electronic tool integration platform: Concepts and design. Int. Journal on Software Tools for Technology Transfer (STTT) 2(1) (1997) 9-30.
-
(1997)
Journal on Software Tools for Technology Transfer (STTT)
, vol.2
, Issue.1
, pp. 9-30
-
-
Steffen, B.1
Margaria, T.2
Braun, V.3
-
28
-
-
36749096905
-
Full lifecycle support for end-to-end processes
-
November
-
Steffen, B., Narayan, P.: Full lifecycle support for end-to-end processes. IEEE Computer 11(40) (November 2007) 64-73.
-
(2007)
IEEE Computer
, vol.11
, Issue.40
, pp. 64-73
-
-
Steffen, B.1
Narayan, P.2
-
30
-
-
84877614565
-
-
Ruby: Rails Framework. (2009) http://rubyonrails.org/.
-
(2009)
Rails Framework
-
-
-
31
-
-
79952586940
-
-
Ruby: Programming Language. (2009) http://www.ruby-lang.org.
-
(2009)
Programming Language
-
-
-
32
-
-
84877605615
-
-
Ruby: Don't Repeat yourself. (2008) http://wiki.rubyonrails.org/rails/ pages/DRY.
-
(2008)
Don't Repeat Yourself
-
-
-
33
-
-
84877609620
-
-
Convention over Confguration pattern
-
Chen, N.: Convention over Confguration pattern. (2006) http://softwareengineering.vazexqi.com/files/pattern.html.
-
(2006)
-
-
Chen, N.1
-
36
-
-
78449255365
-
Mashroom: End-user mashup programming using nested tables
-
Wang, G., Yang, S., Han, Y.: Mashroom: end-user mashup programming using nested tables. In: WWW. (2009) 861-870.
-
(2009)
WWW
, pp. 861-87
-
-
Wang, G.1
Yang, S.2
Han, Y.3
-
37
-
-
77956451521
-
Biological lc/ms preprocessing and analysis with jABC, jETI and xcms
-
IEEE Computer Society (November)
-
Kubczak, C., Margaria, T., Fritsch, A., Steffen, B.: Biological lc/ms preprocessing and analysis with jABC, jETI and xcms. In: Proc. ISoLA 2006, 2nd Int. Symp. on Leveraging Applications of Formal Methods, IEEE Computer Society (November 2006) 308-313.
-
(2006)
Proc. ISoLA 2006,2nd Int. Symp. on Leveraging Applications of Formal Methods
, pp. 308-313
-
-
Kubczak, C.1
Margaria, T.2
Fritsch, A.3
Steffen, B.4
-
38
-
-
44649163308
-
-
Bioinformatics Supplement on Network Tools and Applications in Biology
-
Margaria, T., Kubczak, C., Steffen, B.: Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BioMed Central (BMC) Bioinformatics Supplement on Network Tools and Applications in Biology 9(4) (2007) http://www.biomedcentral.com/1471-2105/9?issue=S4.
-
(2007)
Bio-jETI: A Service Integration, Design, and Provisioning Platform for Orchestrated Bioinformatics Processes
, vol.9
, Issue.4
-
-
Margaria, T.1
Kubczak, C.2
Steffen, B.3
-
39
-
-
84877611643
-
-
Google: Android. (2009) http://www.android.com.
-
(2009)
Google
-
-
-
40
-
-
84877611827
-
-
Apple: iPhone. (2009) http://www.apple.com/iphone.
-
(2009)
IPhone
-
-
-
42
-
-
84877596514
-
Synthesizing semantic web service compositions with jMosel and Golog
-
(October)
-
Margaria, T., Meyer, D., Kubczak, C., Isberner, M., Steffen, B.: Synthesizing semantic web service compositions with jMosel and Golog. In: Proc. ISWC 2009. (October 2009).
-
(2009)
Proc. ISWC 2009
-
-
Margaria, T.1
Meyer, D.2
Kubczak, C.3
Isberner, M.4
Steffen, B.5
-
43
-
-
0003347885
-
Logic, arithmetic and automata
-
Almqvist and Wiksells
-
Church, A.: Logic, arithmetic and automata. In: Proc. Int. Congr. Math., Uppsala 1963, pp. 23-35, Almqvist and Wiksells (1963).
-
(1963)
Proc. Int. Congr. Math., Uppsala 1963
, pp. 23-35
-
-
Church, A.1
-
44
-
-
33745804972
-
-
Proc. of Model Checking Software 13th International SPIN Workshop. LNCS
-
Topnik, C.,, Wilhelm, E., Margaria, T., Steffen, B.: jMosel: A stand-alone tool and jABC plugin for M2L(Str). In: Proc. of Model Checking Software 13th International SPIN Workshop. Volume 3925 of LNCS. (2006) 293-298.
-
(2006)
JMosel: A Stand-alone Tool and JABC Plugin for M2L(Str)
, vol.3925
, pp. 293-298
-
-
Topnik, C.1
Wilhelm, E.2
Margaria, T.3
Steffen, B.4
|