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 9 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 9 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 9 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 »

6

SEKE
2005
Springer

118views Software Engineering» more SEKE 2005»

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

13 years 9 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 »

13

SEKE
2005
Springer

89views Software Engineering» more SEKE 2005»

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

13 years 9 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 »