Please help support CiteULike by taking part in our survey.

leonardo's profile

About me

Username:	leonardo
Name:	Leonardo Lucena
Job title:	Not specified
Affiliation:	UFPE, Brazil
Web page:	Not specified
Joined:	2006-01-16

What I do

Not specified

Interests

Recent Activity

2009-11-08

13:54: posted A Complete Set of Object Modeling Laws for Alloy

2009-11-07

13:42: posted Abstract Model Checking without Computing the Abstraction
13:28: posted Language and Tool Support for Class and State Machine Refinement in UML-B
13:27: posted An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method
13:22: posted Towards an Operational Semantics for Alloy

2009-11-05

19:13: posted Architecture-Driven Requirements Engineering
18:42: posted Architecture-driven requirements engineering

2009-11-04

16:06: posted On Language-Independent Model Modularisation

2009-10-31

00:19: posted Completeness of fair ASM refinement