„program specification“
Suchergebnisse
422 Treffer
-
OMIS - on-line monitoring interface specification – version 2.0
-
Catalytic-dependent and -independent roles of TET3 in the regulation of specific genetic programs during neuroectoderm specification
-
Workshop Concurrency, Specification and Programming
-
Neues in STAC
-
Object oriented hardware specification and design with a language extension to VHDL
-
Syntax and semantics of graphs – an approach to the specification of visual notations for discrete event systems
-
Workshop Concurrency, Specification and Programming
-
A Bigraphical Vending Machine as a Webservice – From Specification and Analysis to Implementation using the Bigraph Toolkit Suite
-
Workshop Concurrency, Specification and Programming
-
A natural-deduction-like calculus for structured specifications
-
Crypt-equivalent algebraic specifications
-
Specification and proving of command programs
-
WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction—a model-driven approach for session-based application systems
-
A WAM extension for type constraint logic programming – specification and correctness proof
-
Proofs, programs and executable specifications in higher order logic
-
Concrete and abstract specification, modularization and program development by transformation
-
The Influence of Temporal Specification on the Identification of Crime Hot Spots for Program Evaluations: A Test of Longitudinal Stability in Crime Patterns
-
Verifikation abstrakter Zustandsmaschinen
-
OBSCURE a specification language for abstract data types
-
Two impossibility theorems on behaviour specification of abstract data types