Sciweavers

26 search results - page 1 / 6

» seke 2005

6

SEKE
2005
Springer

98views Software Engineering» more SEKE 2005»

Formal Analysis of Workflow Systems with Security Considerations

13 years 10 months ago

Formal Analysis of Workflow Systems with Security Considerations

Download www.jaist.ac.jp

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

claim paper

Read More »

9

SEKE
2005
Springer

78views Software Engineering» more SEKE 2005»

Generating Abstract User Interfaces from an Informal Design

13 years 10 months ago

Generating Abstract User Interfaces from an Informal Design

Download www.isys.ucl.ac.be

Adrien Coyette, Jean Vanderdonckt, Stéphane...

claim paper

Read More »

10

SEKE
2005
Springer

64views Software Engineering» more SEKE 2005»

Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications

13 years 10 months ago

Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications

Download www.sqrl.ul.ie

Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomi...

claim paper

Read More »

9

SEKE
2005
Springer

118views Software Engineering» more SEKE 2005»

A Comparative Analysis of i*-Based Agent-Oriented Modeling Languages

13 years 10 months ago

A Comparative Analysis of i*-Based Agent-Oriented Modeling Languages

Download www.lsi.upc.edu

Claudia P. Ayala, Carlos Cares, Juan Pablo Carvall...

claim paper

Read More »

14

SEKE
2005
Springer

89views Software Engineering» more SEKE 2005»

State of the Survey on Team-based Software Engineering Project Course

13 years 10 months ago

State of the Survey on Team-based Software Engineering Project Course

Download diamond.u-gakugei.ac.jp

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

claim paper

Read More »

« Prev « First page 1 / 6 Last » Next »