116 search results - page 1 / 24 » Model Synthesis from Imprecise Specifications |
VVEIS
2004
14 years 6 days ago
2004
SAM
2004
14 years 6 days ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
DAC
1992
ACM
14 years 2 months ago
1992
ACM
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...
FORTE
1998
14 years 6 days ago
1998
: In this paper, we propose a technique for hardware implementation of protocol specifications in LOTOS. For the purpose, we define a new model called synchronous EFSMs consisting ...