9006 search results - page 117 / 1802 » Modeling Software |
97
Voted
SEFM
2007
IEEE
15 years 8 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
112
Voted
AICCSA
2001
IEEE
15 years 6 months ago
2001
IEEE
The importance of early performance assessment grows as software systems increase in terms of size, logical distribution and interaction complexity. Lack of time from the side of ...
123
click to vote
PROFES
2009
Springer
15 years 9 months ago
2009
Springer
Value-based software engineering (VBSE) is an emerging stream of research that addresses the value considerations of software and extends the traditional scope of software engineer...
117
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Embedded software design for real time reactive system
ENTCS
2006
15 years 2 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.