Sciweavers

15727 search results - page 582 / 3146
» Software Engineering - Introduction
Sort
View
145
Voted
SEKE
2005
Springer
16 years 28 days ago
Formal Analysis of Workflow Systems with Security Considerations
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
SEKE
2005
Springer
16 years 28 days ago
Generating Abstract User Interfaces from an Informal Design
Adrien Coyette, Jean Vanderdonckt, Stéphane...
128
Voted
SEKE
2005
Springer
16 years 28 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 28 days ago
Analysis of Compositional Conflicts in Component-Based Systems
Andreas Leicher, Susanne Busse, Jörn Guy S&uu...