![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Rigorous Object-Oriented Methods 2000: York, UK
- Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000. Workshops in Computing, BCS 2000
- Pascal André, Annya Romanczuk, Jean-Claude Royer:
Checking the Consistency of UML Class Diagrams Using Larch Prover. - Tony Clark:
Object-Oriented Refinement and Proof using Behaviour Functions. - Joachim Fischer, Eckhardt Holz, Martin von Löwis, Andreas Prinz:
SDL-2000: A Language with a Formal Semantics. - Bogumila Hnatkowska, Zbigniew Huzar:
Extending the UML with a Multicast Synchronisation. - Kevin Lano, Juan Bicarregui, Andy Evans:
Structured Axiomatic Semantics for UML Models. - Annette Laue, Matthias Liedtke, Daniel Moldt, Ivana Trickovic:
Statecharts as Protocols for Objects. - T. S. E. Maibaum:
An Overview of The Mensurae Language: Specifying Business Processes. - Anthony J. H. Simons:
On the Compositional Properties of UML Statechart Diagrams. - Malcolm Tyrrell, Andrew Butterfield, Alexis Donnelly:
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.