An integrated multi-view model evolution framework Volker Stolz Original Paper 22 December 2009 Pages: 13 - 20
Formal executable semantics for conformance in the MDE framework Marina EgeaVlad Rusu Original Paper 20 December 2009 Pages: 73 - 81
PTSC: probability, time and shared-variable concurrency Huibiao ZhuShengchao QinJonathan P. Bowen Original Paper 11 August 2009 Pages: 271 - 284
Software monitoring through formal specification animation Hui LiangJin Song DongW. Eric Wong Original Paper 05 August 2009 Pages: 231 - 241
A dynamic capture–recapture model for software defect prediction Robert BucholzPhillip A. Laplante Original Paper 30 July 2009 Pages: 265 - 270
Analysis of object-oriented software reliability model development Norman F. Schneidewind Original Paper 30 July 2009 Pages: 243 - 253
Use of a lightweight formal method to model the static aspects of state machines Fernando Valles-Barajas Original Paper 29 July 2009 Pages: 255 - 264
Tool-supported enhancement of diagnosis in model-driven verification Marco BakeraTiziana MargariaBernhard Steffen Original Paper 28 July 2009 Pages: 211 - 228
Verification of real-time systems with preemption: negative and positive results Frédéric BoniolJérôme ErmontClaire Pagetti Reviews 28 June 2009 Pages: 163 - 179
An efficient response-time analysis for real-time transactions with fixed priority assignment Ahmed RahniEmmanuel GrolleauMichaël Richard Original Paper 23 June 2009 Pages: 197 - 209
Using formal methods to increase confidence in a home network system implementation: a case study Lydie du BousquetMasahide NakamuraHiroshi Igaki Original Paper 20 June 2009 Pages: 181 - 196
Adaptive reflex autonomicity for real-time systems Roy SterrittMike Hinchey Research Paper 16 June 2009 Pages: 107 - 115
Certification of software for real-time safety-critical systems: state of the art Andrew KorneckiJanusz Zalewski Original Paper 02 June 2009 Pages: 149 - 161
A formal model of composing components: the TLA+ approach Ondrej RysavyJaroslav Rab Original Paper 18 May 2009 Pages: 139 - 148
A formal model of composing components: the TLA+ approach Ondrej RysavyJaroslav Rab Original Paper 15 May 2009
A safety shell for UML-RT projects structure and methods of the corresponding UML pattern Roman GumzejWolfgang A. Halang Original Paper 13 May 2009 Pages: 97 - 105
Modeling selected real-time database concurrency control protocols in Uppaal Martin Kot Original Paper 05 May 2009 Pages: 129 - 138
A development methodology for embedded systems based on RT-DEVS Angelo FurfaroLibero Nigro Original Paper 05 May 2009 Pages: 117 - 127
Special section on real-time safety-critical systems Janusz Zalewski Editorial 05 May 2009 Pages: 95 - 96
Towards an advanced model-driven engineering toolbox Frédéric JouaultJean BézivinMikaël Barbero Original Paper 07 March 2009 Pages: 5 - 12
Aspect-oriented design and implementation of context-aware pervasive applications Lidia FuentesNadia GámezPablo Sánchez Original Paper 24 February 2009 Pages: 79 - 93
MDE for SoC design Dragoş TruşcanTorbjörn LundkvistJohan Lilius Original Paper 18 February 2009 Pages: 49 - 64
A model-driven approach for the derivation of architectural requirements of software product lines Alexandre BragançaRicardo J. Machado Original Paper 12 February 2009 Pages: 65 - 78
Model transformations in the UPES/UPSoC development process for embedded systems Elvinia RiccobenePatrizia Scandurra Original Paper 10 February 2009 Pages: 35 - 47
Bridging the requirements–implementation modeling gap with object–process methodology Avi SofferDov Dori Original Paper 10 February 2009 Pages: 27 - 34
Introduction to special issue: model-based development methodologies Ricardo J. MachadoFlávio R. WagnerRick Kazman Original Paper 10 February 2009 Pages: 1 - 3
Formal requirements modelling with executable use cases and coloured Petri nets Jens B. JørgensenSimon TjellJoão M. Fernandes Original Paper 07 February 2009 Pages: 13 - 25
Introduction to special issue: papers from UML&FM Jean-Michel BruelAgusti CanalsIsabelle Perseil Erratum 10 December 2008 Pages: 229 - 229
Component meets service: what does the mongrel look like? Bernd J. Krämer Original Paper 13 November 2008 Pages: 385 - 394
Matching object catalogues Luiz André P. LemeDaniela F. BraunerAlexandre Gazola Original Paper 31 October 2008 Pages: 315 - 328
Genesys: service-oriented construction of property conform code generators Sven JörgesTiziana MargariaBernhard Steffen Original Paper 29 October 2008 Pages: 361 - 384
Rich meta object facility formal integration platform: syntax, semantics and implementation Ralf BuschermöhleJörg Oelerink Original Paper 09 September 2008 Pages: 249 - 257
From algebraic semantics to denotational semantics for Verilog Huibiao ZhuJifeng HeJonathan P. Bowen Original Article 05 September 2008 Pages: 341 - 360
Extending interactive data language with higher-order functions Ronald T. Kneusel Original Paper 30 August 2008 Pages: 329 - 339
UML behavioral consistency checking using instantiable Petri nets Yann Thierry-MiegLom-Messan Hillah Original Paper 26 August 2008 Pages: 293 - 300
Timing analysis and validation with UML: the case of the embedded MARS bus manager Iulian OberSusanne GrafIleana Ober Original Paper 23 August 2008 Pages: 301 - 308
Safe design of high-performance embedded systems in an MDE framework Huafeng YuAbdoulaye GamatiéJean-Luc Dekeyser Original Paper 23 August 2008 Pages: 215 - 222
Ambiguity and structural properties of basic sequence diagrams Christophe Sibertin-BlancNabil HameurlainOmar Tahir Original Paper 15 August 2008 Pages: 275 - 284
Extending statecharts with process algebra operators Marc FrappierFrédéric GervaisRichard St-Denis Original Paper 12 August 2008 Pages: 285 - 292
Incremental development of UML specifications using operation refinements Boulbaba Ben AmmarMohamed Tahar BhiriJeanine Souquières Original Paper 12 August 2008 Pages: 259 - 266
Validation of requirement models by automatic prototyping Dan LiXiaoshan LiZhiming Liu Original Paper 12 August 2008 Pages: 241 - 248
From use cases to test cases via meta model-based reasoning Stefan Gruner Original Paper 12 August 2008 Pages: 223 - 231
An MDE-based method for bridging different design notations Tian ZhangFrédéric JouaultXuandong Li Original Paper 12 August 2008 Pages: 203 - 213
Foundations of a new software engineering method for real-time systems Isabelle PerseilLaurent Pautet Original Paper 12 August 2008 Pages: 195 - 202
Towards a traceability model in a MARTE-based methodology for real-time embedded systems Hung Le DangHubert DuboisSébastien Gérard Original Paper 12 August 2008 Pages: 189 - 193
Introduction to special issue: papers from UML&FM Jean-Michel BruelAgusti CanalsIsabelle Perseil Editorial 12 August 2008 Pages: 185 - 187
Clock constraint specification language: specifying clock constraints with UML/MARTE Frédéric Mallet Original Paper 09 August 2008 Pages: 309 - 314
A formal and sound transformation from Focal to UML: an application to airport security regulations David DelahayeJean-Frédéric ÉtienneVéronique Viguié Donzeau-Gouge Original Paper 09 August 2008 Pages: 267 - 274
Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets Kristian Bisgaard LassenSimon Tjell Original Paper 09 August 2008 Pages: 233 - 240
Formal methods for interactive systems Antonio CeronePaul Curzon Editorial 29 April 2008 Pages: 123 - 123
