3765 search results - page 284 / 753 » Formal Methods for Systems Engineering Behavior Models |
148
click to vote
ICESS
2007
Springer
16 years 25 days ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
169
click to vote
ICSM
2006
IEEE
16 years 21 days ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...
181
click to vote
ISARCS
2010
15 years 10 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
162
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
233
click to vote
DB
2008
15 years 6 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...