1432 search results - page 104 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
164
Voted
EMSOFT
2003
Springer
15 years 8 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
110
Voted
FMCAD
1998
Springer
15 years 7 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
234
Voted
AMAST
2010
Springer
14 years 10 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
140
Voted
ICESS
2005
Springer
15 years 9 months ago
2005
Springer
: This paper presents a simple and efficient switched Ethernet communication protocol for industrial hard real-time LAN applications. The network is founded with end nodes and a sw...
134
Voted
WCE
2007
15 years 4 months ago
2007
—This paper presents an application of fuzzy logic theory to the reconstruction of solid models from engineering drawings. In engineering drawing, two-dimensional (2D) orthograph...