-
On the Move to Meaningful Internet Systems: OTM 2014 Workshops – Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent 2014, Amantea, Italy, October 27-31, 2014. Proceedings
2014 Springer International Publishing
-
On the Move to Meaningful Internet Systems: OTM 2014 Conferences – Confederated International Conferences: CoopIS, and ODBASE 2014, Amantea, Italy, October 27-31, 2014, Proceedings
Meersman, Robert ; Panetto, Hervé ; Dillon, Tharam ; Missikoff, Michele ; Liu, Lin ; Pastor, Oscar ; Cuzzocrea, Alfredo ; Sellis, Timos 2014 Springer Berlin Heidelberg
-
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Margaria, Tiziana ; Steffen, Bernhard 2014 Springer Berlin Heidelberg
-
Model-Driven Engineering Languages and Systems – 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings
Moreira, Ana ; Schätz, Bernhard ; Gray, Jeff ; Vallecillo, Antonio ; Clarke, Peter 2014 Springer Berlin Heidelberg
-
Concurrent Objects and Beyond – Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Agha, Gul ; Yonezawa, Akinori ; Igarashi, Atsushi ; Kobayashi, Naoki ; Masuhara, Hidehiko ; Matsuoka, Satoshi ; Shibayama, Etsuya ; Taura, Kenjiro 2014 Springer Berlin Heidelberg
-
Human-Centered Software Engineering – 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings
Sauer, Stefan ; Bogdan, Cristian ; Forbrig, Peter ; Bernhaupt, Regina ; Winckler, Marco 2014 Springer International Publishing
-
Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
-
Software Engineering and Formal Methods – SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Counsell, Steve ; Núñez, Manuel 2014 Springer International Publishing
-
Implementation and Application of Functional Languages – 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
2013 Springer Berlin Heidelberg
-
Model-Driven Engineering Languages and Systems – 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Modelling Foundations and Applications – 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Gorp, Pieter Van ; Ritter, Tom ; Rose, Louis M. 2013 Springer Berlin Heidelberg
-
Enterprise, Business-Process and Information Systems Modeling – 14th International Conference, BPMDS 2013, 18th International Conference, EMMSAD 2013, Held at CAiSE 2013, Valencia, Spain, June 17-18, 2013. Proceedings
Nurcan, Selmin ; Proper, Erik ; Soffer, Pnina ; Krogstie, John ; Schmidt, Rainer ; Halpin, Terry ; Bider, Ilia 2013 Springer Berlin Heidelberg
-
Requirements Engineering: Foundation for Software Quality – 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings
Dörr, Jörg ; Opdahl, Andreas L. 2013 Springer Berlin Heidelberg
-
On the Move to Meaningful Internet Systems: OTM 2012 – Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II
Meersman, Robert ; Panetto, Hervé ; Mishra, Alok ; Valencia-Garcia, Rafael ; da Silva, Lucas Filipe Martins ; Ciuciu, Ioana ; Ferri, Fernando ; Weichhart, Georg ; Moser, Thomas ; Bezzi, Michele ; Chan, Henry 2012 Springer Berlin Heidelberg
-
Software Language Engineering – 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Czarnecki, Krzysztof ; Hedin, Görel 2013 Springer Berlin Heidelberg
-
Unifying Theories of Programming – 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Wolff, Burkhart ; Gaudel, Marie-Claude ; Feliachi, Abderrahmane 2013 Springer Berlin Heidelberg
-
Implementation and Application of Functional Languages – 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
Gill, Andy ; Hage, Jurriaan 2012 Springer Berlin Heidelberg
-
Human-Centered Software Engineering – 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings
Winckler, Marco ; Forbrig, Peter ; Bernhaupt, Regina 2012 Springer Berlin Heidelberg
-
Model Driven Engineering Languages and Systems – 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
France, Robert B. ; Kazmeier, Jürgen ; Breu, Ruth ; Atkinson, Colin 2012 Springer Berlin Heidelberg
-
Programming Languages – 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Carvalho Junior, Francisco Heron de ; Barbosa, Luís Soares 2012 Springer Berlin Heidelberg