6581 search results - page 39 / 1317 » Formalizing Design Patterns |
114
click to vote
PR
2007
15 years 1 months ago
2007
This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an opt...
106
click to vote
DAC
1998
ACM
16 years 3 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
211
Voted
POPL
2005
ACM
16 years 2 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
121
click to vote
VLSID
1999
IEEE
15 years 6 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
122
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...