3828 search results - page 493 / 766 » Proof-Based System Engineering Using a Virtual System Model |
214
click to vote
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...
175
click to vote
ENTCS
2007
15 years 7 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
222
click to vote
CASES
2008
ACM
15 years 9 months ago
2008
ACM
Performance evaluation of embedded software is essential in an early development phase so as to ensure that the software will run on the embedded device's limited computing r...
210
click to vote
SERA
2010
Springer
15 years 5 months ago
2010
Springer
—Information systems are expected to satisfy increasingly ambitious requirements, while reducing time–to–market has become a primary objective. This trend has necessitated th...
193
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...