Issue 10

Submission Procedure

User: anonymous

Volume 14 (2008)

Volume 13 (2007)

Volume 12 (2006)

Volume 11 (2005)

Volume 10 (2004)

Volume 9 (2003)

Volume 8 (2002)

Volume 7 (2001)

Volume 6 (2000)

Volume 5 (1999)

Volume 4 (1998)

Volume 3 (1997)

Volume 2 (1996)

Volume 1 (1995)

Volume 0 (1994)

Articles by Topics

Articles by Author

Board of Editors

Submission Procedure

Printed Publications

Collection of other papers

Content of Issue 10
Formal Specification of Computer-Based Systems	M. Sveda, C. Rattray, J. W. Rozenblit	1354
A MOF-Based Metamodeling Environment	M. J. Emerson, J. Sztipanovits, T. Bapty	1357
Platform Modeling and Model Transformations for Analysis	T. Szemethy, G. Karsai	1383
Architectural Abstraction as Transformation of Poset Labelled Graphs	M. Denford, A. Solomon, J. Leaney, T. O'Neill	1408
Synchronization Can Improve Reactive Systems Control and Modularity	C. Cerschi Seceleanu, T. Seceleanu	1429
Tools for Parametric Verification. A Comparison on a Case Study	P. Matoušek	1469