18.570 new publication: Software and Systems Modeling 4.1

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

         Date: Sat, 05 Feb 2005 08:12:17 +0000
         From: Willard McCarty <willard.mccarty_at_kcl.ac.uk>
         Subject: Software and Systems Modeling 4.1

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

This issue contains:

Editorial
Domain specific modeling p. 1
Robert France, Bernhard Rumpe
DOI: 10.1007/s10270-005-0078-1

Expert's voice
UML - the Good, the Bad or the Ugly? Perspectives from a panel of
experts p. 4
Brian Henderson-Sellers
DOI: 10.1007/s10270-004-0076-8

Regular papers
Formal verification of software source code through semi-automatic
modeling p. 14
Cindy Eisner
DOI: 10.1007/s10270-003-0042-x

Regular Paper
The KeY tool: Integrating object oriented design and formal
verification p. 32
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin
Giese, Reiner H=E4hnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth,
Steffen Schlager, Peter H. Schmitt
DOI: 10.1007/s10270-004-0058-x

Regular Paper
An approach for reverse engineering of design patterns p. 55
Ilka Philippow, Detlef Streitferdt, Matthias Riebisch, Sebastian Naumann
DOI: 10.1007/s10270-004-0059-9

Regular Paper
  From scenarios to code: An air traffic control case study p. 71
Jon Whittle, Richard Kwan, Jyoti Saboo
DOI: 10.1007/s10270-004-0067-9

Regular Paper
A reference framework for process-oriented software development
organizations p. 94
Jo=E3o M. Fernandes, Francisco J. Duarte
DOI: 10.1007/s10270-004-0063-0

[NB: If you do not receive a reply within 24 hours please resend]
Dr Willard McCarty | Senior Lecturer | Centre for Computing in the=20
Humanities | King's College London | Kay House, 7 Arundel Street | London=20
WC2R 3DX | U.K. | +44 (0)20 7848-2784 fax: -2980 ||=20
willard.mccarty_at_kcl.ac.uk www.kcl.ac.uk/humanities/cch/wlm/=20
Received on Sat Feb 05 2005 - 03:23:41 EST