„(Keywords)Specification“

Suchergebnisse

1.000+ Treffer

• Agent Technology from a Formal Perspective
  Hinchey, Michael ; Rash, James ; Truszkowski, Walt ; Gordon-Spears, Diana F. ; Rouff, Christopher A. 2006 Springer London
• Transactions on Large-Scale Data- and Knowledge-Centered Systems LIV – Special Issue on Data Management - Principles, Technologies, and Applications
  Hameurlain, Abdelkader ; Tjoa, A Min ; Boucelma, Omar ; Toumani, Farouk 2023 Springer Berlin
• Personalized city tours – an extension of the OGC OpenLocation specification
  Jöst, Matthias Michael
• Personalized City Tours – An Extension of the OGC® OpenLocation Specification
  Jöst, Matthias Michael 2010 Suedwestdeutscher Verlag fuer Hochschulschriften
• Empirical Software Engineering and Verification – International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
  Meyer, Bertrand ; Nordio, Martin 2012 Springer Berlin Heidelberg
• Verified Software: Theories, Tools, Experiments – 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
  Joshi, Rajeev ; Müller, Peter ; Podelski, Andreas 2012 Springer Berlin Heidelberg
• Testing Software and Systems – 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
  Wolff, Burkhart ; Zaidi, Fatiha 2011 Springer Berlin Heidelberg
• Agent-Oriented Software Engineering X – 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
  Gleizes, Marie-Pierre ; Gomez-Sanz, Jorge J. 2011 Springer Berlin Heidelberg
• Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
  Beckert, Bernhard ; Marché, Claude 2011 Springer Berlin Heidelberg
• Runtime Verification – First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
  Barringer, Howard ; Rosu, Grigore ; Sokolsky, Oleg 2010 Springer Berlin Heidelberg
• Formal Methods for Components and Objects – 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
  Boer, Frank S. ˜deœ ; Bonsangue, Marcello M. ; Hallerstede, Stefan ; Leuschel, Michael 2010 Springer Berlin Heidelberg
• Autonomic and Trusted Computing – 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings
  Xie, Bing 2010 Springer Berlin Heidelberg
• Testing Software and Systems – 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
  Petrenko, Alexandre ; Simão, Adenilso ; Maldonado, José Carlos 2010 Springer Berlin Heidelberg
• Requirements Engineering
  Zowghi, Didar ; Jin, Zhi 2011 Springer London
• Formal Methods and Software Engineering – 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
  Dong, Jin Song ; Zhu, Huibiao 2007 Springer Berlin Heidelberg
• Hardware and Software: Verification and Testing – 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
  2011 Springer Berlin Heidelberg
• Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX – Special Issue on Database- and Expert-Systems Applications
  2018 Springer International Publishing
• Formal methods for components and objects – 8th international symposium ; revised selected papers
  Boer, Frank S. ˜deœ ; Bonsangue, Marcello M. ; Hallerstede, Stefan ; Leuschel, Michael 2010 Springer
• FM 2011: Formal Methods – 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
  Butler, Michael ; Schulte, Wolfram 2011 Springer Berlin Heidelberg
• Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX – Special Issue on Cloud Computing
  Hameurlain, Abdelkader ; Küng, Josef ; Wagner, Roland ; Schewe, Klaus-Dieter ; Bosa, Karoly 2016 Springer International Publishing