publicações selecionadas
-
artigo de conferência
- Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables. IFIP Advances in Information and Communication Technology. 2008
- Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net 2007
- Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. Proceedings - Asia-Pacific Software Engineering Conference, APSEC. 2007
-
artigo de revista
- Formal Requirements Modeling with Executable Use Cases and Coloured Petri Nets. Innovations in Systems and Software Engineering. 2009