20.363 new publication: Software and Systems Modelling 5.4

From: Humanist Discussion Group (by way of Willard McCarty willard.mccarty_at_kcl.ac.uk>
Date: Thu, 21 Dec 2006 10:54:30 +0000

               Humanist Discussion Group, Vol. 20, No. 363.
       Centre for Computing in the Humanities, King's College London
  www.kcl.ac.uk/schools/humanities/cch/research/publications/humanist.html
                        www.princeton.edu/humanist/
                     Submit to: humanist_at_princeton.edu

         Date: Thu, 21 Dec 2006 10:41:59 +0000
         From: Willard McCarty <willard.mccarty_at_kcl.ac.uk>
         Subject: Software and Systems Modelling 5.4

Volume 5 Number 4 of Software & Systems Modeling
is now available on the SpringerLink web site at http://springerlink.com

Editorial
Five years of modeling in SoSyM
Robert France, Bernhard Rumpe

MDI: A Rule-based Multi-document and Tool Integration Approach
Alexander Königs, Andy Schürr

Matters of (Meta-) Modeling
Thomas Kühne

More matters on (meta-)modelling: remarks on Thomas Kühne’s “matters”
Wolfgang Hesse

Clarifying matters of (meta-) modeling: an author’s reply
Thomas Kühne

Integration of DFDs into a UML-based Model-driven Engineering Approach
João M. Fernandes, Johan Lilius, Dragos Truscan

UML specification of access control policies and their formal verification
Manuel Koch, Francesco Parisi-Presicce

TURTLE-P: a UML profile for the formal validation
of critical and distributed systems
Ludovic Apvrille, Pierre Saqui-Sannes, Ferhat Khendek

Dr Willard McCarty | Reader in Humanities
Computing | Centre for Computing in the
Humanities | King's College London | http://staff.cch.kcl.ac.uk/~wmccarty/.
Received on Thu Dec 21 2006 - 06:25:18 EST

This archive was generated by hypermail 2.2.0 : Thu Dec 21 2006 - 06:25:24 EST