Font Size:
a
A
A
Keyword [Specifications]
Result: 161 - 174 | Page: 9 of 9
161.
Knowledge-based transformation of logic-based requirements specifications
162.
Automatic transformation of high-level logic specifications into high-performance target code
163.
An object oriented paradigm for requirements specifications
164.
ENCOMPASS: An environment for incremental software development using executable, logic-based specifications
165.
A METHODOLOGY FOR DEVELOPING REQUIREMENT AND DESIGN SPECIFICATIONS FOR DISTRIBUTED SOFTWARE SYSTEMS USING ATTRIBUTE GRAMMAR
166.
AUTOMATED DESIGN OF DIGITAL-SYSTEM CONTROL SEQUENCERS FROM REGISTER-TRANSFER SPECIFICATIONS
167.
Inferring Semantic Information from Natural-Language Software Artifacts
168.
Formal Semantic Specification of Domain-Specific Modeling Languages for Cyber-Physical Systems
169.
Control of Dynamical Systems with Temporal Logic Specifications
170.
Large Academic Book Publishing Normative Research-as Typical Of Critical Biography Series Of Chinese Thinkers
171.
Research And Design Of Security Guarantee Scheme For Iot Service System With Blockchain
172.
Research On Interactive Motion Effect Design Of Mobile Terminal Interface
173.
Research On Blockchain Application Modeling And Verification Technology Based On Security Model
174.
Research On Microservice Testing Oracle Technology Based On One-line Algebraic Specification
<<First
<Prev
Next>
Last>>
Jump to
