Sciweavers

15784 search results - page 603 / 3157
» Mega Software Engineering
Sort
View
SEKE
2005
Springer
16 years 18 days ago
Formal Analysis of Workflow Systems with Security Considerations
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
SEKE
2005
Springer
16 years 18 days ago
Generating Abstract User Interfaces from an Informal Design
Adrien Coyette, Jean Vanderdonckt, Stéphane...
SEKE
2005
Springer
16 years 18 days ago
Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications
Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomi...
SOCO
2005
Springer
16 years 18 days ago
Analysis of Compositional Conflicts in Component-Based Systems
Andreas Leicher, Susanne Busse, Jörn Guy S&uu...