„program specification“
Suchergebnisse
422 Treffer
-
Data communication between an expert system shell and a conventional algorithmic program with application to cam motion specification
-
Observational implementation of algebraic specifications
-
Specification and verification of object-oriented programs using supertype abstraction
-
A recursive second order initial algebra specification of primitive recursion
-
Behavioural approaches to algebraic specifications – A comparative study
-
Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
-
On the design and specification of message oriented programs
-
Integrating formal specifications into applications: the ProB Java API
-
Using classes as specifications for automatic construction of programs in the NUT system
-
Compliance to specifications in an external quality assurance program: did new biological variation estimates of the European Federation of Laboratory Medicine (EFLM) affect the quality of laboratory results?
-
Using formal specifications to support software testing
-
DIN EN IEC 61970-600-2, Energy management system application program interface (EMS-API). Part 600-2, Common grid model exchange specification (CGMES) - exchange profiles specification (IEC 61970-600-2:2021) – = Schnittstelle der Anwendungsprotokolle von Energieverwaltungssystemen (EMS-API). Teil 600-2, Austausch von Elektrizitätsversorgungssystemmodellen (CGMES) - Spezifikation der Austauschprofile (IEC 61970-600-2:2021)
-
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 61970-600-1:2021) – = Schnittstelle der Anwendungsprotokolle von Energieverwaltungssystemen (EMS-API). Teil 600-1, Standard für den Austausch von Elektrizitätsversorgungssystemmodellen (CGMES) - Strukturen und Regeln (IEC 61970-600-1:2021)
-
DIN EN IEC 61970-600-2, Energy management system application program interface (EMS-API). Part 600-2, Common grid model exchange specification (CGMES) - exchange profiles specification (IEC 57/2170/CDV:2020) – = Schnittstelle der Anwendungsprotokolle von Energieverwaltungssystemen (EMS-API). Teil 600-2, Spezifikation für den Austausch von Elektrizitätsversorgungssystemmodellen (CGMES) - Spezifikation der Austauschprofile (IEC 57/2170/CDV:2020)
-
VG 95374-2 Beiblatt 1, Elektromagnetische Veträglichkeit (EMV) einschließlich Schutz gegen den elektromagnetischen Impuls (EMP) und Blitz - Programm und Verfahren. Teil 2, Programm für Systeme und Geräte. Beiblatt 1, Spezifikation und Nachweis des Blitz-/Überspannungsschutzes – Text deutsch und englisch = Electromagnetic compatibility (EMC) including electromagnetic pulse (EMP) and lightning protection - program and procedures. Part 2, Program for systems and equipment. Supplement 1, Specification and demonstration of lightning/overvoltage protection : text in German and English
-
Specification-based Testing for Gui-based Applications
-
Assessing the specification of modelling language semantics: a study on UML PSSM
-
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems
-
Mutation Testing Applied to Estelle Specifications
-
GPU performance analysis for viscoacoustic wave equations using fast stencil computation from the symbolic specification