Hi Noam, Thanks you very much for your answer.
I have taken a look to http://qt.gitorious.org/qt-labs/scxml. I am interested in extending Qt State Machine Framework in several ways. (Mainly in my interest for model checking). One of these ways is to add the option of saving a scxml file, from a given QStateMachine. I will do it by my self and some students. Would be nice to have some connection with you just for knowing if you are making some progress or if something of what we are doing could be useful for you. For that purpose, should I just work on http://qt.gitorious.org/qt-labs/scxml and add some branch to it? On the other hand, do you know some "BIG" program where State Machine Framework is used, and in which the well design of the state machine is really important for the behaviour of the program? (the biggest I know is sub-attaq, provided in Qt-Creator) Thank you very much for your time, Best Regards, A. Cano ----- Mensaje original ----- De: [email protected] Para: [email protected] CC: [email protected] Asunto: RE: [Qt-creator] qt-scxml proyect Fecha: Wed, 20 Oct 2010 09:31:45 +0300 RE: [Qt-creator] qt-scxml proyect Hi Antonio The Qt SCXML project is alive in the sense that it works and several people use it, including inside Nokia, but we're not putting much development on it; How could I be of assistance? No'am -------- Original Message -------- Subject: [Qt-creator] qt-scxml proyect Date: Tue, 19 Oct 2010 11:03:54 +0200 From: ext Antonio Cano Gómez Reply-To: [email protected] To: [email protected] Hi, I am professor at the university and I am interested in apply model checking to the Qt-State Machine Framework. For that purpouse, I would be very interested in knowing if the qt-scxml proyect is still alive and, if possible, to have some contact with person in that proyect. Someone could help me, please. Thanks, A. Cano -------------------------------------------------------------- Ovi Mail: Making email access easy http://mail.ovi.com _______________________________________________ Qt-creator mailing list [email protected] http://lists.trolltech.com/mailman/listinfo/qt-creator -------------------------------------------------------------- Ovi Mail: Making email access easy http://mail.ovi.com _______________________________________________ Qt-creator mailing list [email protected] http://lists.trolltech.com/mailman/listinfo/qt-creator
