4047 search results - page 657 / 810 » Algebraic Model Checking |
165
click to vote
JIPS
2006
15 years 6 months ago
2006
: We present in this paper the methodology for automatic generation of OWL-S service model ontology along with the results and issues. First, we extract information related to atom...
167
Voted
TOSEM
2002
15 years 5 months ago
2002
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...
171
Voted
IEE
2010
15 years 4 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
154
Voted
STTT
2010
15 years 4 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
267
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...