1,093
views
0
recommends
+1 Recommend
1 collections
    0
    shares

      Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

      scite_
       
      • 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
            Copyright @ 2000

            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
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article