Matthew Morley

According to our database, Matthew Morley authored at least 3 papers between 1995 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2001

The e Language: A Fresh Separation of Concerns.

Yoav Hollander, Matthew Morley, Amos Noy

Proceedings of the TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, 2001

1998

The Synchronous Approach to Designing Reactive Systems.

Axel Poigné, Matthew Morley, Olivier Maffeïs, Leszek Holenderski, Reinhard Budde

Formal Methods Syst. Des., 1998

1995

Systematic testing and formal verification to validate reactive programs.

Monika Müllerburg, Leszek Holenderski, Olivier Maffeïs, Agathe Merceron, Matthew Morley

Softw. Qual. J., 1995