Hosted articles 2000

A Comparison of Three Model Checkers Applied to a Distributed Database Problem (2000-07-01)
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems (2000-07-01)
Modal Logics for Reasoning about Object-based Component Composition (2000-07-01)
Abstract Clustering for Program Comprehension (2000-07-01)
A Note on the Relationships between Logic Programs and Neural Networks (2000-07-01)
An Iterator Construct for the Refinement Calculus (2000-07-01)
Retrenchment: Extending Refinement for Continuous and Control Systems (2000-07-01)
4th Irish Workshop on Formal Methods - Index (2000-07-01)
SDL-2000: A Language with a Formal Semantics (2000-01-01)
Statecharts as Protocols for Objects (2000-01-01)
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems (2000-01-01)
Rigorous Object-Oriented Methods 2000 - Index (2000-01-01)
Jeremy Bentham: An Iliad of Argument (2000-01-01)
Structured Axiomatic Semantics for UML Models (2000-01-01)
Checking the Consistency of UML Class Diagrams Using Larch Prover (2000-01-01)
An Overview of The Mensurae Language: Specifying Business Processes (2000-01-01)
‘Primeiro e mais antigo Constitucional da Europa’: Bentham’s contact with Portuguese liberals 1820-23 (2000-01-01)
On the Compositional Properties of UML Statechart Diagrams (2000-01-01)
A Reconstruction of Classical Utilitarianism (2000-01-01)
Object-Oriented Refinement and Proof using Behaviour Functions (2000-01-01)
Extending the UML with a Multicast Synchronisation (2000-01-01)