Sciweavers

26 search results - page 1 / 6
» seke 2005
Sort
View
103
Voted
SEKE
2005
Springer
15 years 10 months ago
Formal Analysis of Workflow Systems with Security Considerations
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
90
Voted
SEKE
2005
Springer
15 years 10 months ago
Generating Abstract User Interfaces from an Informal Design
Adrien Coyette, Jean Vanderdonckt, Stéphane...
SEKE
2005
Springer
15 years 10 months ago
Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications
Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomi...
114
Voted
SEKE
2005
Springer
15 years 10 months ago
A Comparative Analysis of i*-Based Agent-Oriented Modeling Languages
Claudia P. Ayala, Carlos Cares, Juan Pablo Carvall...
SEKE
2005
Springer
15 years 10 months ago
State of the Survey on Team-based Software Engineering Project Course
It is recognized importance of team-based software engineering education in these days, and lots of case studies have been reported. This paper describes a comparative study on te...
Atsuo Hazeyama