1090 search results - page 52 / 218 » Case Study: Componentization of an Industrial Control System |
MIA
2011
12 years 12 months ago
2011
In this work we propose a comprehensive study of Digital Stent Enhancement (DSE), from the analysis of requirements to the validation of the proposed solution. First, we derive th...
NLDB
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Requirements engineering, the first phase of any software development project, is the Achilles’ heel of the whole development process, as requirements documents are of...
ISF
2006
13 years 9 months ago
2006
The development of complex products, such as automobiles, involves engineering changes that frequently require redesigning or altering the products. Although it has been found that...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— In this paper, Virtual Power Limiter System is proposed. This makes it possible to guarantee the stability of almost all control systems which include unknown character...
ASM
2010
ASM
14 years 10 days ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...