ASM
2010
ASM
13 years 8 months ago
2010
ASM
ASM
2010
ASM
13 years 10 months ago
2010
ASM
Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time ...
ASM
2010
ASM
13 years 11 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
ASM
2010
ASM
13 years 11 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
ASM
2010
ASM
13 years 11 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...
ASM
2010
ASM
13 years 11 months ago
2010
ASM
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
ASM
2010
ASM
13 years 11 months ago
2010
ASM
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...
ASM
2010
ASM
14 years 1 months ago
2010
ASM
Abstract. The aim of this paper is to gradually introduce formalism in the requirement engineering phase in order to facilitate its validation. We analyze and elicit our requiremen...
ASM
2010
ASM
14 years 1 months ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
ASM
2010
ASM
14 years 1 months ago
2010
ASM
