„program specification“

Suchergebnisse

422 Treffer

• Tools for producing formal specifications: a view of current architectures and future directions
  Vadera, Sunil ; Meziane, Farid
• Model Checking Complete Requirements Specifications Using Abstraction
  Bharadwaj, Ramesh ; Heitmeyer, Constance L.
• The algebraic specification of abstract data types
  Guttag, J. V. ; Horning, J. J.
• An operational formal definition of PROLOG: a specification method and its application
  Deransart, Pierre ; Ferrand, Gérard
• Efficient analysis of pattern-based constraint specifications
  Wahler, Michael ; Basin, David ; Brucker, Achim D. ; Koehler, Jana
• TestEra: Specification-Based Testing of Java Programs Using SAT
  Khurshid, Sarfraz ; Marinov, Darko
• Specification and validation of a concurrent system: an educational project
  Berthelot, Gérard ; Petrucci, Laure
• An Industrial Case Study to Examine a Non-Traditional Inspection Implementation for Requirements Specifications
  Laitenberger, Oliver ; Beil, Thomas ; Schwinn, Thilo
• The Level-agnostic Modeling Language: Language Specification and Tool Implementation
  Gerbig, Ralph ; Atkinson, Colin 2011 Universitätsbibliothek Mannheim
• Specification and Implementation of a Deep OCL Dialect
  Kantner, Dominik ; Atkinson, Colin 2014 Universitätsbibliothek Mannheim
• Generating online test oracles from temporal logic specifications
  Håkansson, John ; Jonsson, Bengt ; Lundqvist, Ola
• Rule-based specification mining leveraging learning to rank
  Cao, Zherui ; Tian, Yuan ; Le, Tien-Duy B. ; Lo, David
• Lectures on Runtime Verification – Introductory and Advanced Topics
  Bartocci, Ezio ; Falcone, Yliès 2018 Springer Berlin Heidelberg
• Essential Means for Urban Computing: Specification of Web-Based Computing Platforms for Urban Planning, a Hitchhiker's Guide
  Nourian, Pirouz ; Ohori, Ken Arroyo ; Martinez-Ortiz, Carlos 2018
• Modular Language Specification and Composition
  Denzler, Christoph 2001 Shaker
• Constructing programs from specifications – proceedings of the IFIP TC2/WG2. 1 Working Conference on Constructing Programs from Specifications, Pacific Grove, Ca, USA, 13-16 May 1991
  Möller, Bernhard 1991 North-Holland
• ReFlO: an interactive tool for pipe-and-filter domain specification and program generation
  Gonçalves, Rui C. ; Batory, Don ; Sobral, João L.
• An oversampling approach for mining program specifications
  Chen, Deng ; Zhang, Yan-duo ; Wei, Wei ; Wang, Rong-cun ; Li, Xiao-lin ; Liu, Wei ; Wang, Shi-xun ; Zhu, Rui
• A Framework for Distributed Mobile Multi-Media – An Architecture for the Virtual Workplace
  Meyer, André 2009 LAP LAMBERT Academic Publishing
• Prior specification for binary Markov mesh models
  Luo, Xin ; Tjelmeland, Håkon