1432 search results - page 140 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
135
Voted
ICSM
2002
IEEE
15 years 8 months ago
2002
IEEE
During maintenance, systems are updated to correct faults, improve functionality, and adapt the software to changes in its execution environment. The typical softwareupdate proces...
118
click to vote
TON
2008
15 years 3 months ago
2008
As the Internet infrastructure grows to support a variety of services, its legacy protocols are being overloaded with new functions such as traffic engineering. Today, operators en...
155
Voted
ASWSD
2006
Springer
15 years 7 months ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
139
Voted
IJIT
2004
15 years 5 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
142
Voted
ECEASST
2008
15 years 3 months ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...