185 | -- | 187 | Jean-Michel Bruel, Agusti Canals, Sébastien Gérard, Isabelle Perseil. Introduction to special issue: papers from UML&FM |
189 | -- | 193 | Hung Le Dang, Hubert Dubois, Sébastien Gérard. Towards a traceability model in a MARTE-based methodology for real-time embedded systems |
195 | -- | 202 | Isabelle Perseil, Laurent Pautet. Foundations of a new software engineering method for real-time systems |
203 | -- | 213 | Tian Zhang, Frédéric Jouault, Jean Bézivin, Xuandong Li. An MDE-based method for bridging different design notations |
215 | -- | 222 | Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser. Safe design of high-performance embedded systems in an MDE framework |
223 | -- | 231 | Stefan Gruner. From use cases to test cases via meta model-based reasoning |
233 | -- | 240 | Kristian Bisgaard Lassen, Simon Tjell. Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets |
241 | -- | 248 | Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu. Validation of requirement models by automatic prototyping |
249 | -- | 257 | Ralf Buschermöhle, Jörg Oelerink. Rich meta object facility formal integration platform: syntax, semantics and implementation |
259 | -- | 266 | Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières. Incremental development of UML specifications using operation refinements |
267 | -- | 274 | David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge. A formal and sound transformation from Focal to UML : an application to airport security regulations |
275 | -- | 284 | Christophe Sibertin-Blanc, Nabil Hameurlain, Omar Tahir. Ambiguity and structural properties of basic sequence diagrams |
285 | -- | 292 | Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St.-Denis. Extending statecharts with process algebra operators |
293 | -- | 300 | Yann Thierry-Mieg, Lom-Messan Hillah. UML behavioral consistency checking using instantiable Petri nets |
301 | -- | 308 | Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober. Timing analysis and validation with UML: the case of the embedded MARS bus manager |
309 | -- | 314 | Frédéric Mallet. Clock constraint specification language: specifying clock constraints with UML/MARTE |