10159 search results - page 171 / 2032 » System Design Validation Using Formal Models |
149
Voted
RTCSA
1997
IEEE
15 years 6 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
128
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
100
Voted
WCRE
1999
IEEE
15 years 6 months ago
1999
IEEE
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
118
click to vote
FORTE
1990
15 years 3 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...
136
Voted
RTSS
2007
IEEE
15 years 8 months ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...