Volume 6, Issue 1 | Software and Systems Modeling

Search all Software and Systems Modeling articles

Volume 6, Issue 1

March 2007

Special Section on Software Engineering and Formal Methods

Filter by

Volume:

Sort by

Date published:

New to old Old to new

6 articles in this issue

Does model driven engineering tame complexity?
Robert France
Bernhard Rumpe
Editorial 25 January 2007 Pages: 1 - 2
Implementing associations: UML 2.0 to Java 5
D. Akehurst
G. Howells
K. McDonald-Maier
Regular Paper 11 July 2006 Pages: 3 - 35
SoSyM Special Section on Software Engineering and Formal Methods
Jorge Cuellar
Zhiming Liu
Guest Editorial 17 June 2006 Pages: 37 - 38
An Asynchronous Communication Model for Distributed Concurrent Objects
Einar Broch Johnsen
Olaf Owe
Special Section Paper 22 August 2006 Pages: 39 - 58
Models and temporal logical specifications for timed component connectors
Farhad Arbab
Christel Baier
Jan Rutten
Special Section Paper 22 August 2006 Pages: 59 - 82
Computation Orchestration
Jayadev Misra
William R. Cook
Special Selection Paper 17 May 2006 Pages: 83 - 110