ralf_nagel's Steffen:B [11 articles] Export

Recent papers posted to ralf_nagel's library by the author Steffen:B. You can also see everyone's Steffen:B.

	SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction [My Copy] In ISoLA, Vol. 17 (2008), pp. 139-154. by Georg Jung, Tiziana Margaria, Ralf Nagel, Wolfgang Schubert, Bernhard Steffen, Horst Voigt edited by Tiziana Margaria, Bernhard Steffen posted to sca jabc isola by ralf_nagel on 2009-11-04 13:38:22 as
	The jABC Approach to Rigorous Collaborative Development of SCM Applications [My Copy] In ISoLA, Vol. 17 (2008), pp. 724-737. by Martina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh edited by Tiziana Margaria, Bernhard Steffen posted to scm jabc isola ikea by ralf_nagel on 2009-11-04 13:38:17 as
	Model-Driven Development with the jABC [My Copy] In Haifa Verification Conference, Vol. 4383 (2006), pp. 92-108. by Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak edited by Eyal Bin, Avi Ziv, Shmuel Ur posted to mdd jabc hvc by ralf_nagel on 2009-11-04 13:36:04 as
	Remote Integration and Coordination of Verification Tools in JETI [My Copy] In ECBS (2005), pp. 431-436. by Tiziana Margaria, Ralf Nagel, Bernhard Steffen posted to jeti jabc by ralf_nagel on 2009-11-04 13:35:07 as
	Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI [My Copy] Bioinformatics Research and Applications (2008), pp. 445-456. by Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen posted to jabc bioinformatic bio-jeti by ralf_nagel on 2009-11-04 13:16:50 as along with 3 people natstreet druvus dullhunk
	Bio-jETI: a framework for semantics-based service composition. [My Copy] BMC bioinformatics, Vol. 10 Suppl 10, No. Suppl 10. (2009), S8. by Anna-Lena L. Lamprecht, Tiziana Margaria, Bernhard Steffen posted to jabc bioinformatic bio-jeti by ralf_nagel on 2009-11-04 13:15:38 as along with 2 people yas druvus
	jETI: A Tool for Remote Tool Integration [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2005), pp. 557-562. by Tiziana Margaria, Ralf Nagel, Bernhard Steffen posted to jeti jabc by ralf_nagel on 2009-11-04 13:14:42 as along with 2 people pekechis Scis0000002
	GeneFisher-P: variations of GeneFisher as processes in Bio-jETI. [My Copy] BMC bioinformatics, Vol. 9 Suppl 4 (2008) by A. L. Lamprecht, T. Margaria, B. Steffen, A. Sczyrba, S. Hartmeier, R. Giegerich posted to jabc bioinformatic bio-ejti by ralf_nagel on 2009-11-04 13:13:18 as along with 2 people guhjy dullhunk
	Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. [My Copy] BMC bioinformatics, Vol. 9 Suppl 4 (2008) by T. Margaria, C. Kubczak, B. Steffen posted to jeti jabc bioinformatic bio-jeti by ralf_nagel on 2009-11-04 13:11:22 as along with 6 people and 1 group gilesvelarde Jodiey lptolik natstreet druvus guhjy RepublicJoew
	Genesys: service-oriented construction of property conform code generators [My Copy] Innovations in Systems and Software Engineering by Sven Jörges, Tiziana Margaria, Bernhard Steffen posted to genesys generation code by ralf_nagel on 2009-11-04 13:10:39 as
	Data-Flow Analysis as Model Checking Within the jABC [My Copy] Lecture Notes in Computer Science, Vol. 3923 (January 2006), pp. 101-104. by Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen posted to model jabc gear checking by ralf_nagel on 2009-11-04 13:09:14 as along with 1 person pintman

Note: You may cite this page as: http://www.citeulike.org/user/ralf_nagel/author/Steffen:B

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

jabc	24
bioinformatic	4
bio-jeti	3
jeti	3
isola	2
generation	1
dms	1
gear	1
hvc	1
sca	1
scm	1
bio-ejti	1
code	1
mdd	1
ikea	1
checking	1
model	1
genesys	1

ralf_nagel's Steffen:B [11 articles] Export

ralf_nagel's tags