„program specification“

Suchergebnisse

422 Treffer

• DIN EN 9208, Luft- und Raumfahrt - Programm-Management - Bedarfsbekundung - Anleitung und Format für die (Bedarfs-)Technische Lieferbedingung – = Aerospace series - programme management - expression of need - guidance on and format for (need) technical specification
  2022 Beuth Verlag GmbH
• Concurrency, Specification and Programming – Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
  2023 Springer International Publishing
• Specification transformers: a predicate transformer approach to composition
  Charpentier, Michel ; Chandy, K. Mani
• A note on knowledge-based programs and specifications
  Halpern, Joseph Y.
• Data refinement of mixed specifications
  Sanders, Beverly A.
• Logic Programs as a Specification and Description Tool in the Design Process of an Intelligent Tutoring System
  Möbus, Claus ; Salvendy, G. 1987 HCI International
• Spanish society of laboratory medicine external quality assurance programmes: evolution of the analytical performance of clinical laboratories over 30 years and comparison with other programmes
  Perich, Carmen ; Ricós, Carmen ; Marqués, Fernando ; Minchinela, Joana ; Salas, Angel ; Martínez-Bru, Cecilia ; Boned, Beatriz ; Gómez-Rioja, Rubén ; Cortés, Marià ; González-Lao, Elisabet ; García Lario, Jose Vicente ; Tejedor, Xavier ; Bullich, Sandra ; Ventura, Montserrat ; González-Tarancón, Ricardo ; Fernández-Fernández, Pilar ; Ramón, Francisco ; Corte, Zoraida ; Llopis, Antonia Ma ; Díaz-Garzón, Jorge ; Simón, Margarita ; Fernández-Calle, Pilar
• Evaluation of 18 quality indicators from the external quality assurance preanalytical programme of the Spanish Society of Laboratory Medicine (SEQC ML)
  Caballero, Andrea ; Gómez-Rioja, Rubén ; Ventura, Montserrat ; Llopis, María Antonia ; Bauça, Josep Miquel ; Gómez-Gómez, Carolina ; Marzana, Itziar ; Ibarz, Mercedes
• Embedding the rehabilitation treatment specification system (RTSS) into clinical practice: an evaluation of a pilot teaching programme
  Gibson, Jamie ; Sampford, Jade ; Myers-Ingram, Richard ; Jones, Gareth D.
• Ape – An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms
  Bartels, Ulrich ; Olthoff, Walter ; Raulefs, Peter 1981 Saarländische Universitäts- und Landesbibliothek
• Specification and analysis of legal contracts with Symboleo
  Parvizimosaed, Alireza ; Sharifi, Sepehr ; Amyot, Daniel ; Logrippo, Luigi ; Roveri, Marco ; Rasti, Aidin ; Roudak, Ali ; Mylopoulos, John
• Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application
  Rivadeh, Mehran ; Mirian-Hosseinabadi, Seyed-Hassan
• Theory and methodology of assumption/commitment based system interface specification and architectural contracts
  Broy, Manfred
• Babelsberg/RML – executable semantics and language testing with RML
  Felgentreff, Tim ; Hirschfeld, Robert ; Millstein, Todd ; Borning, Alan 2015 Universität Potsdam
• Software Engineering: Specification, Implementation, Verification
  Alagić, Suad 2017 Springer International Publishing
• On Sets and Graphs – Perspectives on Logic and Combinatorics
  Omodeo, Eugenio ; Policriti, Alberto ; Tomescu, Alexandru I. 2017 Springer International Publishing
• From Legal Contracts to Formal Specifications: A Systematic Literature Review
  Soavi, Michele ; Zeni, Nicola ; Mylopoulos, John P. ; Mich, Luisa
• An Automated Security Concerns Recommender Based on Use Case Specification Ontology
  Williams, Imano ; Yuan, Xiaohong ; Anwar, Mohd ; McDonald, J. Todd
• DIN EN IEC 61970-600-1, Energy management system application program interface (EMS-API). Part 600-1, Common grid model exchange specification (CGMES) - structure and rules (IEC 57/2169/CDV:2020) – = Schnittstelle der Anwendungsprotokolle von Energieverwaltungssystemen (EMS-API). Teil 600-1, Standard für den Austausch von Elektrizitätsversorgungssystemmodellen (CGMES) - Strukturen und Regeln (IEC 57/2169/CDV:2020)
  2021 Beuth Verlag GmbH
• Formal specification and state space analysis of an operational planning process
  Mitchell, Brice ; Kristensen, Lars Michael ; Zhang, Lin