3415 search results - page 8 / 683 » Physical Design Refinement: The |
FORTE
1990
13 years 8 months ago
1990
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...
TOSEM
2002
13 years 7 months ago
2002
A "refinement" is a functionality addition to a software project that can affect multiple dispersed implementation entities (functions, classes, etc.). In this paper, we...
CODES
2007
IEEE
13 years 11 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
DAC
1998
ACM
14 years 8 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...
IEEEICCI
2002
IEEE
14 years 17 days ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...