„program specification“
Suchergebnisse
1.000+ Treffer
-
Programming and Interface Specification Language of JIVE
-
Principles of Contract Languages (Dagstuhl Seminar 22451)
-
Toward formal development of programs from algebraic specifications – parameterisation revisited
-
Toward formal development of programs from algebraic specifications: Parameterisation revisited
-
Constraint-Based Task Specification and Control for Visual Servoing Application Scenarios
-
Extended Version of Elucidative Development for Model-Based Documentation and Language Specification
-
A generic specification for verifying peephole optimizations
-
Functional specification of imperative programs – an alternative point of view of functional languages
-
First specification of Phoenix, an active database programming language
-
Mathematical methods of specification and synthesis of software systems '85 – proceedings of the internat. spring school held in Wendisch-Rietz (GDR), April 22 - 26, 1985
-
Mathematical methods of specification and synthesis of software systems '85 – proceedings of the internat. spring school Wendisch-Rietz, GDR, April 22 - 26, 1985
-
SAMEM: a methodology for the elicitation and specification of requirements for agile model-driven engineering of large software solutions
-
Nondeterminism in algebraic specifications and algebraic programs
-
Improving the quality of automotive test case specifications
-
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
-
SAMEM: A Methodology for the Elicitation and Specification of Requirements for Agile Model-driven Engineering of Large Software Solutions
-
Scaling Correctness-by-Construction
-
Deductive verification of object-oriented software – dynamic frames, dynamic logic and predicate abstraction
-
Specification Languages for Preserving Consistency between Models of Different Languages
-
Relational Reasoning - Constraint Solving, Deduction, and Program Verification