„program specification“

Suchergebnisse

422 Treffer

• VHR Image Specifications for the CwRS Programme – Campaign 2009
  2011 Dictus Publishing
• Formal methods and software engineering – proceedings
  Aoki, Toshiaki ; Taguchi, Kenji 2012 Springer
• Design of a Formal Estelle Semantics for Verification
  Bredereke, Jan ; Gotzhein, Reinhard ; Vogt, F. H. 1999 Technische Universität Kaiserslautern, Fachbereich Informatik
• Intelligent computer mathematics – 11th international conference ... ; proceedings
  Jeuring, Johan ; Campbell, John ; Carette, Jacques ; Dos Reis, Gabriel ; Sojka, Petr ; Wenzel, Makarius ; Sorge, Volker 2012 Springer
• Embedding model specifications in object-oriented program code – a bottom-up approach for model-based software development
  Balz, Moritz
• Workshop Concurrency, Specification & Programming – September 25 - 27, 1996
  Czaja, Ludwik 1996 Professoren des Inst. für Informatik
• Comparison of specification decomposition methods in Event-B
  Devyanin, P. N. ; Kulyamin, V. V. ; Petrenko, A. K. ; Khoroshilov, A. V. ; Shchepetkov, I. V.
• Nondeterminism in Algebraic Specifications and Algebraic Programs
  1993 Birkhäuser Boston
• Extended version of elucidative development for model-based documentation and language specification
  Wilke, Claas 2012 TU, Fak. Informatik
• Fundamentals of software engineering – 4th IPM international conference ; revised selected papers
  Arbab, Farhad ; Sirjani, Marjan 2012 Springer
• Systematic approach for constructing an understandable state machine from a contract-based specification: controlled experiments
  Bae, Jung Ho ; Chae, Heung Seok
• Programming with Specifications – An Introduction to ANNA, A Language for Specifying Ada Programs
  Luckham, David C. 1990 Springer US
• Synthesis of large dynamic concurrent programs from dynamic specifications
  Attie, Paul C.
• Specification of the domestic video Programme Delivery Control system (PDC)
  Waters, George T. 1990 EBU
• A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systems
  Noyer, Arne ; Iyenghar, Padma ; Engelhardt, Joachim ; Pulvermueller, Elke ; Bikker, Gert
• Empirical software engineering and verification – international summer schools, LASER 2008 - 2010, Elba Island, Italy ; revised tutorial lectures
  Meyer, Bertrand ; Nordio, Martin 2012 Springer
• Specification and Transformation of Programs – A Formal Approach to Software Development
  Partsch, Helmuth 1990 Springer Berlin Heidelberg
• Harmonization of Automata Specifications Represented in the Language L
  Chebotarev, A. N.
• Formal Specification Techniques for Engineering Modular C Programs
  1996 Springer US
• CLPS–B – A constraint solver to animate a B specification
  Bouquet, Fabrice ; Legeard, Bruno ; Peureux, Fabien