ISSE 2010 | Sciweavers

35

click to vote

ISSE
2010

89views Security Privacy» more ISSE 2010»

Randomized constraint solvers: a comparative study

13 years 7 months ago

Download www.cin.ufpe.br

Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juli...

claim paper

Read More »

42

click to vote

ISSE
2010

139views Security Privacy» more ISSE 2010»

Coloured Petri net refinement specification and correctness proof with Coq

13 years 7 months ago

Download www-lipn.univ-paris13.fr

In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...

Christine Choppy, Micaela Mayero, Laure Petrucci

claim paper

Read More »

33

click to vote

ISSE
2010

124views Security Privacy» more ISSE 2010»

Software model checking without source code

13 years 11 months ago

Download www.contrib.andrew.cmu.edu

We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...

Sagar Chaki, James Ivers

claim paper

Read More »

40

click to vote

ISSE
2010

124views Security Privacy» more ISSE 2010»

Formal executable semantics for conformance in the MDE framework

13 years 11 months ago

Download www.artist-embedded.org

Marina Egea, Vlad Rusu

claim paper

Read More »

37

click to vote

ISSE
2010

187views Security Privacy» more ISSE 2010»

An approach to applying SOFL for agile process and its application in developing a test support tool

13 years 11 months ago

Download cis.k.hosei.ac.jp

Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step speciﬁcation approachtoconstructi...

Shaoying Liu

claim paper

Read More »

39

click to vote

ISSE
2010

169views Security Privacy» more ISSE 2010»

URDAD as a semi-formal approach to analysis and design

13 years 11 months ago

Download www.up.ac.za

The Use Case, Responsibility Driven Analysis and Design (URDAD) methodology is a methodology for technology neutral design generating the Platform Independent Model of the Object M...

Fritz Solms, Dawid Loubser

claim paper

Read More »

51

click to vote

ISSE
2010

145views Security Privacy» more ISSE 2010»

An integrated multi-view model evolution framework

13 years 11 months ago

Download rcos.iist.unu.edu

A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To eﬀectively support the design of complex systems, tra...

Volker Stolz

claim paper

Read More »

31

click to vote

ISSE
2010

118views Security Privacy» more ISSE 2010»

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

13 years 11 months ago

Download www.inf.ufes.br

Bernardo F. B. Braga, João Paulo A. Almeida...

claim paper