Volume 7, Issue 4

Search all Innovations in Systems and Software Engineering articles

December 2011

Special issue: Unified Modeling Language and Formal Methods 2011

Issue Editor:

Isabelle Perseil

12 articles in this issue

Introduction to special issue: papers from UML&FM’2011
I. Perseil
J. P. Gibson
Editorial 21 October 2011 Pages: 225 - 226
A generic framework: from modeling to code
Dominique Méry
Neeraj Kumar Singh
SI : FM & UML 29 September 2011 Pages: 227 - 235
Formal object-oriented development of a voting system test oracle
J. Paul Gibson
Jean-Luc Raffy
Eric Lallet
SI : FM & UML 29 September 2011 Pages: 237 - 245
Development of an automated MBT toolchain from UML/SysML models
Jonathan Lasalle
Fabien Peureux
Frédéric Fondement
SI : FM & UML 02 October 2011 Pages: 247 - 256
UML/SysML semantic tunings
Ileana Ober
Iulian Ober
El Arbi Aboussoror
SI : FM & UML 02 October 2011 Pages: 257 - 264
Formal verification of components assembly based on SysML and interface automata
Samir Chouali
Ahmed Hammad
SI : FM & UML 02 October 2011 Pages: 265 - 274
Test data generation for web application using a UML class diagram with OCL constraints
Shoichiro Fujiwara
Kazuki Munakata
Tadahiro Uehara
SI : FM & UML 02 October 2011 Pages: 275 - 282
Coupling-based transformations of Z specifications into UML diagrams
Andreas Bollin
SI : FM & UML 02 October 2011 Pages: 283 - 292
A proposal for extending UML-B to support a conceptual model
Thiago C. de Sousa
Colin F. Snook
Paulo Sérgio Muniz Silva
SI : FM & UML 29 September 2011 Pages: 293 - 301
Combining UML, ASTD and B for the formal specification of an access control filter
J. Milhau
A. Idani
M. Frappier
SI : FM & UML 29 September 2011 Pages: 303 - 313
Institutionalising UML 2.0 state machines
Daniel Calegari
Nora Szasz
SI : FM & UML 29 September 2011 Pages: 315 - 323
ALF formal
Isabelle Perseil
SI : FM & UML 21 October 2011 Pages: 325 - 326

Volume 7, Issue 4

Introduction to special issue: papers from UML&FM’2011

A generic framework: from modeling to code

Formal object-oriented development of a voting system test oracle

Development of an automated MBT toolchain from UML/SysML models

UML/SysML semantic tunings

Formal verification of components assembly based on SysML and interface automata

Test data generation for web application using a UML class diagram with OCL constraints

Coupling-based transformations of Z specifications into UML diagrams

A proposal for extending UML-B to support a conceptual model

Combining UML, ASTD and B for the formal specification of an access control filter

Institutionalising UML 2.0 state machines

ALF formal

Navigation