|
СТ |
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems |
2002 |
Lacaze X., Palanque P., Navarre D., Bastide R. |
|
|
|
Lecture Notes in Computer Science |
11.02.2003 |
|
СТ |
A Tool Suite for Integrating Task and System Models through Scenarios |
2001 |
Navarre D., Palanque P., Paterno F., Santoro C., Bastide R. |
|
|
|
Lecture Notes in Computer Science |
06.11.2001 |
|
СТ |
Modeling a Groupware Editing Tool with Cooperative Objects |
2001 |
Bastide R., Palanque P. |
|
|
|
Lecture Notes in Computer Science |
25.05.2001 |
|
СТ |
Structuring Interactive Systems Specifications for Executability and Prototypability |
2001 |
Navarre D., Palanque P., Bastide R., Sy O. |
|
|
|
Lecture Notes in Computer Science |
04.04.2001 |
|
СТ |
Petri Net Based Behavioural Specification of CORBA Systems |
1999 |
Bastide R., Palanque P., Sy O., Le D. -H., Navarre D. |
|
|
|
Lecture Notes in Computer Science |
16.07.1999 |
|
СТ |
Formal Specification and Prototyping of CORBA Systems |
1999 |
Bastide R., Sy O., Palanque P. |
|
|
|
Lecture Notes in Computer Science |
09.07.1999 |
|
СТ |
Models, Formalisms and Methods for Object-Oriented Distributed Computing |
1998 |
Bastide R., Buchs D. |
|
|
|
Lecture Notes in Computer Science |
27.02.1998 |
|
СТ |
A Petri Net Based Environment for the Design of Event-Driven Interfaces |
1995 |
Bastide R., Palanque P. |
|
|
|
Lecture Notes in Computer Science |
05.07.1995 |
|
СТ |
Design of User-Driven Interfaces Using Petri Nets and Objects |
1993 |
Palanque P. A., Bastide R., Dourte L., Sibertin-Blanc C. |
|
|
|
Lecture Notes in Computer Science |
01.07.1993 |
