Volume 6, Issue 1-2

Search all Innovations in Systems and Software Engineering articles

March 2010

Special Issue ICFEM’09

Filter by

Volume:

Sort by

Date published:

New to old Old to new

21 articles in this issue

Introduction to special issue: papers from UML&FM’2009
Isabelle Perseil
Jean-Michel Bruel
Elie Najm
Original Paper 29 December 2009 Pages: 1 - 3
Formal methods integration in software engineering
Isabelle Perseil
Laurent Pautet
Original Paper 03 February 2010 Pages: 5 - 11
An integrated multi-view model evolution framework
Volker Stolz
Original Paper 22 December 2009 Pages: 13 - 20
Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques
Ileana Ober
Louis Féraud
Christian Percebois
Original Paper 05 January 2010 Pages: 21 - 28
Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems
André L. N. Muniz
Aline M. S. Andrade
George Lima
Original Paper 22 December 2009 Pages: 29 - 37
Synthesis of state machine diagrams from communication diagrams using Petri nets
Toshiyuki Miyamoto
Hiroyuki Kurahata
Ryoji Hosokawa
Original Paper 31 December 2009 Pages: 39 - 46
A first attempt to combine SysML requirements diagrams and B
Régine Laleau
Farida Semmak
Bruno Tatibouet
Original Paper 25 December 2009 Pages: 47 - 54
Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method
Bernardo F. B. Braga
João Paulo Andrade Almeida
Alessander B. Benevides
Original Paper 02 February 2010 Pages: 55 - 63
Generating heterogeneous executable specifications in SystemC from UML/MARTE models
P. Peñil
J. Medina
E. Villar
Original Paper 22 December 2009 Pages: 65 - 71
Formal executable semantics for conformance in the MDE framework
Marina Egea
Vlad Rusu
Original Paper 20 December 2009 Pages: 73 - 81
Towards model checking executable UML specifications in mCRL2
Helle Hvid Hansen
Jeroen Ketema
Jaco van de Pol
Original Paper Open access 07 February 2010 Pages: 83 - 90
Bringing class diagrams to life
Luis S. Barbosa
Sun Meng
Original Paper 24 December 2009 Pages: 91 - 98
The clock constraint specification language for building timed causality models
Frédéric Mallet
Julien DeAntoni
Robert de Simone
Original Paper 22 December 2009 Pages: 99 - 106
Performance and energy consumption estimation for commercial off-the-shelf component system design
Ermeson Andrade
Paulo Maciel
Gustavo Callou
Original Paper 30 December 2009 Pages: 107 - 114
Lightweight analysis of access control models with description logic
Christiano Braga
Edward Hermann Hæusler
Original Paper 24 December 2009 Pages: 115 - 123
Formal verification of secure group communication protocols modelled in UML
P. de Saqui-Sannes
T. Villemur
L. Vigneron
Original Paper 28 January 2010 Pages: 125 - 133
FM+AM’09: workshop on formal methods and agile methods
Stefan Gruner
Original Article 23 December 2009 Pages: 135 - 136
An approach to applying SOFL for agile process and its application in developing a test support tool
Shaoying Liu
Original Paper 22 December 2009 Pages: 137 - 143
An agile approach to language modelling and development
Adrian Johnstone
Peter D. Mosses
Elizabeth Scott
Original Paper 01 January 2010 Pages: 145 - 153
URDAD as a semi-formal approach to analysis and design
Fritz Solms
Dawid Loubser
Original Paper 01 January 2010 Pages: 155 - 162
From formal requirements to automated web testing and prototyping
Ernesto Cid Brasil de Matos
Thiago C. Sousa
Original Paper 09 January 2010 Pages: 163 - 169

Volume 6, Issue 1-2

Search

Navigation