|
СТ |
Improvimg Use Case Based Requirements Using Formally Grounded Specifications |
2004 |
Choppy C., Reggio G. |
|
|
|
Lecture Notes in Computer Science |
16.04.2004 |
|
СТ |
Use of Patterns in Formal Development: Systematic Transition from Problems in Architectural Designs |
2003 |
Choppy C., Heisel M. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
|
СТ |
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation |
2001 |
Choppy C., Poizat P., Royer J. -C. |
|
|
|
Lecture Notes in Computer Science |
05.05.2001 |
|
СТ |
Using CASL to Specify the Requirements and the Design: A Problen Specific Approach |
2000 |
Choppy C., Reggio G. |
|
|
|
Lecture Notes in Computer Science |
13.10.2000 |
|
СТ |
A Global Semantics for Views |
2000 |
Choppy C., Poizat P., Royer J. -C. |
|
|
|
Lecture Notes in Computer Science |
17.06.2000 |
|
СТ |
From Informal Requirements to COOP: A Concurrent Automata Approach |
1999 |
Poizat P., Choppy C., Royer J. -C. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
|
СТ |
Concurrency and Data Types: A Specification Method. An Example with LOTOS |
1999 |
Poizat P., Choppy C., Royer J. -C. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
27.08.1999 |
|
СТ |
A Method for Fortran Programs Reverse Engineering Using Algebraic Specifications |
1998 |
Cherki S., Choppy C. |
|
|
|
Lecture Notes in Computer Science |
07.05.1998 |
|
СТ |
About the "Correctness" and "Adequacy" of PLUSS Specifications |
1994 |
Choppy C. |
|
|
|
Lecture Notes in Computer Science |
04.06.1994 |
