3828 search results - page 59 / 766 » Proof-Based System Engineering Using a Virtual System Model |
93
Voted
JSW
2008
15 years 2 months ago
2008
Requirements engineering is an important phase in a system's life cycle. When poorly performed, various problems may occur, such as failures, cost overrun and delays. The incr...
120
Voted
PRDC
2007
IEEE
15 years 8 months ago
2007
IEEE
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
116
Voted
CIC
2006
15 years 3 months ago
2006
Communication systems, along with database systems, have attracted a lot of attention in software engineering research. Encouraged by the success of SQL systems, some early effort...
112
click to vote
FORTE
1998
15 years 3 months ago
1998
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...
113
click to vote
WSC
2004
15 years 3 months ago
2004
The Virtual Range (VR) is an environment that integrates in a seamless fashion several models to improve complex systems visualization. A complex system is a non-linear system of ...