Clive Jervis

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2007
Experiences in Deploying Model-Driven Engineering.
Proceedings of the SDL 2007: Design for Dependable Systems, 2007

Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile.
Proceedings of the SDL 2007: Design for Dependable Systems, 2007

2005
Detecting and resolving semantic pathologies in UML sequence diagrams.
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.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

Leveraging UML to Deliver Correct Telecom Applications.
Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

2002
Automatic Generation of Conformance Tests from Message Sequence Charts.
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.
Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999


  Loading...