10159 search results - page 305 / 2032 » System Design Validation Using Formal Models |
136
Voted
DESRIST
2009
Springer
15 years 1 months ago
2009
Springer
Design science research involves creating and evaluating innovative methods and approaches to be used in design practice. We present an approach to be used in the process of desig...
97
Voted
ER
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In an ongoing effort to better understand the process of creating conceptual models (in particular formal ones), we present a fundamental view of the process of modeling...
146
Voted
ISSRE
2000
IEEE
15 years 8 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
138
Voted
AEI
1999
15 years 3 months ago
1999
This article describes a new adaptive fuzzy logic control scheme. The proposed scheme is based on the structure of the self-tuning regulator and employs neural network and genetic...
146
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...