Search the dblp DataBase

Publications of Author

1. 
   Partial Behavioural Models for Requirements and Early Design. [Citation Graph (, )][DBLP]
   
   
2. 
   A Sound Observational Semantics for Modal Transition Systems. [Citation Graph (, )][DBLP]
   
   
3. 
   A foundation for behavioural conformance in software product line architectures. [Citation Graph (, )][DBLP]
   
   
4. 
   MTSA: The Modal Transition System Analyser. [Citation Graph (, )][DBLP]
   
   
5. 
   On correct and complete strong merging of partial behaviour models. [Citation Graph (, )][DBLP]
   
   
6. 
   MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. [Citation Graph (, )][DBLP]