9974 search results - page 462 / 1995 » Software Interconnection Models |
173
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
169
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
205
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software developers spend a significant portion of their resources handling user-submitted bug reports. For software that is widely deployed, the number of bug reports typically ...
160
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
183
click to vote
QSIC
2007
IEEE
16 years 1 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...