|
СТ |
Prototyping Object Oriented Specifications |
2003 |
Al-Shabibi A., Buchs D., Buffo M., Chachkov S., Chen A., Hurzeler D. |
|
|
|
Lecture Notes in Computer Science |
23.07.2003 |
|
СТ |
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism |
2001 |
Biberstein O., Buchs D., Guelfi N. |
|
|
|
Lecture Notes in Computer Science |
25.05.2001 |
|
СТ |
Models, Formalisms and Methods for Object-Oriented Distributed Computing |
1998 |
Bastide R., Buchs D. |
|
|
|
Lecture Notes in Computer Science |
27.02.1998 |
|
СТ |
Modelling and Validation of Tasks with Algebraic Structured Nets |
1996 |
Buchs D., Buffard C., Racloz P. |
|
|
|
Lecture Notes in Computer Science |
03.02.1996 |
|
СТ |
Testing Ada Abstract Data Types using Formal Specifications |
1994 |
Barbey S., Buchs D. |
|
|
|
Lecture Notes in Computer Science |
04.02.1995 |
|
СТ |
Formal Development of Actor Programs Using Structures Algebraic Petri Nets |
1993 |
Buchs D., Guelei N. |
|
|
|
Lecture Notes in Computer Science |
29.07.1993 |
