5228 search results - page 744 / 1046 » Case Studies for Software Engineers |
168
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
180
click to vote
ASE
2002
15 years 6 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
192
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
154
click to vote
MKWI
2008
15 years 8 months ago
2008
: The IS development industry is currently undergoing profound changes. The well established, large system developers (hubs) take the lead in establishing partner networks with muc...
193
click to vote
COMPUTER
2007
15 years 6 months ago
2007
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...