116 search results - page 1 / 24 » Model Synthesis from Imprecise Specifications |
126
Voted
VVEIS
2004
15 years 7 months ago
2004
166
Voted
SAM
2004
15 years 7 months 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...
185
Voted
SIGSOFT
2010
ACM
15 years 4 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...
147
Voted
DAC
1992
ACM
15 years 10 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 ...
171
Voted
FORTE
1998
15 years 7 months 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 ...