795 search results - page 89 / 159 » A Formal Approach to Heterogeneous Software Modeling |
87
Voted
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...
105
click to vote
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
100
click to vote
SAC
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
FASE
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
107
click to vote
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...