Folgen
Dario Fischbein
Dario Fischbein
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei imperial.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
A foundation for behavioural conformance in software product line architectures
D Fischbein, S Uchitel, V Braberman
Proceedings of the ISSTA 2006 workshop on Role of software architecture for …, 2006
1772006
MTSA: The modal transition system analyser
N D'Ippolito, D Fischbein, M Chechik, S Uchitel
Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated …, 2008
1092008
On correct and complete strong merging of partial behaviour models
D Fischbein, S Uchitel
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008
452008
Weak alphabet merging of partial behaviour models
D Fischbein, G Brunet, N D’Ippolito, M Chechik, S Uchitel
ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (2), 1-47, 2012
392012
Weak Alphabet Merging of Partial Behavior Models
D Fischbein, N D'Ippolito, G Brunet, M Chechik, S Uchitel
ACM Transactions on Software Engineering and Methodology-TOSEM 21 (2), 2012
392012
A sound observational semantics for modal transition systems
D Fischbein, V Braberman, S Uchitel
International Colloquium on Theoretical Aspects of Computing, 215-230, 2009
262009
Supporting incremental behaviour model elaboration
S Uchitel, D Alrajeh, S Ben-David, V Braberman, M Chechik, G De Caso, ...
Computer Science-Research and Development 28 (4), 279-293, 2013
182013
Partial Behavioural Models for Requirements and Early Design
M Chechik, G Brunet, D Fischbein, S Uchitel
Methods, 2006
72006
Foundations for behavioural model elaboration using modal transition systems
D Fischbein
Imperial College London, 2012
42012
Department of Computing
D Fischbein
Imperial College, 2011
4*2011
On consistency and merge of modal transition systems
D Fischbein, S Uchitel
Proc. of FSE, 2008
32008
Behavioural model elaboration using mts
D Fischbein, S Uchitel
Copenhagen” Meeting on Modal Transition Systems, 2007
22007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12