Object oriented programming: a theoretician's introduction, 1988. ,
Objects and LOTOS, 1989. ,
Formalisation of requirements with emphasis on feature interaction detection, Feature Interactions In Telecommunications IV, 1997. ,
Feature Interactions In Telecommunications, 1994. ,
Algebraic Specification Techniques in Object Oriented Programming Environments, Lecture Notes in Computing Science, vol.562, 1991. ,
DOI : 10.1007/3-540-54972-2
A feature-interaction benchmark for IN and beyond, Feature Interactions In Telecommunications, 1994. ,
DOI : 10.1109/35.199613
Feature Interactions In Telecommunications III, 1995. ,
Using LOTOS in the object based development of embedded systems, The Unified Computation Laboratory. The Institute of Mathematics and its Applications, 1991. ,
Formal Object Oriented Specification of Distributed Systems, Specification and Verification of Concurrent Systems, 1988. ,
DOI : 10.1007/978-1-4471-3534-0_3
Object-Oriented Programming: Inheritance to Adoption, 1992. ,
Formal Object Oriented Development of Software Systems Using LOTOS, 1993. ,
Applying formal object oriented design principles to Smalltalk-80, British Telecom Technology Journal, 3. interactions. In Feature Interactions In Telecommunications IV, 1989. ,
Feature interactions: A mixed semantic model approach, Irish Workshop on Formal Methods, 1997. ,
Pots: An OO LOTOS specification, 1998. ,
URL : https://hal.archives-ouvertes.fr/inria-00098729
System Development, 1983. ,
URL : https://hal.archives-ouvertes.fr/hal-01472305
Object oriented specification in LO- TOS and Z or, my cat really is object oriented, J. W, 1991. ,
Specification of a sieve object in objective LOTOS, 1990. ,
Specification of object oriented systems in LO- TOS, The 1st International Conference on Formal Description Techniques, 1988. ,
Structured Systems Development, 1977. ,
Language Design Rationale and Semantic Framework for Concurrent Object-Oriented Programming, 1992. ,
An object oriented approach to feature interaction, Feature Interactions In Telecommunications IV, 1997. ,
Specifying ODP systems in Z, 1990. ,
An exercise in using constructive proof systems to address feature interactions, Feature Interactions In Telecommunications IV, 1997. ,
Inheritance in LOTOS, Formal Description Techniques IV, 1991. ,
DOI : 10.1016/B978-0-444-89402-1.50037-0
An architectural foundation fo relating features, Feature Interactions In Telecommunications IV, 1997. ,
Object oriented specification style in LO- TOS. Lo/wp1, 1989. ,
Issues of non-montonicity in feature interaction detection, Feature Interactions In Telecommunications III, 1995. ,
??-Calculus semantics of object-oriented programming languages, 1990. ,
DOI : 10.1007/3-540-54415-1_63
Dimensions of object-based language design, Special Issue of SIGPLAN notices, pp.168-183, 1987. ,
Semantics of Object-Oriented Languages, 1988. ,
First Steps Towards Fully Abstract Semantics for Object-Oriented Languages, Proceeedings of the 1989 European Conference on Object Oriented Programming, pp.347-367, 1989. ,
DOI : 10.1093/comjnl/32.4.290
Feature interactions and formal specifications in telecommunications, Computer, vol.26, issue.8, pp.18-23, 1993. ,
DOI : 10.1109/2.223539