Aryldo G. Russo

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Aryldo G. Russo
Modeling in event-b - system and software engineering by Jean-Raymond Abrial. ACM SIGSOFT Softw. Eng. Notes 36 (2) (2011)
Thiago C. de Sousa, Aryldo G. Russo
Starting B Specifications from Use Cases. ASM (2010)
Michael Jastram, Stefan Hallerstede, Michael Leuschel, Aryldo G. Russo
An Approach of Requirements Tracing in Formal Refinement. VSTTE (2010)