302
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Rigorous Object-Oriented Methods 2000 - Index

      proceedings-article

      Rigorous Object-Oriented Methods 2000 (ROOM)

      Rigorous Object-Oriented Methods

      17 January 2000

      Bookmark

            Main article text

            Papers:

            P. Andre, A. Romanczukand & J.C. Royer Checking the Consistency of UML Class Diagrams Using Larch Prover http://dx.doi.org/10.14236/ewic/ROOM2000.1

            T. Clark Object-Oriented Refinement and Proof using Behaviour Functions http://dx.doi.org/10.14236/ewic/ROOM2000.2

            J. Fischer, E. Holz, M.V. Löwis & A. Prinz SDL-2000: A Language with a Formal Semantics http://dx.doi.org/10.14236/ewic/ROOM2000.3

            B. Hnatkowska & Z. Huzar Extending the UML with a Multicast Synchronisation http://dx.doi.org/10.14236/ewic/ROOM2000.4

            K. Lano, J. Bicarregui & A. Evans Structured Axiomatic Semantics for UML Models http://dx.doi.org/10.14236/ewic/ROOM2000.5

            A. Laue, M. Liedtke, D. Moldt & I.Trickovic Statecharts as Protocols for Objects http://dx.doi.org/10.14236/ewic/ROOM2000.6

            T.S.E. Maibaum An Overview of The Mensurae Language: Specifying Business Processes http://dx.doi.org/10.14236/ewic/ROOM2000.7

            A.J.H. Simons On the Compositional Properties of UML Statechart Diagrams http://dx.doi.org/10.14236/ewic/ROOM2000.8

            M. Tyrrell, A. Butterfield & A. Donnelly OO-Motivated Process Algebra: A Calculus for CORBA-like Systems http://dx.doi.org/10.14236/ewic/ROOM2000.9

            Author and article information

            Conference
            January 2000
            January 2000
            Article
            10.14236/ewic/ROOM2000.0
            fb673680-23bd-4649-a1fd-874a5e2896cf

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Rigorous Object-Oriented Methods 2000
            ROOM
            York, UK
            17 January 2000
            Electronic Workshops in Computing (eWiC)
            Rigorous Object-Oriented Methods
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article