„program specification“

Suchergebnisse

422 Treffer

• LTL-Specification for Development and Verification of Control Programs
  Neyzov, M. V. ; Kuzmin, E. V.
• Requirements specification using templates: a model-driven approach
  Darif, Ikram ; El Boussaidi, Ghizlane ; Kpodjedo, Sègla
• Beschreibung und Verifikation räumlicher und zeitlicher Eigenschaften mobiler Systeme Specification and Verification of Spatio-Temporal Properties of Mobile Systems
  Schäfer, Andreas
• Computational Artifacts – Towards a Philosophy of Computer Science
  Turner, Raymond 2018 Springer Berlin
• Programming languages and systems – proceedings
  Seidl, Helmut 2012 Springer
• Specification Languages for Preserving Consistency between Models of Different Languages
  Kramer, Max Emanuel 2019 KIT Scientific Publishing
• Formalizing Data-Centric Web Services
  Saleh, Iman 2015 Springer International Publishing
• A multi-model approach for predicting electric vehicle specifications and energy consumption using machine learning
  Khan, Ajmal ; Iqbal, Naveed ; Kaleem, Zeeshan ; Qarnain, Zul ; Bait-Suwailam, Mohammed M.
• Object-Oriented Technology
  Alagić, Suad 2015 Springer International Publishing
• Verified Software: Theories, Tools and Experiments – 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
  Giannakopoulou, Dimitra ; Kroening, Daniel 2014 Springer International Publishing
• Econometric specification of constrained optimization models
  Jansson, Torbjörn 2014 LAP LAMBERT Academic Publishing
• Econometric specification of constrained optimization models
  Jansson, Torbjörn
• Programming languages – 17th Brazilian Symposium ; proceedings
  Rauber du Bois, André ; Trinder, Phil 2013 Springer
• Automated deduction in geometry – 9th international workshop ; revised selected papers
  Ida, Tetsuo ; Fleuriot, Jacques 2013 Springer
• Fundamentals of software engineering – 5th international conference ; revised selected papers
  Arbab, Farhad ; Sirjani, Marjan 2013 Springer
• Distributed, Embedded and Real-time Java Systems
  Higuera-Toledano, M. Teresa ; Wellings, Andy 2012 Springer US
• A generic specification for verifying peephole optimizations
  Dold, Axel ; Henke, Friedrich Wilhelm ˜vonœ ; Pfeifer, Holger ; Rueß, Harald 2010 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• A mechanically verified compiling specification for a realistic compiler
  Dold, Axel ; Henke, Friedrich Wilhelm ˜vonœ ; Vialard, Vincent ; Goerigk, Wolfgang 2005 Universität Ulm. Fakultät für Informatik
• A mechanically verified compiling specification for a realistic compiler
  Dold, Axel 2002 Univ., Fak. für Informatik
• Using DSLs to manage consistency in long-lived enterprise language specifications
  Linington, Peter ; Milosevic, Zoran ; Tanaka, Akira ; Dejanović, Igor