Eerke Boiten
Eerke Boiten
School of Computer Science and Informatics, De Montfort University, UK
Потвърден имейл адрес: dmu.ac.uk - Начална страница
Заглавие
Позовавания
Позовавания
Година
Refinement in Z and Object-Z
J Derrick, E Boiten
Springer, 2001
387*2001
A formal framework for viewpoint consistency
H Bowman, MWA Steen, EA Boiten, J Derrick
Formal Methods in System Design 21 (2), 111-166, 2002
752002
Viewpoint consistency in ODP
E Boiten, H Bowman, J Derrick, P Linington, M Steen
Computer Networks 34 (3), 503-537, 2000
672000
Viewpoint consistency in ODP, a general interpretation
H Bowman, EA Boiten, J Derrick, MWA Steen
Formal methods for open object-based distributed systems, 189-204, 1997
611997
Relational concurrent refinement
J Derrick, E Boiten
Formal Aspects of Computing 15 (2-3), 182-214, 2003
552003
IO-refinement in Z
E Boiten, J Derrick
3rd BCS-FACS Northern Formal Methods Workshop. Springer-Verlag, 1998
54*1998
Constructive consistency checking for partial specification in Z
E Boiten, J Derrick, H Bowman, M Steen
Science of Computer Programming 35 (1), 29-75, 1999
531999
Viewpoint consistency in Z and LOTOS: A case study
E Boiten, H Bowman, J Derrick, M Steen
International Symposium of Formal Methods Europe, 644-664, 1997
451997
Supporting ODP-Translating LOTOS to Z
J Derrick, EA Boiten, H Bowman, MWA Steen
Formal Methods for Open Object-based Distributed Systems, 399-406, 1997
451997
Testing refinements of state‐based formal specifications
J Derrick, E Boiten
Software Testing, Verification and Reliability 9 (1), 27-50, 1999
431999
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
E Boiten, J Derrick, G Smith
Springer, 2004
42*2004
Consistency and refinement for partial specification in Z
E Boiten, J Derrick, H Bowman, M Steen
International Symposium of Formal Methods Europe, 287-306, 1996
411996
Fixed-point calculus
C Aarts, R Backhouse, E Boiten, H Doornbos, N van Gasteren, ...
Information Processing Letters 53 (3), 131-136, 1995
381995
Strategies for consistency checking based on unification
H Bowman, EA Boiten, J Derrick, MWA Steen
Science of Computer Programming 33 (3), 261-298, 1999
36*1999
Improving recursive functions by inverting the order of evaluation
EA Boiten
Science of Computer Programming 18 (2), 139-179, 1992
341992
Weak refinement in Z
J Derrick, E Boiten, H Bowman, M Steen
International Conference of Z Users, 369-388, 1997
321997
Exploring UML refinement through unification
EA Boiten, MC Bujorianu
Proceedings of the UML 3, 2003
312003
Non-atomic refinement in Z
J Derrick, E Boiten
International Symposium on Formal Methods, 1477-1496, 1999
301999
Guards, preconditions, and refinement in Z
R Miarka, E Boiten, J Derrick
International Conference of B and Z Users, 286-303, 2000
292000
Comparing LOTOS and Z refinement relations
J Derrick, H Bowman, EA Boiten, MWA Steen
Formal Description Techniques IX, 501-516, 1996
281996
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20