Topics:

  Multi-Paradigm Modelling 
   HV intro
    "AToM3: A Tool for Multi-Formalism Modelling and Meta-Modelling".
    Juan de Lara, Hans Vangheluwe. Fundamental Approaches to Software
    Engineering - FASE'02 , in European Joint Conferences on Theory And
    Practice of Software - ETAPS'02 .  Grenoble. France, April 2002.
    Lecture Notes in Computer Science, Springer Verlag.

   Ptolemy (Lee)
   TOMACS special issue on Multi-Paradigm Modelling

  Meta-modelling
   AToM3
   The OMG's MDA, XMI, ...
   tools: DOME, MetaEdit+, ...

  Graph Grammars
   Handbook of Graph Transformation
   Link with re-engineering, re-factoring

  OO Modelling of Physical Systems
   Modelica (www.modelica.org)
   Bond Graphs (Broenink)

  Variable Structure Modelling
   Barros
   Uhrmacher (agents)

  Hybrid Modelling
   DEVS&DESS (Praehofer)
   State Event Location (Park & Barton)

  Digital Hardware Modelling
   VHDL
    http://www.devry-phx.edu/fac/miller/vhdl_index.htm
    http://www.estec.esa.nl/wsmwww/vhdl/vhdlpage.html

   http://lasdpc.icmc.sc.usp.br/producao/Default.html
   Francês, C.R.L, Santana,M.J.,Santana, R.H.C., Vijaykumar,
   N.L., Solon, V. C. Analytical and Simulation Solutions for
   Performance Models Based on Statecharts: a Case Study of a
   File Server. In: the 5th World Multiconference on
   Systemics, Cybernetics and Informatics (SCI 2001), Orlando,
   Florida, USA, july 22-25, 2001. (Proceedings em CD).

  Discrete Event 

   Parallel DEVS (Chow)
   Symbolic DEVS
   Process Interaction + Hierarchy 
   PiDEMOS (Birtwistle)
   Event Graphs (Schruben)
   Logic and Discrete Event modelling
   Statecharts: Statemate semantics

  Software Design
   Precise Modelling
    http://www.isse.gmu.edu/~duminda/classes/spring02/swe699.html

   GUI design (with Statechart etc.)
    http://www.sm.luth.se/~david/#WidgetSpec

    Carr, D., Interaction Object Graphs: An Executable Graphical
    Notation for Specifying User Interfaces, Formal Methods for Computer-Human
    Interaction, P. Palanque and F. Paterno', editors, ISBN
    3-540-76158-6, Springer-Verlag, 141-156, Nov. 1997.

    Carr, D., Toward More Understandable User Interface Specifications,
    Design, Specification, and Verification of Interactive Systems '96, F.
    Bodart & J. Vanderdonckt eds., Namur, Belgium. 5-7 June 1996,
    Springer-Verlag, Vienna, 141-161.

    http://lis.univ-tlse1.fr/~palanque/publications.html

   Executable UML (action semantics, ...)

    Luciano Baresi, Mauro Pezze, Improving UML with Petri-Nets.
    ENTCS 44(4) 2001.

    Shaldana, J., Shatz, M., Hu, Z.. Formalization of Object Behaviour
    and Interactions from UML models. International Journal of Software
    Engineering and Knowledge Engineering (IJSEKE), Vol 11, No 6, Dec.
    2001. pp. 643 - 673.

  Software Process Modellings
   Forrester System Dynamics
   Statecharts (Keller)
   Petri Nets

  Petri Nets
   Coloured Petri Nets (CPN)
    http://www.daimi.au.dk/CPnets/ACDC/ 
    K.H. Mortensen: Automatic Code Generation Method Based on Coloured
    Petri Net Models Applied on an
    Access Control System, In M. Nielsen and D. Simpson (eds.):
    Application and Theory of Petri Nets 2000.
    Proceedings of the 21st International Petri Net Conference,
    Aarhus, Denmark, 2000, Lecture Notes in
    Computer Science Vol. 1825, Springer-Verlag, pp. 367-386, 2000.

   Time (TTPN)
   Protocol Design

  Suggest your own ...