Introduction to special issue: papers from UML&FM’2009 Isabelle PerseilJean-Michel BruelElie Najm Original Paper 29 December 2009 Pages: 1 - 3
Formal methods integration in software engineering Isabelle PerseilLaurent 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 OberLouis FéraudChristian 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. MunizAline M. S. AndradeGeorge Lima Original Paper 22 December 2009 Pages: 29 - 37
Synthesis of state machine diagrams from communication diagrams using Petri nets Toshiyuki MiyamotoHiroyuki KurahataRyoji Hosokawa Original Paper 31 December 2009 Pages: 39 - 46
A first attempt to combine SysML requirements diagrams and B Régine LaleauFarida SemmakBruno 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. BragaJoão Paulo Andrade AlmeidaAlessander B. Benevides Original Paper 02 February 2010 Pages: 55 - 63
Generating heterogeneous executable specifications in SystemC from UML/MARTE models P. PeñilJ. MedinaE. Villar Original Paper 22 December 2009 Pages: 65 - 71
Formal executable semantics for conformance in the MDE framework Marina EgeaVlad Rusu Original Paper 20 December 2009 Pages: 73 - 81
Towards model checking executable UML specifications in mCRL2 Helle Hvid HansenJeroen KetemaJaco van de Pol Original Paper Open access 07 February 2010 Pages: 83 - 90
Bringing class diagrams to life Luis S. BarbosaSun Meng Original Paper 24 December 2009 Pages: 91 - 98
The clock constraint specification language for building timed causality models Frédéric MalletJulien DeAntoniRobert de Simone Original Paper 22 December 2009 Pages: 99 - 106
Performance and energy consumption estimation for commercial off-the-shelf component system design Ermeson AndradePaulo MacielGustavo Callou Original Paper 30 December 2009 Pages: 107 - 114
Lightweight analysis of access control models with description logic Christiano BragaEdward Hermann Hæusler Original Paper 24 December 2009 Pages: 115 - 123
Formal verification of secure group communication protocols modelled in UML P. de Saqui-SannesT. VillemurL. 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 JohnstonePeter D. MossesElizabeth Scott Original Paper 01 January 2010 Pages: 145 - 153
URDAD as a semi-formal approach to analysis and design Fritz SolmsDawid Loubser Original Paper 01 January 2010 Pages: 155 - 162
From formal requirements to automated web testing and prototyping Ernesto Cid Brasil de MatosThiago C. Sousa Original Paper 09 January 2010 Pages: 163 - 169