2836 search results - page 368 / 568 » Model Checking for Software Architectures |
176
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
—Success in the software product business requires timely release of new products and upgrades with proper quality and the right features. For this, a systematic approach for man...
162
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The problem of interpreting the results of software performance analysis is very critical. Software developers expect feedbacks in terms of architectural design alternati...
164
click to vote
MEMOCODE
2006
IEEE
16 years 21 days ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
180
click to vote
DATE
2005
IEEE
16 years 10 days ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
184
click to vote
ICFEM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...