|
СТ |
StateWebCharts: A Formal Description Technique Dedicated to Navigation Modeling of Web Applications |
2003 |
Winckler M., Palanque P. |
|
|
|
Lecture Notes in Computer Science |
17.12.2003 |
|
СТ |
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 |
|
СТ |
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 |
