Skip to content

BCS: The Chartered Institute for IT

Text size
  • Small
  • Medium
  • Large
Contrast
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige
iAccessibilityFeatures0/body/custom/bcs/img/accessibilityFeatures/
01
10
  • Home
  • BCS Website
  • About eWiC
  • Contact eWiC
    Your location:
    • Home
    • Conference archive
    • Conferences by year
    • 2000
    • ROOM
    • About eWiC
    • Conference archive
      • Conferences by year
        • 2018
        • 2017
        • 2016
        • 2015
        • 2014
        • 2013
        • 2012
        • 2011
        • 2010
        • 2009
        • 2008
        • 2007
        • 2006
        • 2005
        • 2004
        • 2003
        • 2002
        • 2001
        • 2000
          • 4th Formal
          • ROOM
        • 1999
        • 1998
        • 1997
        • 1996
        • 1995
      • Conferences by subject
    • Publish your conference
    • Email alert service
    • Academic publications
    • Contact eWiC

    Rigorous Object-Oriented Methods 2000

    York, UK. 17 January 2000

    Full Synopsis, Editors and Sponsors are not available for this conference.

    Browse the papers below.

    Checking the Consistency of UML Class Diagrams Using Larch Prover
    P. Andre, A. Romanczukand & J.C. Royer

    Object-Oriented Refinement and Proof using Behaviour Functions
    T. Clark

    SDL-2000: A Language with a Formal Semantics
    J. Fischer, E. Holz, M.V. Löwis & A. Prinz

    Extending the UML with a Multicast Synchronisation
    B. Hnatkowska & Z. Huzar

    Structured Axiomatic Semantics for UML Models
    K. Lano, J. Bicarregui & A. Evans

    Statecharts as Protocols for Objects
    A. Laue, M. Liedtke, D. Moldt & I.Trickovic

    An Overview of The Mensurae Language: Specifying Business Processes
    T.S.E. Maibaum

    On the Compositional Properties of UML Statechart Diagrams
    A.J.H. Simons

    OO-Motivated Process Algebra: A Calculus for CORBA-like Systems
    M. Tyrrell, A. Butterfield & A. Donnelly

    BCS is a registered charity: No 292786
    • © Copyright BCS 2019
    • Legal, Privacy and Cookies Notices
    ×

    Cookies

    Our website uses cookies to help improve your experience. Find out more by reading our cookies policy.