561 search results - page 40 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
143
click to vote
SASO
2008
IEEE
16 years 16 days ago
2008
IEEE
Self-adaptive systems are able to autonomously adapt to changing user requirements and resource variability at runtime, therefore addressing the problem of software complexity and...
185
click to vote
ISSRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
184
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
170
click to vote
MEMOCODE
2006
IEEE
16 years 4 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
193
click to vote
STEP
2003
IEEE
15 years 11 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...