Clive Jervis

According to our database, Clive Jervis authored at least 7 papers between 1999 and 2007.

Collaborative distances:

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

2007

Experiences in Deploying Model-Driven Engineering.

Thomas Weigert, Frank Weil, Kevin Marth, Paul Baker, Clive Jervis, Paul Dietz, Yexuan Gui, Aswin van den Berg, Kim Fleer, David Nelson, Michael Wells, Brian E. Mastenbrook

Proceedings of the SDL 2007: Design for Dependable Systems, 2007

Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile.

Paul Baker, Clive Jervis

Proceedings of the SDL 2007: Design for Dependable Systems, 2007

2005

Detecting and resolving semantic pathologies in UML sequence diagrams.

Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

2003

Phase Automaton for Requirements Scenarios.

Bill Mitchell, Robert Thomson, Clive Jervis

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

Leveraging UML to Deliver Correct Telecom Applications.

Sergey Baranov, Clive Jervis, Vsevolod Kotlyarov, Alexander A. Letichevsky, Thomas Weigert

Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

2002

Automatic Generation of Conformance Tests from Message Sequence Charts.

Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell

Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

1999

An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications.

Paul Baker, Clive Jervis, David J. King

Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999