1908 search results - page 49 / 382 » How to teach software modeling |
SPIN
1999
Springer
15 years 2 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
104
click to vote
MKWI
2008
14 years 11 months ago
2008
: Software engineering provides a rich set of methods and tools that cover the entire engineering process. However, there still exist major problems in integrating methods that add...
ICMT
2009
Springer
15 years 4 months ago
2009
Springer
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
106
click to vote
PROMISE
2010
14 years 4 months ago
2010
Search Based Software Engineering (SBSE) is an approach to software engineering in which search based optimization algorithms are used to identify optimal or near optimal solution...
AC
2005
Springer
14 years 9 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...